一个有趣的 c# NullReferenceException [重复]

Question

我在一个 Web 应用程序中遇到了 NullReferenceException，并花费了大量时间来实际发现问题。我用控制台应用程序重现了这个问题。您可以尝试按原样运行以下代码-

using System;
using System.Linq.Expressions;

namespace Expression
{
    public struct ValueType { }
    public class ReferenceType { }
    public class MyClass
    {
        public ReferenceType ReferenceType { get; set; }
        public ValueType ValueType { get; set; }
    }

    class Program
    {
        public static string GetPropertyName<T>(Expression<Func<T, object>> expression)
        {
            return (expression.Body as MemberExpression).Member.Name;
        }
        static void Main(string[] args)
        {
            MyClass c1 = new MyClass();
            MyClass c2 = new MyClass();

            Console.WriteLine(GetPropertyName<MyClass>(x => x.ReferenceType));
                // No Error


            Console.WriteLine(GetPropertyName<MyClass>(x => x.ValueType)); 
                // System.NullReferenceException
        }
    }
} 

所以问题是通用函数 GetPropertyName 在作为具有引用类型属性的函数的参数给出的表达式但值类型属性导致System.NullReferenceException(expression.Body as MemberExpression).Member 时起作用。

所以我的问题是为什么它适用于引用类型而不是值类型？

Answer 1

很容易看出expression.Body as MemberExpression 在第二次调用中是null，因为expression.Body 的类型是UnaryExpression 而不是MemberExpression。

为什么？实际操作是“转换为System.Object”。将值类型转换为引用称为装箱，如果委托必须返回 object，则需要装箱。

我们可以用下面的 CIL 来说明它，它可以用 lambdas 表示：

//x => x.ReferenceType
ldarg.0
callvirt instance class ReferenceType MyClass::get_ReferenceType()
ret

 

//x => x.ValueType
ldarg.0
callvirt instance class ReferenceType MyClass::get_ReferenceType()
box
ret

如您所见，第二个函数包含一个附加的box 指令，执行我上面描述的操作。生成的表达式类似于“转换”操作中的 CIL，本质上是在做装箱。如果您尝试创建相同的表达式但没有进行转换，则会引发异常。

Answer 2

(expression.Body as MemberExpression).Member

如果expression.Body 不能转换为MemberExpression，则表达式返回null。尝试访问Member 成员当然会引发NullReferenceException。