c++ - 显式调用构造函数

Question

我知道我们可以显式和隐式调用构造函数的概念，我已经测试了这两种情况(到目前为止，我的所有目的都通过调用来实现constructor Iplicitly), 但我想知道每当我们创建 objects 时构造函数都会被隐式调用，那么 Explicitly 调用构造函数的主要原因是什么.当我们调用构造函数显式而不是隐式调用时，它有什么优势或劣势？

例子

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

Answer 1

这里有两个不同的问题，因为您对 explicit 和 implicit 的定义与标准定义不匹配(大多数现有答案都基于此，正在编写在添加包含您自己的explicit 和implicit 定义的示例之前)。

好吧，让我们首先考虑一下您对 explicit 的定义，这将是(我猜您称它为 explicit 是因为您显式地写了类型名称？):

integer int1 = integer(0, 100);

与您对隐式的定义相比:

integer int1(1, 100);

在这种情况下，第一个“显式” 调用与第二个“隐式” 调用相比确实没有任何优势。但还是有区别的。第一个实际上使用双参数构造函数创建一个临时对象，然后使用复制构造函数创建 int1。虽然在实践中编译器通常会优化这个额外的拷贝，但如果你的复制构造函数是私有(private)的，它仍然不会工作，而第二个只需要双参数构造函数(你甚至可以将其视为缺点)。

---

但现在是显式 和隐式 的实际标准定义。 显式 构造函数调用是任何调用您的构造函数，好吧，显式调用。实际上，无论何时使用括号语法 () 创建一个对象，您都会显式调用构造函数，否则它就是一个隐式构造函数调用(也就是说，在编译器的场景):

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);
};

它只允许显式调用它(例如func(integer(42)))(但我猜你已经知道了)。这样做的好处是它不会在幕后引入不被注意的/不需要的转换，这会导致各种难以发现的问题和关于重载解决方案的歧义。因此通常的做法是标记任何转换构造函数(单参数非复制/移动构造函数)explicit，这很可能也是 C++11 最终引入 explicit 的原因> 转换运算符。

---

综上所述，根据您的定义和示例，使用 integer int1 = integer(1, 100); 而不是 integer int1(1, 100) 确实没有任何优势);，尽管它会产生(通常不相关的)差异。

但根据标准定义，显式构造函数调用比隐式调用有很多优势，因为显式实际构造对象的唯一方法> 是使用显式构造函数调用，而隐式构造函数调用仅在某些情况下在幕后完成，并且仅适用于零参数和单参数构造函数(正如 aschepler 已经指出的那样)。将转换构造函数显式标记为 explicit 的优点是不允许在幕后进行不需要的隐式转换。