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


当前回答

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

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

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

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

其他回答

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

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

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

使单参数构造函数(包括具有arg2、arg3、…的默认值的构造函数)如前所述始终是一种良好的编码实践。就像C++一样:如果你不这样做,你会希望你这样做。。。

类的另一个好做法是将副本构造和赋值设为私有(也就是禁用它),除非你真的需要实现它。这避免了在使用C++默认为你创建的方法时,指针的最终副本。另一种方法是从boost::noncopyable派生。

假设您有一个类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
};

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