lambda 表达式中的范围

Question

#include "stdafx.h"
#include <iostream>
using namespace std;

template<class Type>
struct X
{
    void run()const
    {//Why on earth this doesn't work?
        [&]()
        {
            Type::alloc();
        };
    }
    void run_1()const
    {//if this does
        Type::alloc();
    }
};

struct T
{

    static void alloc()
    {}
};


int _tmain(int argc, _TCHAR* argv[])
{
    X<T> x;
    x.run_1();
    return 0;
}

AFAIC lambda 是一个未命名的 fnc，所以如果这是真的，为什么 run 不能编译而 run_1 可以编译？
使用VS2010 sp beta1。

Answer 1

您必须将其传递给 lambda：

    void run()const
    {//Why on earth this doesn't work?
        auto alloc = Type::alloc;
        [&]()
        {
            alloc();
        };
    }

Answer 2

我必须承认我不太确定，但我认为这只是 VS 2010 的限制，它应该可以在 C++0x 中正常编译（参见 模板、类型名称、lambda -> 依赖名称不依赖？）。我认为您所看到的机制如下：

定义模板时，模板参数定义的类型在某些方面不是“完全成熟的”类型名。证明这一点的一个例子是，虽然有人可能期望 X::Type （在示例中使用 X）返回 Foo，但事实并非如此。

Answer 3

你必须调用 lambda。它是一个函子，所以你需要在它的末尾有一个 () 来有效地调用 lambda。

/* Code does NOT answer question above...
void run()const
    {//Why on earth this doesn't work?
        [&]()
        {
            Type::alloc();
        }(); //very important parenthesis if you wish to call the lambda
    }*/

我似乎误读了这个问题。对不起。

---

但已经有一个类似的帖子关于SO 模板编译器在 lambda 内“看不到”类型

这里是另一个引用相同问题的链接，并引用了有关此问题的标准。
模板、类型名称、lambda ->依赖名称不依赖？