c++ - 在 C++0x lambda 中是否可以看到函数局部类型定义？

Question

我遇到了一个奇怪的问题。以下简化代码重现了 MSVC 2010 中的问题:

template <typename T>
struct dummy
{
    static T foo(void) { return T(); }
};

int main(void)
{
    typedef dummy<bool> dummy_type;
    auto x = []{ bool b = dummy_type::foo(); };
    // auto x = []{ bool b = dummy<bool>::foo(); }; // works
}

我在函数中本地创建的 typedef 在 lambda 中似乎不可见。如果我将 typedef 替换为实际类型，它会按预期工作。

这里有一些其他的测试用例:

// crashes the compiler, credit to Tarydon
int main(void)
{
    struct dummy {};

    auto x = []{ dummy d; };
}

// works as expected
int main(void)
{
    typedef int integer;

    auto x = []{ integer i = 0; };
}

我现在没有可用的 g++ 来测试它。这是 C++0x 中的一些奇怪规则，还是只是编译器中的错误？

从上面的结果来看，我倾向于 bug。虽然崩溃绝对是一个错误。

---

目前，我已经提交了两个 bug reports .

上面的所有代码片段都应该编译。该错误与在本地定义的范围上使用范围解析有关。 (被 dvide 发现。)

而崩溃错误与...谁知道呢。 :)

---

更新

根据bug reports ，它们都已针对 Visual Studio 2010 的下一个版本进行了修复。(虽然这似乎不是这种情况；也许是 VS11。)

Answer 1

从 n3000，5.1.2/6，

The lambda-expression’s compound-statement yields the function-body (8.4) of the function call operator, but for purposes of name lookup (3.4), … the compound-statement is considered in the context of the lambda-expression.

毫不奇怪，本地类型应该是可见的。