在声明后将 decltype 与成员函数定义一起使用答案

【问题标题】：Using decltype with member function definitions after declaration在声明后将 decltype 与成员函数定义一起使用
【发布时间】：2012-09-11 15:58:10
【问题描述】：

我使用 decltype 作为成员函数的返回类型，但定义和声明不匹配。这是一些代码：

template<typename T>
struct A {
    T x;
    auto f() -> decltype(x);
};

template<typename T>
auto A<T>::f() -> decltype(x) {
    return this->x;
}

int main() {}

这会产生

test.cc:10:6: error: prototype for 'decltype (((A<T>*)0)->A<T>::x) A<T>::f()' does not match any in class 'A<T>'
test.cc:6:7: error: candidate is: decltype (((A<T>*)this)->A<T>::x) A<T>::f()

区别在于定义有(A<T>*)0，而声明有(A<T>*)this。什么给了？

【问题讨论】：

A<T>::x 而不仅仅是x 说什么。不过，我不知道它是否有效，或者是否应该这样。
@ChristianRau 这确实有效，现在是我实施的解决方案，直到 gcc 修复此问题。

标签： c++ c++11

【解决方案1】：

这是我在此处报告的 gcc 4.7 中的一个错误：bug #54359（请参阅错误报告的底部）。 gcc 4.6 接受了这种特殊情况。

作为一种解决方法，不要使用尾随返回类型，而是直接使用成员 x 的类型。在示例中，这只是T，但您也可以转换更复杂的情况。例如，您可以转换：

T x;
auto f() -> decltype(x.foo);

进入：

T x;
decltype(std::declval<T>().foo) f();

std::declval在这里非常有用。

【讨论】：