构造函数是否也具有隐式的 this 参数

问：

我正在学习 C++ 中的类，并且知道非静态成员函数具有隐式此参数。我的第一个问题是构造函数是否也像非静态成员函数一样具有隐式的 this 参数。请注意，我不是在问我们是否可以在 ctor 中使用，因为我已经知道我们可以在 ctor 中使用。thisthis

接下来，我知道在一个类的限定非静态成员函数中，类型是 。对于非静态成员函数（没有 const 限定），其类型为 。同样，在 ctor 内部，类型始终为 。更深层次的问题来了。constXthisconst X*thisX*thisX*

我们知道，当我们调用一个非静态成员函数（比如 like）时，命名对象的地址被隐式传递给该方法的隐式 this 参数。因此，这解释了“在非静态成员函数的情况下，它来自哪里”。obj.func()objfuncthis

现在，让我们将同样的东西应用于构造函数。例如，假设我们使用默认的 ctor 创建一个类对象，例如：X

X x; //does the default ctor also have an implicit this parameter to which the address of x is passed?

我的第二个问题是：同样的事情会发生在 ctor 身上吗？就像，将 的地址传递给默认 ctor 的隐式参数。我目前的理解是 ctor 没有隐含的这个参数。因此，当我们编写 时，地址不会作为参数传递，因为对象尚未创建，因此传递其地址没有意义。但是从标准中我们知道，在 ctor 中，我们可以使用指针。所以我的第二个问题基本上是，如果 ctor 没有隐式参数，那么语句中的参数从何而来？我们知道，在 C++ 中使用任何名称（如变量名称）之前，我们必须为该名称声明。那么声明在哪里呢？编译器是否隐式声明 in 为 ctor？我的意思是，在非静态成员函数的情况下，我可以理解它们将声明作为隐式此参数，但是在 ctors 中会发生什么？在 ctors 内部，我们如何能够在没有声明的情况下使用名称 this？xX x;xthisthisthisthis->p = 0;thisthisthis

struct Name 
{
    private:
         int p = 0;
         int k = 0;
    void func()  //func is a non-static member function and so have an implicit this parameter
    {
        this->k = 0; // the "this" here comes from implicit this parameter
    }
    Name()
    {
      this->p = 0;  //where does the "this" comes from here since ctor don't have implicit this parameter
    }
    
};

我的第三个问题是，隐式此参数的概念是实现细节，还是标准说非静态成员函数将具有隐式此参数。

总结

1. ctors 是否具有隐式此参数？第一个问题也可以表述为“ctors 是否也具有隐式对象参数？

2. 该标准说我们可以在 ctor 内部使用。但这从何而来。例如，对于非静态成员函数，我们知道它来自隐式 this 参数，但在 ctor 的情况下，由于 ctors 没有隐式参数，我们被允许在 ctor 中使用的参数来自哪里。thisthisthisthisthis

3. 隐式参数的概念是实现细节，还是标准说所有非静态成员函数都有一个隐式 this 参数，在这种情况下，实现也允许 ctor 具有隐式 this 参数。this

编辑：

这个问题最重要的部分（IMO）是我们如何能够在ctor中使用该名称？例如，当我们写：this

this->p = 0; //here "this" behaves like a name

在上面的语句中，行为就像一个名字。我们知道，在 C++ 中使用任何名称（如变量名称）之前，我们必须为该名称声明。那么声明在哪里呢？编译器是否隐式声明 in 为 ctor？我的意思是，在非静态成员函数的情况下，我可以理解它们将声明作为隐式此参数，但是在 ctors 中会发生什么？在 ctors 内部，我们如何能够在没有声明的情况下使用名称 this？thisthisthisthis