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 中编译得很好（参见templates, typename, lambda -> dependent names not dependent?）。我认为您所看到的机制如下：

在定义模板时，模板参数定义的类型在某些方面不是“完全成熟的”类型名。一个证明这一点的例子是，虽然有人可能期望 X<Foo>::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 Template type is not "seen" by the compiler inside a lambda上已经有类似的帖子了

这里是另一个链接，它引用了相同的问题，并引用了标准中的相关内容。 templates, typename, lambda -> dependent names not dependent?