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


当前回答

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

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

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的对象;可能会有意义。

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

其他回答

构造函数附加隐式转换。若要抑制此隐式转换,需要使用显式参数声明构造函数。

在C++11中,您还可以使用这样的关键字指定“operator type()”http://en.cppreference.com/w/cpp/language/explicit使用这种规范,您可以在显式转换和直接初始化对象方面使用运算符。

P.S.当使用USER定义的转换(通过构造函数和类型转换运算符)时,只允许使用一级隐式转换。但您可以将这种转换与其他语言转换结合起来

向上整数列(char到int,float到double);标准转换(int到double);将对象指针转换为基类和void*;

Cpp参考总是有用的!!!有关显式说明符的详细信息可以在此处找到。您可能需要查看隐式转换和复制初始化。

快速查看

显式说明符指定构造函数或转换函数(自C++11以来)不允许隐式转换或复制初始化。

示例如下:

struct A
{
    A(int) { }      // converting constructor
    A(int, int) { } // converting constructor (C++11)
    operator bool() const { return true; }
};

struct B
{
    explicit B(int) { }
    explicit B(int, int) { }
    explicit operator bool() const { return true; }
};

int main()
{
    A a1 = 1;      // OK: copy-initialization selects A::A(int)
    A a2(2);       // OK: direct-initialization selects A::A(int)
    A a3 {4, 5};   // OK: direct-list-initialization selects A::A(int, int)
    A a4 = {4, 5}; // OK: copy-list-initialization selects A::A(int, int)
    A a5 = (A)1;   // OK: explicit cast performs static_cast
    if (a1) cout << "true" << endl; // OK: A::operator bool()
    bool na1 = a1; // OK: copy-initialization selects A::operator bool()
    bool na2 = static_cast<bool>(a1); // OK: static_cast performs direct-initialization

//  B b1 = 1;      // error: copy-initialization does not consider B::B(int)
    B b2(2);       // OK: direct-initialization selects B::B(int)
    B b3 {4, 5};   // OK: direct-list-initialization selects B::B(int, int)
//  B b4 = {4, 5}; // error: copy-list-initialization does not consider B::B(int,int)
    B b5 = (B)1;   // OK: explicit cast performs static_cast
    if (b5) cout << "true" << endl; // OK: B::operator bool()
//  bool nb1 = b2; // error: copy-initialization does not consider B::operator bool()
    bool nb2 = static_cast<bool>(b2); // OK: static_cast performs direct-initialization
}

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

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

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的对象;可能会有意义。

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

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

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

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的空字符串。

显式关键字可用于强制显式调用构造函数。

class C {
public:
    explicit C() =default;
};

int main() {
    C c;
    return 0;
}

构造函数C()前面的显式关键字告诉编译器只允许显式调用此构造函数。

显式关键字也可以在用户定义的类型转换运算符中使用:

class C{
public:
    explicit inline operator bool() const {
        return true;
    }
};

int main() {
    C c;
    bool b = static_cast<bool>(c);
    return 0;
}

这里,显式关键字只强制显式强制转换为有效,因此bool b=c;在这种情况下将是无效的强制转换。在类似于这些显式关键字的情况下,可以帮助程序员避免隐式、非预期的强制转换。这种用法已在C++11中标准化。