显式关键字在C++中意味着什么?


当前回答

假设您有一个类String:

class String {
public:
    String(int n); // allocate n bytes to the String object
    String(const char *p); // initializes object with char *p
};

现在,如果您尝试:

String mystring = 'x';

字符“x”将隐式转换为int,然后将调用String(int)构造函数。但是,这不是用户可能想要的。因此,为了防止出现这种情况,我们应明确定义构造函数:

class String {
public:
    explicit String (int n); //allocate n bytes
    String(const char *p); // initialize sobject with string p
};

其他回答

显式关键字将构造函数转换为非转换构造函数。因此,代码不太容易出错。

这个答案是关于带/不带显式构造函数的对象创建的,因为其他答案中没有涉及它。

考虑以下没有显式构造函数的类:

class Foo
{
public:
    Foo(int x) : m_x(x)
    {
    }

private:
    int m_x;
};

Foo类的对象可以通过两种方式创建:

Foo bar1(10);

Foo bar2 = 20;

根据实现的不同,实例化类Foo的第二种方式可能会令人困惑,或者不是程序员想要的。将显式关键字前缀到构造函数将在Foobar2=20;处生成编译器错误;。

通常最好将单参数构造函数声明为显式的,除非您的实现明确禁止。

还请注意,具有

所有参数的默认参数,或第二个参数的默认参数

都可以用作单参数构造函数。因此,您可能希望将这些也明确化。

例如,如果您正在创建一个函子(请查看此答案中声明的“add_x”结构),那么您可能会故意不想使单参数构造函数显式。在这种情况下,创建add_x add30=30的对象;可能会有意义。

这里有一篇关于显式构造函数的好文章。

关键字explicit伴随着

类X的构造函数,不能用于将第一个(仅限任何)参数隐式转换为类型X

C++〔class.conv.ctor〕1) 没有函数说明符显式声明的构造函数指定从其参数类型到其类类型的转换。这样的构造函数称为转换构造函数。2) 显式构造函数与非显式构造函数一样构造对象,但仅在显式使用直接初始化语法(8.5)或强制转换(5.2.9、5.4)的情况下才能这样做。默认构造函数可以是显式构造函数;这样的构造函数将用于执行默认初始化或值初始化(8.5).

或仅考虑用于直接初始化和显式转换的转换函数。

C++〔class.conv.fct〕2) 转换函数可以是显式的(7.1.2),在这种情况下,它仅被视为用于直接初始化的用户定义转换(8.5)。否则,用户定义转换不限于在赋值中使用和初始化。

概述

显式转换函数和构造函数只能用于显式转换(直接初始化或显式转换操作),而非显式构造函数和转换函数可以用于隐式和显式转换。

/*
                                 explicit conversion          implicit conversion

 explicit constructor                    yes                          no

 constructor                             yes                          yes

 explicit conversion function            yes                          no

 conversion function                     yes                          yes

*/

使用结构X、Y、Z和函数foo、bar、baz的示例:

让我们看一个小的结构和函数设置,看看显式转换和非显式转换之间的区别。

struct Z { };

struct X { 
  explicit X(int a); // X can be constructed from int explicitly
  explicit operator Z (); // X can be converted to Z explicitly
};

struct Y{
  Y(int a); // int can be implicitly converted to Y
  operator Z (); // Y can be implicitly converted to Z
};

void foo(X x) { }
void bar(Y y) { }
void baz(Z z) { }

关于构造函数的示例:

函数参数的转换:

foo(2);                     // error: no implicit conversion int to X possible
foo(X(2));                  // OK: direct initialization: explicit conversion
foo(static_cast<X>(2));     // OK: explicit conversion

bar(2);                     // OK: implicit conversion via Y(int) 
bar(Y(2));                  // OK: direct initialization
bar(static_cast<Y>(2));     // OK: explicit conversion

对象初始化:

X x2 = 2;                   // error: no implicit conversion int to X possible
X x3(2);                    // OK: direct initialization
X x4 = X(2);                // OK: direct initialization
X x5 = static_cast<X>(2);   // OK: explicit conversion 

Y y2 = 2;                   // OK: implicit conversion via Y(int)
Y y3(2);                    // OK: direct initialization
Y y4 = Y(2);                // OK: direct initialization
Y y5 = static_cast<Y>(2);   // OK: explicit conversion

转换函数示例:

X x1{ 0 };
Y y1{ 0 };

函数参数的转换:

baz(x1);                    // error: X not implicitly convertible to Z
baz(Z(x1));                 // OK: explicit initialization
baz(static_cast<Z>(x1));    // OK: explicit conversion

baz(y1);                    // OK: implicit conversion via Y::operator Z()
baz(Z(y1));                 // OK: direct initialization
baz(static_cast<Z>(y1));    // OK: explicit conversion

对象初始化:

Z z1 = x1;                  // error: X not implicitly convertible to Z
Z z2(x1);                   // OK: explicit initialization
Z z3 = Z(x1);               // OK: explicit initialization
Z z4 = static_cast<Z>(x1);  // OK: explicit conversion

Z z1 = y1;                  // OK: implicit conversion via Y::operator Z()
Z z2(y1);                   // OK: direct initialization
Z z3 = Z(y1);               // OK: direct initialization
Z z4 = static_cast<Z>(y1);  // OK: explicit conversion

为什么使用显式转换函数或构造函数?

转换构造函数和非显式转换函数可能会引入歧义。

考虑一个可转换为int的结构V,一个可从V隐式构造的结构U,以及一个分别为U和bool重载的函数f。

struct V {
  operator bool() const { return true; }
};

struct U { U(V) { } };

void f(U) { }
void f(bool) {  }

如果传递类型为V的对象,则对f的调用是不明确的。

V x;
f(x);  // error: call of overloaded 'f(V&)' is ambiguous

编译器不知道是使用U的构造函数还是转换函数将V对象转换为传递给f的类型。

如果U的构造函数或V的转换函数是显式的,则不会有歧义,因为只考虑非显式转换。如果两者都是显式的,则必须使用显式转换或强制转换操作来使用类型V的对象调用f。

转换构造函数和非显式转换函数可能会导致意外行为。

考虑打印某个向量的函数:

void print_intvector(std::vector<int> const &v) { for (int x : v) std::cout << x << '\n'; }

如果向量的大小构造函数不是显式的,则可以这样调用函数:

print_intvector(3);

人们会从这样的电话中期待什么?一行包含3或三行包含0?(第二个是发生了什么。)

在类接口中使用显式关键字会强制接口的用户明确表示所需的转换。

正如Bjarne Stroustrup(在“C++编程语言”,第4版,35.2.1,第1011页)所说的,为什么std::duration不能从一个简单的数字隐式构建:

如果你知道你的意思,就明确地说出来。

允许编译器进行一次隐式转换以将参数解析为函数。这意味着编译器可以使用可通过单个参数调用的构造函数将一种类型转换为另一种类型,以便为参数获取正确的类型。

下面是一个带有构造函数的示例类,可以用于隐式转换:

class Foo
{
private:
  int m_foo;

public:
  // single parameter constructor, can be used as an implicit conversion
  Foo (int foo) : m_foo (foo) {}

  int GetFoo () { return m_foo; }
};

下面是一个接受Foo对象的简单函数:

void DoBar (Foo foo)
{
  int i = foo.GetFoo ();
}

这里是DoBar函数的调用位置:

int main ()
{
  DoBar (42);
}

该参数不是一个Foo对象,而是一个int。但是,Foo有一个构造函数,它接受一个int,因此可以使用该构造函数将参数转换为正确的类型。

编译器允许对每个参数执行一次此操作。

在构造函数前面加上显式关键字可以防止编译器将该构造函数用于隐式转换。将其添加到上述类将在函数调用DoBar(42)时产生编译器错误。现在需要使用DoBar显式调用转换(Foo(42))

您可能希望这样做的原因是为了避免可能隐藏错误的意外构造。有争议的例子:

您有一个MyString类,该类具有构造给定大小字符串的构造函数。您有一个函数print(const MyString&)(以及一个重载print(char*string)),并调用print(3)(当您实际想要调用print(“3”)时)。您希望它打印“3”,但它打印长度为3的空字符串。

其他答案缺少一个重要因素,我将在这里提及。

除了“delete”关键字,“explicit”允许您控制编译器生成特殊成员函数的方式——默认构造函数、复制构造函数、复制赋值运算符、析构函数、移动构造函数和移动赋值。

参考https://learn.microsoft.com/en-us/cpp/cpp/explicitly-defaulted-and-deleted-functions