如何在LINQ / lambdas /表达式树中获取值类型的编译时检查?

| 我正在使用以下代码以线程安全的方式设置
Control
属性:
private delegate void SetPropertyThreadSafeDelegate<TPropertyType>(Control @this, Expression<Func<TPropertyType>> property, TPropertyType value);

public static void SetPropertyThreadSafe<TPropertyType>(this Control @this, Expression<Func<TPropertyType>> property, TPropertyType value)
{
  var propertyInfo = (property.Body as MemberExpression ?? (property.Body as UnaryExpression).Operand as MemberExpression).Member as PropertyInfo;

  if (propertyInfo == null ||
      !propertyInfo.ReflectedType.IsAssignableFrom(@this.GetType()) ||
      @this.GetType().GetProperty(propertyInfo.Name, propertyInfo.PropertyType) == null)
  {
    throw new ArgumentException(\"The lambda expression \'property\' must reference a valid property on this Control.\");
  }

  if (propertyInfo.PropertyType.IsValueType &&
      !propertyInfo.PropertyType.IsAssignableFrom(typeof(TPropertyType)))
  {
    throw new ArgumentException(string.Format(\"Attempted to assign incompatible value type: expecting {0}, got {1}.\", propertyInfo.PropertyType, typeof(TPropertyType)));
  }

  if (@this.InvokeRequired)
  {
    @this.Invoke(new SetPropertyThreadSafeDelegate<TPropertyType>(SetPropertyThreadSafe), new object[] { @this, property, value });
  }
  else
  {
    @this.GetType().InvokeMember(propertyInfo.Name, BindingFlags.SetProperty, null, @this, new object[] { value });
  }
}
这样称呼:
downloadProgressBar.SetPropertyThreadSafe(() => downloadProgressBar.Step, 32);
这样做的原因是获得属性名称和类型分配的编译时检查。它非常适合标准对象,但是对于值类型,一切都会变得有点像梨形,因为编译器很乐意接受以下内容,这些当然会在运行时爆炸:
downloadProgressBar.SetPropertyThreadSafe(() => downloadProgressBar.Step, \'c\');
downloadProgressBar.SetPropertyThreadSafe(() => downloadProgressBar.Step, long.MaxValue);
我已经修改了
SetPropertyThreadSafe
方法来处理使用值类型时的情况,如果使用了不正确的类型作为参数,则会抛出异常,但是我真正想找的是将这种方法转换为对100%的情况(即对象和值类型)执行编译时类型检查。这是否有可能,如果是这样,我将如何修改我的代码来做到这一点?     
已邀请:
将合同更改为:
public static void SetPropertyThreadSafe<TPropertyType, TValue>(
        this Control self,
        Expression<Func<TPropertyType>> property,
        TValue value)
        where TValue : TPropertyType
请注意,由于编译器将强制执行此操作,因此您不再需要执行IsAssignableFrom检查。 您的示例编译的原因是因为编译器猜测了type参数是什么。这是编译器将这些调用转换为的内容:
progBar.SetPropertyThreadSafe<int>(() => progBar.Step, \'c\');
progBar.SetPropertyThreadSafe<long>(() => progBar.Step, long.MaxValue);
注意第一个是int的,这是因为ProgressBar.Step是一个int,而'c \'是一个具有隐式转换为int的char。与下一个示例相同,int将隐式转换为long,而第二个则为long,因此编译器猜测它为long。 如果您希望继承和转换能正常工作,请不要让编译器猜测。您的两种解决方案是: 始终指定类型的性能。在这种情况下,您会注意到第二个很长,并且解决了该问题。 当然,这并不理想,因为那样的话,您基本上是在对Func类型进行硬编码。您真正想要做的是让编译器确定这两种类型,并告诉您它们是否兼容。 为两者提供不同的类型,以便编译器可以为您解决。 注意:以下是我将使用的代码,它与您的代码完全不同:
    public static void SetPropertyThreadSafe<TControl>(this TControl self, Action<TControl> setter)
        where TControl : Control
    {
        if (self.InvokeRequired)
        {
            var invoker = (Action)(() => setter(self));
            self.Invoke(invoker);
        }
        else
        {
            setter(self);
        }
    }

    public static void Example()
    {
        var progBar = new ProgressBar();
        progBar.SetPropertyThreadSafe(p => p.Step = 3);
    }
    
你不能。 Linq使用在运行时评估的表达式树。 我建议为您的查询创建单元测试。     
您只需要对泛型和表达式进行一些小的更改:
public static void SetPropertyThreadSafe<TSource, TPropertyType>(this TSource source, Expression<Func<TSource, TPropertyType>> property, TPropertyType value)
然后,您提供如下的lambda:
var someObject = new /*Your Object*/

someObject.SetPropertyThreadSafe(x => x.SomeProperty, /* Your Value */);
您指定的值必须与SomeProperty的类型协变量,并且在编译时检查该值。让我知道我是否误会了一些东西。如果需要将其限制为Control,只需将签名更改为
this Control source
要么
where TSource : Control
    

要回复问题请先登录注册