显式调用构造函数

我知道我们可以调用构造函数的概念Explicitly and Implicitly，我已经测试了这两种情况（通常到目前为止，我的所有目的都通过调用构造函数来实现Implicitly），但我想知道每当我们创建时构造函数都会被隐式调用objects，那么调用构造函数的主要原因是什么Explicitly。当我们调用构造函数时它有什么优点或缺点Explicitly超过Implicit Call?

Example

class integer
{
   int m ,n;
 public:
   integer (int x , int y); 
};
integer :: integer (int x , int y )
{
   m=x; n = y;
}

现在如果我打电话

integer int1 = integer( 0 , 100); //  Explicit Call
integer int1(1,100); // implicit call

这里有两个不同的问题，正如你的定义一样explicit and implicit与标准定义不匹配（大多数现有答案都基于标准定义，在添加包含您自己的定义的示例之前编写）explicit and implicit).

好的，让我们首先考虑一下你的定义explicit，这将是（我猜你称之为explicit因为你明确地写了类型名称？）：

integer int1 = integer(0, 100);

与你的定义implicit这将是：

integer int1(1, 100);

在这种情况下，第一个“明确”call 确实比第二个没有任何优势“隐含的”称呼。但还是有区别的。第一个实际上使用双参数构造函数创建一个临时对象，然后用它来创建int1使用复制构造函数。尽管实际上编译器通常会优化掉这个额外的副本，但如果您的复制构造函数是私有的，它仍然无法工作，而第二个仅需要双参数构造函数（您甚至可以将其视为缺点）。

但现在来看看实际的标准定义explicit and implicit. An explicit构造函数调用是您显式调用的任何构造函数调用。实际上，每当您使用括号语法时()要创建一个对象，您显式调用构造函数，否则它是一个implicit构造函数调用（也就是说，由编译器在幕后完成）：

integer int1;                   // implicit default constructor
integer int1(1, 100);           // explicit two-arg constructor
integer int1 = integer(0, 100); // explicit two-arg constructor, implicit copy constructor

void func(integer);             // function taking by-value
func(int1);                     // implicit copy constructor

所以唯一可以调用的构造函数隐含地是默认构造函数和任何单参数构造函数（包括复制和移动构造函数）。在这方面的一个特殊问题是单参数构造函数不是复制/移动构造函数：

struct integer
{
    integer(int);
};

这允许编译器隐含地调用构造函数来转换类型，因此任何int可以隐式转换为integer:

void func(integer);
func(42);             // implicit call to int-constructor

要禁止这种行为，您必须标记构造函数explicit:

struct integer
{
    explicit integer(int);
};

这只允许它被调用明确地 (e.g. func(integer(42))）（但我想你已经知道了）。这样做的优点是它不会在幕后引入未被注意到/不需要的转换，这可能会导致各种难以发现的问题和有关重载解析的模糊性。因此，通常的做法是标记任何转换构造函数（单参数非复制/移动构造函数）explicit，很可能也是 C++11 最终引入的原因explicit转换运算符。

所以综上所述，根据你的定义和例子，使用确实没有任何优势integer int1 = integer(1, 100);代替integer int1(1, 100);，尽管它会产生（通常无关紧要的）差异。

但根据标准定义，explicit构造函数调用有很多优点implicit，因为这是实际构造对象的唯一方法明确地就是使用一个，嗯，显式构造函数调用， 然而隐式构造函数调用仅在某些情况下在幕后完成，并且仅适用于零参数和一参数构造函数（如阿舍普勒已经指出了）。并将转换构造函数显式标记为explicit具有禁止在幕后进行不需要的隐式转换的优点。