6

考虑以下代码

#include <iostream>
#include <functional>

namespace A {
    template<typename T>
    struct X {
        using Function = std::function<int(T)>;
        static Function f;
    };

    template<typename T>
    typename X<T>::Function X<T>::f = [](auto) { return 42; };

}

int main() {
    std::cout << A::X<int>::f(0);
}

GCC 和 clang 都接受此代码，但 MSVC（测试版本 19.00.23506）给出：

error C2888: 'auto <lambda_ce48e25aa4b9e3d225584044e4eae9e2>::operator ()(_T1) const': symbol cannot be defined within namespace 'A'

事实上，如果我删除命名空间 A 并在全局命名空间中定义所有内容，代码就会被接受。如果我将 lambda 表达式设为非泛型，则相同。

有人可以解释 MSVC 在这段代码中看到的问题是什么吗？C++ 标准是否限制在上述上下文中使用泛型 lambda？

4

1 回答 1

6

是的，这是一个 MSVC 错误，但已在 VS2017 15.6 预览版 2.0 上修复

标准中没有规范限制泛型 lambda 仅存在于全局命名空间中。

可以在这里找到问题的 POC：https ://godbolt.org/g/BESMK4

MSVC 无法在每种情况下auto都准确地推断出这一点T，并且失败了。

如果您需要使其与 MSVC 一起使用，请替换auto为显式T：

template<typename T>
typename X<T>::Function X<T>::f = [](T) { return 42; };

https://godbolt.org/g/cYG9GC

于 2018-02-01T10:51:09.480 回答