小编Eri*_*ric的帖子

我试图将编译时检查添加到以前使用数据对象属性的字符串名称和'object'类型的值的代码中。我这样做是为了确保属性和值实际上是相同的类型，以防止它们不引入运行时错误的情况。

我正在通过创建一个接受type表达式和type Expression<Func<TDataObject, TPropertyValue>>参数的方法来处理编译时检查TPropertyValue。由此，我可以检查表达式以获取将要返回的属性的名称，然后使用与字符串和值作为对象类型的当今相同的逻辑。

public interface IPropertyDictionary<TDataObject> where TDataObject : class
{
    void AddIfSameType<TProperty>(
        Expression<Func<TDataObject, TProperty>> propertyAccessExpression,
        TProperty propertyValue);
}

预期的工作如下：

// Allowed
propDictionary.AddIfSameType(e => e.IntProperty, 123);

// Flagged by intellisense (though the expression is flagged rather than second parameter...)
propDictionary.AddIfSameType(e => e.IntProperty, "asdf");

但是，这不能按预期方式工作：

// Not flagged as error
propDictionary.AddIfSameType(e => e.IntProperty, 123L);

这样，C＃推断TPropertyValue是long而不是int。在调试器中，我可以看到表达式已被转换为强制转换为长整型：

e => Convert(e.IntProperty)

在我的理想情况下，C＃在进行类型推断时会更喜欢IntProperty的类型，并引发编译时错误，指示从long到int的转换需要显式转换。有没有办法向C＃指示在推断类型时，它仅应使用方法的第一个参数？我目前唯一的选择是显式提供type参数：

// Flagged by intellisense
propDictionary.AddIfSameType<int>(e => e.IntProperty, 123L);

但是在99％的情况下，人们不会传递类型参数，并且我不希望他们意识到在这种情况下需要这样做。结果，它们的错误再次成为我渴望避免的运行时错误之一。