C ++中的decltype（this）是什么类型的？

Question

显然clang认为decltype(this)是指向cv限定类的指针，而gcc认为它是指向cv限定类的指针的const引用 。 GCC只认为decltype(&*this)是指向cv限定类的指针。 当它用作模板的类型名称时，这会产生一些影响。 考虑一个假设的例子：

template<typename T>
class MyContainer {
    /* ... */
    template<typename ContainerPtr>
    class MyIterator {
        ContainerPtr container;
        /* ... */
    };
    auto cbegin() const
        -> MyIterator<decltype(&*this)> { return { /* ... */ }; }
    auto cend() const
        -> MyIterator<decltype(this)> { return { /* ... */ }; }
};

在此示例中，实现了T的自定义容器。 作为容器，它支持迭代器。 实际上，有两种迭代器： iterator和const_iterator 。 复制这两个代码是没有意义的，因此可以编写一个模板迭代器类，获取指向原始类MyContainer<T> *的指针或指向const版本MyContainer<T> const *的指针。

当cbegin和cend一起使用，GCC出现了错误，称这推导出矛盾的类型，而只是铿锵工作正常。

Answer 1

好的，这是我在标准中找到的（ N3337 ）：

7.1.6.2简单类型说明符[dcl.type.simple]

4由decltype(e)表示的类型定义如下：
or an unparenthesized class member access (5.2.5), decltype(e) is the type of the entity named by e . - 如果e是未表示的或未加密的类成员访问（5.2.5），则decltype(e)是e命名的实体的类型。 如果没有这样的实体，或者如果e命名了一组重载函数，那么该程序就会形成错误;
- 否则，如果e是x值，则decltype(e)是T&& ，其中T是e的类型;
- 否则，如果e是左值，则decltype(e)是T& ，其中T是e的类型;
-否则， decltype(e)是的类型e 。
decltype说明符的操作数是未评估的操作数（第5条）。

和

5.1.1一般[expr.prim.general]

X ” between the optional and the end of the , , or . 3如果声明声明类的成员函数或成员函数模板X中，表达this是类型的prvalue“指向 X ”可选的和的端部之间 ， 或 。 and it shall not appear within the declaration of a static member function (although its type and value category are defined within a static member function as they are within a non-static member function). 它不应出现在可选的 ，它不应出现在静态成员函数的声明中（尽管它的类型和值类别是在静态成员函数中定义的，因为它们在非静态成员函数中） 。 this is because declaration matching does not occur until the complete declarator is known. [ 这是因为在完整的声明符已知之前不会发生声明匹配。 ] Unlike the object expression in other contexts, *this is not required to be of complete type for purposes of class member access (5.2.5) outside the member function body. - ]与其他上下文中的对象表达式不同， *this对于成员函数体外的类成员访问（5.2.5），不需要为完全类型。 only class members declared prior to the declaration are visible. [ 只有在声明之前声明的类成员才可见。 ] - ]

之前对§9.3.2的引用是一个错误，因为它涉及成员函数的主体 ，如下面MWid的评论中所指出的 。

9.3.2`his`指针[class.this] 1在非静态（9.3）成员函数的主体中，关键字“this”是一个prvalue表达式，其值是函数所针对的对象的地址调用。 类`X`的成员函数中`this`的类型是`X *`。 如果成员函数声明为`const`，则`this`的类型为`const X *`，如果成员函数声明为`volatile`，则`this`的类型为`volatile X *`，如果成员函数声明为`const volatile`，`this`的类型是`const volatile X *`。

所以看起来gcc是错的。

Answer 2

* / X* ). this是一个prvalue ，所以decltype(this)应该始终是普通的X* （或X * / X* ）。 添加const&似乎是GCC中的一个错误（用g ++ 4.8.1测试），它只发生在一个类模板 （不是“普通”类）而只发生在尾部返回类型内 （不在会员功能）： 演示 。 这似乎是在GCC 4.9（实验）中修复的，你可以在这里测试一下 。