检查 PropertyInfo.SetValue 是否会抛出 ArgumentException

Question

我继承了一些试图设置属性的代码：

object target = ...    // some instance on which we want to set a property
object value = ...     // some value - in this case, a string
var propertyInfo = ... // some property of target - in this case, not a string

try
{
    propertyInfo.SetValue(obj, value, null);
}
catch (ArgumentException)
{
    // We go off and look for our own way of converting between
    // the type of value and the type of the property.
}

在当前使用中，异常被捕获并抛出了很多，所以我想先检查一下：

if (propertyInfo.PropertyType.IsAssignableFrom(value.GetType())
{
    // Try/catch as above
}
else
{
    // Do the manual conversion as if the exception had been thrown.
}

这运行得更快。然而，我的一个担忧是IsAssignableFrom 可能会为SetValue 实际上成功 的某些类型返回false。 （这会导致我们在不需要时寻找手动转换，并且可能无法完全设置值。）

SetValue 的规范说

value不能转换为PropertyType的类型

这与可分配性并不完全相同。

（如果IsAssignableFrom 在SetValue 失败的情况下返回true，那很好——手动转换仍然会发生。）

有人可以帮我确认这是否可能吗？

Answer 1

正如您所怀疑的，short 类型的值可以通过反射分配给int 类型的属性，尽管typeof(int).IsAssignableFrom(typeof(short)) 返回false。

查看ArgumentException的stacktrace：

  at System.RuntimeType.TryChangeType(Object value, Binder binder, CultureInfo culture, Boolean needsSpecialCast)
  at System.RuntimeType.CheckValue(Object value, Binder binder, CultureInfo culture, BindingFlags invokeAttr)
  at System.Reflection.MethodBase.CheckArguments(Object[] parameters, Binder binder, BindingFlags invokeAttr, CultureInfo culture, Signature sig)
  at System.Reflection.RuntimeMethodInfo.InvokeArgumentsCheck(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)
  at System.Reflection.RuntimeMethodInfo.Invoke(Object obj, BindingFlags invokeAttr, Binder binder, Object[] parameters, CultureInfo culture)
  at System.Reflection.RuntimePropertyInfo.SetValue(Object obj, Object value, BindingFlags invokeAttr, Binder binder, Object[] index, CultureInfo culture)
  at System.Reflection.RuntimePropertyInfo.SetValue(Object obj, Object value, Object[] index)
  at System.Reflection.PropertyInfo.SetValue(Object obj, Object value)
  at ConsoleApplication3.Program.Main(String[] args) in ...

RuntimeType.TryChangeType 中抛出异常。查看mscorlib中的源码：

// System.RuntimeType
[SecurityCritical]
private object TryChangeType(object value, Binder binder, CultureInfo culture, bool needsSpecialCast)
{
    ...
    if (this.IsInstanceOfType(value))
    {
      return value;
    }
    ...
      if (RuntimeType.CanValueSpecialCast(valueType, this))
      {
    ...
  }
  throw new ArgumentException(string.Format(CultureInfo.CurrentUICulture, Environment.GetResourceString("Arg_ObjObjEx"), value.GetType(), this));
}

不幸的是，调用了许多内部函数来确定是否应该抛出 ArgumentException。我怀疑原语的转换是在这个函数周围的某个地方处理的：

// System.RuntimeType
[SecurityCritical]
[MethodImpl(MethodImplOptions.InternalCall)]
private static extern bool CanValueSpecialCast(RuntimeType valueType, RuntimeType targetType);

System.RuntimeType.CheckValue(object, Binder, CultureInfo, BindingFlags) 中也有一些有趣的代码：

bool flag = base.IsPointer || this.IsEnum || base.IsPrimitive;
if (flag)
{
  ...
  if (RuntimeType.CanValueSpecialCast(valueType, this))
  {
    ...
  }
}

所以看起来指针、枚举和原始类型以不同的方式处理。我不鼓励您尝试复制该逻辑。仅使用IsAssignableFrom 并单独处理整数类型可能更容易。处理指针、枚举和原始类型参数看起来非常复杂，我会回退到 try-catch 那里。但是，如果发生参数错误，您可以进行缓存，因此对具有相同参数类型的同一方法的后续调用可能会更快。