这里有两个不同的问题,因为您对显式和隐式的定义与标准定义不匹配(大多数现有答案都基于标准定义,在您添加包含您自己的显式和隐式定义的示例之前编写)。
好的,让我们首先考虑一下你对explicit的定义,这将是(我猜你称它为explicit是因为你明确地写了类型名称?):
integer int1 = integer(0, 100);
与您对隐式的定义相比:
integer int1(1, 100);
在这种情况下,第一个“显式”调用确实比第二个“隐式”调用没有任何优势。但是还是有区别的。第一个实际上使用两个参数的构造函数创建了一个临时对象,然后使用int1
复制构造函数进行创建。尽管实际上编译器通常会优化掉这个额外的副本,但如果您的副本构造函数是私有的,它仍然无法工作,而第二个只需要双参数构造函数(您甚至可以将此视为缺点)。
但现在到了显式和隐式的实际标准定义。显式构造函数调用是任何构造函数调用,好吧,显式调用。实际上,每当您使用括号语法()
创建对象时,您都会显式调用构造函数,否则它是隐式构造函数调用(也就是说,由编译器在幕后完成):
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);
};
这允许编译器隐式调用构造函数来转换类型,因此 anyint
可以隐式转换为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);
因此,总而言之,根据您的定义和示例,使用instead of确实没有任何优势integer int1(1, 100);
,尽管它会产生(通常不相关的)差异。
但是根据标准定义,显式构造函数调用比隐式调用有很多优势,因为显式构造对象的唯一方法是使用显式构造函数调用,而隐式构造函数调用仅在某些情况下在幕后完成情况,并且仅适用于零参数和一参数构造函数(正如aschepler已经指出的那样)。并且将转换构造函数显式标记为explicit
具有不允许在幕后进行不需要的隐式转换的优点。