趣味编程:C#中Specification模式的实现
2009-09-15 20:15 Jeffrey Zhao 阅读(15256) 评论(56) 编辑 收藏 举报今天有朋友在问了我这么一个问题:怎么实现OrWhere的功能?我猜测,他的意思是要实现这样的功能:
static IEnumerable<int> MorePredicate(IEnumerable<int> source) { return source.OrWhere(i => i > 0); // 或所有的正数 } static void Main(string[] args) { var array = Enumerable.Range(-5, 10).ToArray(); var odd = array.Where(i => i % 2 != 0); // 排除所有偶数 var oddOrPositive = MorePredicate(odd); foreach (var i in oddOrPositive) { Console.WriteLine(i); } }
以上代码应该输出-5,-3,-1,1,2,3,4。但显然,这段代码是无法编译通过,无法通过补充类库来实现的。因为在Main方法中的Where过后,已经排除了所有的偶数,于是在接下来的代码中是无法从新的序列中再次恢复元素的。
不过这个要求让我想起了Specification模式。Specification模式的作用是构建可以自由组装的业务逻辑元素。Specification类有一个IsSatisifiedBy函数,用于校验某个对象是否满足该Specification所表示的条件。多个Specification对象可以组装起来,并生成新Specification对象,这便可以形成高度可定制的业务逻辑。例如,我们可以使用依赖注入(控制反转)的方式来配置这个业务逻辑,以此保证系统的灵活性。
如果您点开上面那个Wikipedia的链接,就会发现这段描述大约是一个英译中的练习。抄完了“定义”,再来看看同样引自Wikipedia的UML图:
一般来说,Specification模式则意味着实现这样一个接口:
public interface ISpecification<T> { bool IsSatisfiedBy(T candidate); ISpecification<T> And(ISpecification<T> other); ISpecification<T> Or(ISpecification<T> other); ISpecification<T> Not(); }
实现了ISpecification的对象则意味着是一个Specification,它可以通过与其他Specification对象的And,Or或对自身的取反来生成新的逻辑。为了方便这些“组合逻辑”的开发,我们还会准备一个抽象的CompositeSpecification类:
public abstract class CompositeSpecification<T> : ISpecification<T> { public abstract bool IsSatisfiedBy(T candidate); public ISpecification<T> And(ISpecification<T> other) { return new AndSpecification<T>(this, other); } public ISpecification<T> Or(ISpecification<T> other) { return new OrSpecification<T>(this, other); } public ISpecification<T> Not() { return new NotSpecification<T>(this); } }
CompositeSpecification提供了构建复合Specification的基础逻辑,它提供了And、Or和Not方法的实现,让其他Specification类只需要专注于IsSatisfiedBy方法的实现即可。例如,以下便是三种逻辑组合的具体实现:
public class AndSpecification<T> : CompositeSpecification<T> { private ISpecification<T> m_one; private ISpecification<T> m_other; public AndSpecification(ISpecification<T> x, ISpecification<T> y) { m_one = x; m_other = y; } public override bool IsSatisfiedBy(T candidate) { return m_one.IsSatisfiedBy(candidate) && m_other.IsSatisfiedBy(candidate); } } public class OrSpecification<T> : CompositeSpecification<T> { private ISpecification<T> m_one; private ISpecification<T> m_other; public OrSpecification(ISpecification<T> x, ISpecification<T> y) { m_one = x; m_other = y; } public override bool IsSatisfiedBy(T candidate) { return m_one.IsSatisfiedBy(candidate) || m_other.IsSatisfiedBy(candidate); } } public class NotSpecification<T> : CompositeSpecification<T> { private ISpecification<T> m_wrapped; public NotSpecification(ISpecification<T> x) { m_wrapped = x; } public override bool IsSatisfiedBy(T candidate) { return !m_wrapped.IsSatisfiedBy(candidate); } }
于是,我们便可以使用Specification模式来处理刚才那位朋友的问题。例如,首先他需要排除所有的偶数,那么我们不妨实现一个OddSpecification:
public class OddSpecification : CompositeSpecification<int> { public override bool IsSatisfiedBy(int candidate) { return candidate % 2 != 0; } }
自然,还有用于获得所有正数的Specification类:
public class PositiveSpecification : CompositeSpecification<int> { public override bool IsSatisfiedBy(int candidate) { return candidate > 0; } }
于是在使用时,我们会将其通过Or方法组合起来:
static ISpecification<int> MorePredicate(ISpecification<int> original) { return original.Or(new PositiveSpecification()); } static void Main(string[] args) { var array = Enumerable.Range(-5, 10).ToArray(); var oddSpec = new OddSpecification(); var oddAndPositiveSpec = MorePredicate(oddSpec); foreach (var item in array.Where(i => oddAndPositiveSpec.IsSatisfiedBy(i))) { Console.WriteLine(item); } }
但是,您觉得这个做法怎么样?我觉得过于杀鸡用牛刀,高射炮打蚊子了。Specification模式虽然常用,但是用在这里太重量级了。如果我们为每一个函数都补充一个Specification类,至少会让我感到厌倦。
以上的代码其实转载自Wikipedia词条,不过我修改了一些命名,以及改写成泛型版本。我们有理由推测,Wikipedia上是非常旧的内容,很可能是在C#只是1.0版本的时候编写的代码(或者说它为了“兼容”Java那种语言的实现方式)。那么在实际开发过程中,我们又该如何利用C#如今的强大特性来实现出更容易使用,甚至是更为“轻量级”的Specification模式呢?
此外,刚才又收到那位朋友的消息,他其实是想在使用LINQ to SQL时实现“可扩展的逻辑”。那么,对于他说的情况,我们又该如何应对呢?