c++ - 将此指针分配给指针的右值引用

Question

下面的示例应该编译吗？

struct B;
struct A
{
  A(B*&&){}
};

struct B : A
{
  B() : A(this){}
};

int main(){}

关于 LWS用 clang 编译，但是用 gcc 我得到:

no known conversion for argument 1 from 'B* const' to 'B*&&'

如果我添加一个 const 它会编译。

我还想指出 MSVC 也有错误:

cannot convert parameter 2 from 'B *const ' to 'B *&&'

所以看起来我们在两个编译器中都有一个错误。

错误提交

MSVC bug link

GCC bug link

Answer 1

是的，应该编译。

将 this 实现为 cv T* const 是不正确的(其中 cv 是函数的 cv 限定符，如果有的话，T 是类类型)。 this 不是 const，只是内置类型(不可修改)的纯右值表达式。

很多人认为因为你不能修改this所以它一定是const，但是作为Johannes Schaub - litb很久以前评论过，更好的解释是这样的:

// by the compiler
#define this (__this + 0)

// where __this is the "real" value of this

这里很明显你不能修改this(比如，this = nullptr)，但也清楚没有const是必要的这样的解释。 (并且您在构造函数中拥有的值只是临时值。)