如何根据类型强加的谓词集合过滤对象？

Question

我有一种情况，我想根据强加于特定类型的谓词集合过滤对象： 这可以通过预编译的ExpressionTrees 来完成吗？

class A
{
   public int Value {get;set;}
}
class B
{
  public string Name {get;set;}
  public bool IsMajor{get;set;}
}


Dictionary<Type,IEnumerable<Predicate<[object casted to type]>> typePredicateMap=new Dictionary<Type,Predicate<[object casted to type]>>{
   {typeof(A),new List<Predicate<[object casted to A]> { x=>x.Value >100,x=>x.Value<200 }},
   {typeof(B),new List<Predicate<[object casted to B]> { x=>x.Name!="johhnny",x=>x.IsMajor==true }}
}

我在上面说过object casted to Type，因为我希望我的谓词基于那个特定类型..

public static bool MeetsCriteria(object data)
{
    Type type=typeof(data);
    IEnumerable<Predicate<object>predicates=typePredicateMap[type];
    bool isValid=true;
    foreach(var predicate in predicates)
    {
        isValid&=predicate(data);  //
    }
    return isValid;
}

Answer 1

主要问题是，由于我们要动态选择要调用的谓词，它们需要是Predicate<object> 类型，因为我们调用它们的类型是object。由于Predicate<T> 是逆变的（定义为Predicate<in T>），这意味着我们可以为T 指定一个派生程度较低的类型，而需要派生更多的类型。

在实践中，这意味着如果你有一个类 A 和类 B : A，你可以使用 Predicate<A> 作为 Predicate<B> 或 Predicate<object> 作为 Predicate<A>，但你不能这样做Predicate<A> 应该是 Predicate<object>。这意味着您的谓词必须是 Predicate<object> 类型并手动将对象参数转换为正确的类型。

我想这是一种冗长的说法，你只需要在任何地方使用Predicate<object>，或者找到一些方法来限制你的输入对象。您的MeetsCriteria 方法真的需要处理所有可能存在的对象吗？

我不相信你的要求可以用表达式树来解决，因为类型问题仍然存在，但是嘿，也许有人会证明我错了。