避免通用参数

Question

我有以下扩展方法，它断言属性 (Id) 包含指定的属性 (TV)：

public static void ShouldHave<T, TV, TT>(this T obj, Expression<Func<T, TT>> exp) {...}

该方法可以这样调用：

MyDto myDto = new MyDto();
myDto.ShouldHave<MyDto, RequiredAttribute, int>(x => x.Id);

编译得很好。我想知道是否可以从方法签名中删除 T 和 TT。 T 因为 ShouldHave 是在 T 上调用的，所以不需要显式指定它。 TT 是表达式 (x.Id) 中引用的属性的类型。

Answer 1

编译如下：

public static void ShouldHave<T, TT>(this T obj, Expression<Func<T, TT>> exp)
{...}

MyDto myDto = new MyDto();
myDto.ShouldHave(x => x.Id);

这省略了 TV 类型参数，这就是您需要在调用站点显式指定通用参数的原因。如果你需要这个论点，那么你就不走运了。

Answer 2

仅当方法调用中没有指定泛型参数时，类型参数的自动推断才有效。即，这：

myDto.ShouldHave<, RequiredAttribute, >(x => x.Id);

不是有效的语法。你可以选择“全有或全无”。

因此，如果您想推断 T 和 TT，您需要以其他方式传递 TV 中当前包含的信息。例如，一种选择是将属性的类型作为参数传递：（

public static void ShouldHave<T, TT>(this T obj, 
                                     Expression<Func<T, TT>> exp, 
                                     Type attribute) {...}

显然，这需要更改 ShouldHave 的实现）。

然后你应该能够像这样调用该方法：

MyDto myDto = new MyDto();
myDto.ShouldHave(x => x.Id, typeof(RequiredAttribute));

Answer 3

试试这个：

public static void ShouldHave<TV>(this object obj, Expression<Func<object, object>> exp) {...}

您应该发现 exp 现在由被强制转换为对象的真实表达式组成。在您的方法中，按如下方式剥离强制转换：

Expression realExp = ((UnaryExpression) exp).Operand;

然后您可以开始分析表达式。不过，与原始方法相比，您必须进行更多的运行时测试和安全检查。