Cuplikan ini mengkompilasi Aturan menjadi kode yang dapat dieksekusi cepat (menggunakan pohon Ekspresi ) dan tidak memerlukan pernyataan peralihan yang rumit:
(Edit: contoh kerja penuh dengan metode generik )
public Func<User, bool> CompileRule(Rule r)
{
var paramUser = Expression.Parameter(typeof(User));
Expression expr = BuildExpr(r, paramUser);
// build a lambda function User->bool and compile it
return Expression.Lambda<Func<User, bool>>(expr, paramUser).Compile();
}
Anda kemudian dapat menulis:
List<Rule> rules = new List<Rule> {
new Rule ("Age", "GreaterThan", "20"),
new Rule ( "Name", "Equal", "John"),
new Rule ( "Tags", "Contains", "C#" )
};
// compile the rules once
var compiledRules = rules.Select(r => CompileRule(r)).ToList();
public bool MatchesAllRules(User user)
{
return compiledRules.All(rule => rule(user));
}
Berikut ini adalah implementasi dari BuildExpr:
Expression BuildExpr(Rule r, ParameterExpression param)
{
var left = MemberExpression.Property(param, r.MemberName);
var tProp = typeof(User).GetProperty(r.MemberName).PropertyType;
ExpressionType tBinary;
// is the operator a known .NET operator?
if (ExpressionType.TryParse(r.Operator, out tBinary)) {
var right = Expression.Constant(Convert.ChangeType(r.TargetValue, tProp));
// use a binary operation, e.g. 'Equal' -> 'u.Age == 15'
return Expression.MakeBinary(tBinary, left, right);
} else {
var method = tProp.GetMethod(r.Operator);
var tParam = method.GetParameters()[0].ParameterType;
var right = Expression.Constant(Convert.ChangeType(r.TargetValue, tParam));
// use a method call, e.g. 'Contains' -> 'u.Tags.Contains(some_tag)'
return Expression.Call(left, method, right);
}
}
Perhatikan bahwa saya menggunakan 'GreaterThan' daripada 'Greater_than' dll - ini karena 'GreaterThan' adalah nama .NET untuk operator, oleh karena itu kami tidak memerlukan pemetaan tambahan.
Jika Anda membutuhkan nama khusus, Anda dapat membuat kamus yang sangat sederhana dan hanya menerjemahkan semua operator sebelum menyusun aturan:
var nameMap = new Dictionary<string, string> {
{ "greater_than", "GreaterThan" },
{ "hasAtLeastOne", "Contains" }
};
Kode menggunakan tipe Pengguna untuk kesederhanaan. Anda dapat mengganti Pengguna dengan tipe T generik untuk memiliki kompilator Aturan generik untuk semua jenis objek. Selain itu, kode harus menangani kesalahan, seperti nama operator yang tidak dikenal.
Perhatikan bahwa membuat kode dengan cepat dimungkinkan bahkan sebelum API pohon Ekspresi diperkenalkan, menggunakan Reflection.Emit. Metode LambdaExpression.Compile () menggunakan Reflection.Emit di bawah selimut (Anda dapat melihat ini menggunakan ILSpy ).
Berikut adalah beberapa kode yang mengkompilasi apa adanya dan melakukan pekerjaan. Pada dasarnya menggunakan dua kamus, yang berisi pemetaan dari nama operator ke fungsi boolean, dan yang lain berisi peta dari nama properti dari tipe Pengguna ke PropertyInfos yang digunakan untuk memanggil pengambil properti (jika publik). Anda melewatkan instance Pengguna, dan tiga nilai dari tabel Anda ke metode Terapkan statis.
sumber
Saya membangun mesin aturan yang menggunakan pendekatan berbeda dari yang Anda uraikan dalam pertanyaan Anda, tetapi saya pikir Anda akan menemukan itu jauh lebih fleksibel daripada pendekatan Anda saat ini.
Pendekatan Anda saat ini tampaknya difokuskan pada satu entitas, "Pengguna", dan aturan Anda yang tetap mengidentifikasi "propertyname", "operator" dan "value". Pola saya, sebagai gantinya menyimpan kode C # untuk predikat (Func <T, bool>) dalam kolom "Ekspresi" di database saya. Dalam desain saat ini, menggunakan pembuatan kode saya menanyakan "aturan" dari database saya dan mengkompilasi perakitan dengan tipe "Aturan", masing-masing dengan metode "Uji". Berikut adalah tanda tangan untuk antarmuka yang diterapkan setiap Aturan:
"Ekspresi" dikompilasi sebagai tubuh dari metode "Uji" ketika aplikasi pertama kali dieksekusi. Seperti yang Anda lihat, kolom lain dalam tabel juga ditampilkan sebagai properti kelas satu pada aturan sehingga pengembang memiliki fleksibilitas untuk menciptakan pengalaman tentang bagaimana pengguna mendapat pemberitahuan tentang kegagalan atau kesuksesan.
Menghasilkan perakitan dalam memori adalah kejadian 1 kali selama aplikasi Anda dan Anda mendapatkan peningkatan kinerja dengan tidak harus menggunakan refleksi saat mengevaluasi aturan Anda. Ekspresi Anda diperiksa pada saat runtime karena majelis tidak akan menghasilkan dengan benar jika nama properti salah eja, dll.
Mekanisme pembuatan rakitan di dalam memori adalah sebagai berikut:
Ini sebenarnya cukup sederhana karena sebagian besar kode ini adalah implementasi properti dan inisialisasi nilai dalam konstruktor. Selain itu, satu-satunya kode lainnya adalah Ekspresi.
CATATAN: ada batasan bahwa ekspresi Anda harus. NET 2.0 (tidak ada fitur lambdas atau C # 3.0 lainnya) karena keterbatasan dalam CodeDOM.
Berikut ini beberapa contoh kode untuk itu.
Di luar ini saya membuat kelas yang saya sebut "DataRuleCollection", yang mengimplementasikan ICollection>. Ini memungkinkan saya untuk membuat kemampuan "TestAll" dan pengindeks untuk mengeksekusi aturan tertentu dengan nama. Berikut ini implementasi untuk kedua metode tersebut.
LEBIH KODE: Ada permintaan untuk kode yang terkait dengan Pembuatan Kode. Saya merangkum fungsionalitas dalam kelas yang disebut 'RulesAssemblyGenerator' yang telah saya sertakan di bawah ini.
Jika ada lain pertanyaan atau komentar atau permintaan untuk sampel kode lebih lanjut, biarkan aku tahu.
sumber
Refleksi adalah jawaban Anda yang paling fleksibel. Anda memiliki tiga kolom data, dan mereka perlu diperlakukan dengan cara yang berbeda:
Nama bidang Anda Refleksi adalah cara untuk mendapatkan nilai dari nama bidang kode.
Operator pembanding Anda. Seharusnya ada jumlah yang terbatas, jadi pernyataan kasus harus menanganinya dengan mudah. Terutama karena beberapa dari mereka (memiliki satu atau lebih) sedikit lebih kompleks.
Nilai perbandingan Anda. Jika ini semua adalah nilai langsung maka ini mudah, meskipun Anda harus membagi beberapa entri. Namun, Anda juga bisa menggunakan refleksi jika itu adalah nama bidang juga.
Saya akan mengambil pendekatan yang lebih seperti:
dll. dll
Ini memberi Anda fleksibilitas untuk menambahkan lebih banyak opsi untuk perbandingan. Ini juga berarti bahwa Anda dapat membuat kode dalam metode Perbandingan segala jenis validasi yang Anda inginkan, dan menjadikannya serumit yang Anda inginkan. Ada juga opsi di sini untuk CompareTo untuk dievaluasi sebagai panggilan rekursif ke saluran lain, atau sebagai nilai bidang, yang dapat dilakukan seperti:
Itu semua tergantung pada kemungkinan untuk masa depan ....
sumber
Jika Anda hanya memiliki sedikit properti dan operator, jalur paling tidak resistensi adalah hanya kode semua cek sebagai kasus khusus seperti ini:
Jika Anda memiliki banyak properti, Anda mungkin menemukan pendekatan berbasis tabel lebih enak. Dalam hal ini Anda akan membuat statis
Dictionary
yang memetakan nama properti ke delegasi yang cocok, katakanlah,Func<User, object>
,.Jika Anda tidak tahu nama properti pada waktu kompilasi, atau Anda ingin menghindari kasus khusus untuk setiap properti dan tidak ingin menggunakan pendekatan tabel, Anda dapat menggunakan refleksi untuk mendapatkan properti. Sebagai contoh:
Tetapi karena
TargetValue
mungkin astring
, Anda harus berhati-hati untuk melakukan konversi jenis dari tabel aturan jika perlu.sumber
IComparable
digunakan untuk membandingkan sesuatu. Berikut adalah dokumen: Metode IComparable.CompareTo .Bagaimana dengan pendekatan berorientasi tipe data dengan metode ekstensi:
Daripada Anda dapat mengevakuasi seperti ini:
sumber
Meskipun cara yang paling jelas untuk menjawab pertanyaan "Bagaimana mengimplementasikan mesin aturan? (Dalam C #)" adalah dengan mengeksekusi seperangkat aturan tertentu secara berurutan, ini secara umum dianggap sebagai implementasi yang naif (tidak berarti itu tidak bekerja :-)
Tampaknya ini "cukup baik" dalam kasus Anda karena masalah Anda tampaknya lebih pada "bagaimana menjalankan seperangkat aturan secara berurutan", dan pohon lambda / ekspresi (jawaban Martin) tentu saja merupakan cara paling elegan dalam masalah ini jika Anda dilengkapi dengan versi C # terbaru.
Namun untuk skenario yang lebih maju, berikut ini adalah tautan ke Algoritma Rete yang sebenarnya diimplementasikan dalam banyak sistem mesin aturan komersial, dan tautan lain ke NRuler , sebuah implementasi dari algoritma tersebut dalam C #.
sumber
Jawaban Martin cukup bagus. Saya sebenarnya membuat mesin aturan yang memiliki ide yang sama dengannya. Dan saya terkejut bahwa itu hampir sama. Saya telah memasukkan beberapa kodenya untuk memperbaikinya. Meskipun saya sudah membuatnya menangani aturan yang lebih kompleks.
Anda dapat melihat Yare.NET
Atau unduh di Nuget
sumber
Bagaimana dengan menggunakan mesin aturan alur kerja?
Anda dapat menjalankan Aturan Alur Kerja Windows tanpa Alur Kerja lihat Blog Guy Burstein: http://blogs.microsoft.co.il/blogs/bursteg/archive/2006/10/11/RuleExecutionWithoutWorkflow.aspx
dan untuk membuat aturan secara pemrograman, lihat WebLog Stephen Kaufman
http://blogs.msdn.com/b/skaufman/archive/2006/05/15/programmatically-create-windows-workflow-rules.aspx
sumber
Saya menambahkan implementasi untuk dan, atau di antara aturan, saya menambahkan class RuleExpression yang mewakili akar dari sebuah pohon yang dapat dijadikan sebagai aturan sederhana atau dapat berupa, dan, atau ekspresi biner di sana karena mereka tidak memiliki aturan dan memiliki ekspresi:
Saya memiliki kelas lain yang mengkompilasi ruleExpression menjadi satu
Func<T, bool>:
sumber