我正在使用 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
.给了什么?
最佳答案
这是我在此处报告的 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在这里非常有用。
关于c++ - 在声明后将 decltype 与成员函数定义一起使用,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12362888/