重构安全参数异常的 Lambda 表达式

更新：这不再是 C# 6 中的问题，C# 6 引入了 nameof 运算符来解决此类情况（请参阅 MSDN）。

注意：请参阅"在运行时通过 lambda 表达式获取局部变量（和参数）的名称"，了解此问题的概括以及一些答案。

我喜欢使用 lambda 表达式创建 INotifyPropertyChanged 接口的重构安全实现的想法，使用类似于 Eric De Carufel 提供的代码。

我正在尝试实现类似的东西，以重构安全的方式向ArgumentException（或其派生类）提供参数名称。

我定义了以下实用程序方法来执行null检查：

public static void CheckNotNull<T>(Expression<Func<T>> parameterAccessExpression)
{
    Func<T> parameterAccess = parameterAccessExpression.Compile();
    T parameterValue = parameterAccess();
    CheckNotNull(parameterValue, parameterAccessExpression);
}
public static void CheckNotNull<T>(T parameterValue, 
    Expression<Func<T>> parameterAccessExpression)
{
    if (parameterValue == null)
    {
        Expression bodyExpression = parameterAccessExpression.Body;
        MemberExpression memberExpression = bodyExpression as MemberExpression;
        string parameterName = memberExpression.Member.Name;
        throw new ArgumentNullException(parameterName);
    }
}

然后，可以使用以下语法以重构安全的方式执行参数验证：

CheckNotNull(() => arg);           // most concise
CheckNotNull(arg, () => args);     // equivalent, but more efficient

我关心的是以下几行：

Expression bodyExpression = parameterAccessExpression.Body;
MemberExpression memberExpression = bodyExpression as MemberExpression;

MemberExpression表示"访问字段或属性"。保证在INotifyPropertyChanged情况下正常工作，因为 lambda 表达式将是属性访问。

但是，在上面的代码中，lambda 表达式在语义上是参数访问，而不是字段或属性访问。代码工作的唯一原因是 C# 编译器将匿名函数中捕获的任何局部变量（和参数）提升为后台编译器生成的类中的实例变量。乔恩·斯基特（Jon Skeet）证实了这一点。

我的问题是：这种行为（将捕获的参数提升为实例变量）是否记录在 .NET 规范中，或者它只是一个可能在框架的替代实现或未来版本中更改的实现细节？具体来说，可能存在parameterAccessExpression.Body is MemberExpression返回false的环境？