this 指针不能在构造函数中使用别名：

Question

我正在学习C ++的继承。然后我遇到以下语句：

换句话说，该指针在构造函数中不能被别名：

extern struct D d;
struct D
{
    D(int a) : a(a), b(d.a) {} // b(a) or b(this->a) would be correct
    int a, b;
};
D d = D(1);   // because b(d.a) did not obtain a through this, d.b is now unspecified

以上示例来自 cppreference 。

我的第一个问题是写道“ 此不能在ctor中被别名”，但是在上面的示例中，他们已经在评论中写了> b（＆gt; a）是正确的。这似乎对我来说是矛盾的，因为当他们说无法在ctor中被别名时，我知道“ 此不能在ctor”。但是，为什么他们说编写b（this-＆gt; a）如果无法在ctor中使用/易被辩护，则是正确的。初始化器列表不是“在CTOR中”考虑的？

---

现在让我们查看一个自定义示例：

struct Name 
{
    private: 
        int x = 0;
  Name(int n )
  {
     this->x = 4;  //is the use of "this" well-defined here?
  }
};

我的第二个问题是在上面显示的转换构造函数内的表达式this-＆gt; x的使用吗？我的意思是，由于在我的问题开头的报价的开头，此在ctor中不能被别名，因此这不应有效。

Answer 1

的意思是，在构建类对象的过程中，应通过直接或间接从构建器的此间接获得对象的非静态数据成员的访问。否则，未指定通过此类访问读取的值。

因此，this-＆gt; a总是很好，就像a一样，它隐含地与this-＆gt; a相同。

还可以复制指针this，并通过此访问成员，例如

auto p = this;
b = p->a;

或存储对对象的引用：

auto& r = *this;
b = r.a;

但是在开始时给出的示例中，d是与的对象相同，指向。换句话说，名称d和*此是同一对象的别名。不允许使用此其他别名d在构建过程中访问该类的非静态数据成员，因为d未从获得此 /代码>。或更确切地说，未指定这样的访问将读取什么价值。因此，b（da）可能会或可能不会将b成员初始化为与a相同的值。

参见 [class.cdtor]/2 。