c++ - 模板类中的尾随返回类型(GNU 和 Microsoft 编译器之间的矛盾)

Question

以下代码在 msvc v120(预览编译器)上编译

template<typename T>
struct X
{
    int f() const { return 0; }
    auto g() -> decltype(f()) const { return f(); }
};

int main()
{
    X<int> x;
    return 0;
}

gcc 4.8.1 提示消息

cannot call member function 'int X::f() const without object

将 g 更改为

auto g() -> decltype(this->f()) const { return f(); }

解决了 gcc 的问题，但现在 msvc 输出

C2355: 'this' : can only be referenced inside non-static member functions

知道在这两种情况下我做错了什么吗？

Answer 1

首先是另一个数据点:clang 编译原始代码和修改后的版本。不过，我想这对你帮助不大。根据我的直觉理解，代码应该是正确的，但直觉可能很棘手，我怀疑浏览标准需要相当长的时间才能告诉您 gcc 和 MSVC++ 都是错误的，而且对您也没有太大帮助。

不过，您可能想尝试以下解决方法:

auto g() -> decltype(std::declval<X const>().f()) const { return f(); }

std::declval<>()在 <utility> 中声明.