.Net lambda表达式 - 这个参数来自哪里？

Question

我是一个lambda新手，所以如果我在描述中缺少重要信息，请告诉我。 我会尽可能简单地保持这个例子。

我正在查看其他人的代码，他们有一个继承自另一个的类。 这里首先是派生类，以及我无法理解的lambda表达式：

    class SampleViewModel : ViewModelBase
{
    private ICustomerStorage storage = ModelFactory<ICustomerStorage>.Create();

    public ICustomer CurrentCustomer
    {
        get { return (ICustomer)GetValue(CurrentCustomerProperty); }
        set { SetValue(CurrentCustomerProperty, value); }
    }

    private int quantitySaved;
    public int QuantitySaved
    {
        get { return quantitySaved; }
        set
        {
            if (quantitySaved != value)
            {
                quantitySaved = value;
                NotifyPropertyChanged(p => QuantitySaved); //where does 'p' come from?
            }
        }
    }

    public static readonly DependencyProperty CurrentCustomerProperty;

    static SampleViewModel()
    {
        CurrentCustomerProperty = DependencyProperty.Register("CurrentCustomer", typeof(ICustomer),
            typeof(SampleViewModel), new UIPropertyMetadata(ModelFactory<ICustomer>.Create()));
    }
//more method definitions follow..

请注意上面对NotifyPropertyChanged(p => QuantitySaved)位的调用。 我不明白“p”来自哪里。

这是基类：

  public abstract class ViewModelBase : DependencyObject, INotifyPropertyChanged, IXtremeMvvmViewModel
    {
        public event PropertyChangedEventHandler PropertyChanged;

        protected virtual void NotifyPropertyChanged<T>(Expression<Func<ViewModelBase, T>> property)
        {
            MvvmHelper.NotifyPropertyChanged(property, PropertyChanged);
        }
    }

那里有很多与我确定的问题没有密切关系，但我想在包容性方面犯错误。

问题是，我不明白'p'参数来自哪里，以及编译器如何知道（显然？）从空中填充ViewModelBase的类型值？

为了好玩，我将代码从'p'更改为'this'，因为SampleViewModel继承自ViewModelBase，但我遇到了一系列编译错误，其中第一个Invalid expression term '=>'这让我有点困惑因为我认为这会奏效。

谁能解释一下这里发生了什么？

Answer 1

'p'来自NotifyPropertyChanged(p => QuantitySaved);

lambda被传递给一个名为NotifyPropertyChanged的方法。 该方法有一个重载。 它具有形式参数类型Expression<Func<ViewModelBase, T>> 。 也就是说，形式参数期望得到一个带有ViewModelBase的lambda并返回一个T.

p是lambda采用的参数。

编译器能够推断出代码的作者忽略了明确地说明lambda参数的类型。 作者也可以写：

NotifyPropertyChanged((ViewModelBase p) => QuantitySaved);

他们想要明确它吗？

编译器如何知道从空中填充ViewModelBase的类型值？

编译器会检查NotifyPropertyChanged所有可能重载，这些重载可能会在该参数位置中占用lambda。 它从NotifyPropertyChanged方法的形式参数类型中的 委托类型推断出lambda的形式参数类型 。 一个例子可能有帮助。 假设我们有：

void M(Func<int, double> f) {}
void M(Func<string, int> f) {}

和一个电话

M(x=>x.Length);

编译器必须推断lambda参数x的类型。 有什么可能性？ M有两个重载。两个都在M的形式参数中占用一个委托，该委托对应于在调用中传递的第一个参数。 在第一个函数中，函数是从int到double，因此x可以是int类型。 在第二个中，M的形式参数是从string到int的函数，因此x可以是string。

编译器现在必须确定哪一个是正确的。 为了使第一个正确，lambda的主体必须返回一个双精度。 但是如果x是int，则x上没有返回double的属性Length。 所以x不能是int。 x可以是字符串吗？ 是。 如果x是字符串，则x上有一个属性Length，它返回一个int。

因此编译器推断出x是字符串。

这些扣除可能会非常复杂。 一个稍微复杂的例子：

void M<A, B, C>(A a1, Func<List<A>, B> a2, Func<B, C> a3) {}
...
M(123, x=>x.Count.ToString(), y=>y.Length);

类型推断必须推断类型A，B，C，因此推断x和y的类型。 编译器首先推断A必须是int，因为a1是123.然后它推断出x必须是来自该事实的List<int> 。 然后推断出B必须是字符串，因此y是字符串，因此C是y.Length的类型，它是int。

相信我，从那里变得更加复杂。

如果这个主题让你感兴趣，我已经写了很多文章并拍摄了一些关于编译器执行的各种类型推断的主题的视频。 看到

http://blogs.msdn.com/b/ericlippert/archive/tags/type+inference/

了解所有细节。

为了好玩，我将代码从'p'更改为'this'，因为SampleViewModel继承自ViewModelBase，但我遇到了一系列编译器错误，其中第一个声明了无效的表达式术语'=>'这让我感到很困惑我认为这会奏效。

lambda运算符唯一可接受的左侧是lambda参数列表; “this”永远不是合法的lambda参数列表。 编译器期望“this”后面跟着“.SomeMethod（）”或者其他东西; 编译器假定“this”永远不会跟“=>”。 当你违反这个假设时，会发生坏事。

Answer 2

p只是一个虚拟名称，它是任何方法中的参数名称。 如果你愿意，可以将它命名为x或Fred 。

请记住，lambda表达式只是非常非常特殊的匿名方法。

在常规方法中，您有参数，并且它们具有名称：

public double GetQuantitysaved(ViewModelBase p) {
    return QuantitySaved;
}

在匿名方法中，您有参数，并且它们具有名称：

delegate(ViewModelBase p) { return QuantitySaved; }

在lambda表达式中，您有参数，并且它们具有名称：

p => QuantitySaved

这里的p在所有三个版本中扮演相同的角色。 您可以随意命名。 它只是方法参数的名称。

在最后一种情况下，编译器做了很多工作来弄清楚p表示ViewModelBase类型的参数，这样p => QuantitySaved就可以扮演

Expression<Func<ViewModelBase, T>> property

为了好玩，我将代码从p更改this ，因为SampleViewModel继承自ViewModelBase ，但我遇到了一系列编译错误，其中第一个Invalid expression term '=>'这让我感到困惑，因为我认为会工作。

好吧， this不是一个有效的参数名称，因为它是一个保留的关键字。 最好将p => QuantitySaved视为

delegate(ViewModelBase p) { return QuantitySaved; }

直到你对这个想法感到满意。 在这种情况下， this永远不能替换为p因为它不是有效的参数名称。

Answer 3

lambda p => QuantitySaved是Expression<Func<ViewModelBase, int>>类型的Expression<Func<ViewModelBase, int>> 。 由于NotifyPropertyChanged方法正在寻找<ViewModelBase, T>的表达式，因此它适合。

因此编译器能够推断出p是ViewModelBase 。 p并非“来自”任何地方，它基本上都是在这里宣布的。 它是lambda的参数。 当有人使用您方法的property参数时，它将被填充。 例如，如果将lambda放入一个名为lambda的单独变量中，则可以使用lambda(this)调用它，并返回QuantitySaved值。

你不能使用的原因， this在lambda是因为它需要一个参数的名称， this是不是一个有效的名称。 关键是你可以在任何ViewModelBase实例上调用它，而不仅仅是创建lambda的实例。

Answer 4

理解这一点的简单方法是替换它：

p => QuantitySaved // lambda

有了这个：

delegate (ViewModelBase p) { return QuantitySaved; } // anonymous delegate

这实际上是一样的。 p是匿名委托的第一个参数的参数名称。 您可以为其指定任何适合参数名称的名称（ this是一个关键字，您不能将其用作参数名称）

在这个特定的例子中，这个p变量是冗余的，你可以使用无参数委托。

Answer 5

从NotifyPropertyChanged签名：

void NotifyPropertyChanged<T>(Expression<Func<ViewModelBase, T>> property)

该方法需要一个表达式，该表达式接受ViewModelBase类型的输入并返回类型为T的实例。

p参数是ViewModelBase的一个实例。