显式关键字在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
};
其他回答
其他答案缺少一个重要因素,我将在这里提及。
除了“delete”关键字,“explicit”允许您控制编译器生成特殊成员函数的方式——默认构造函数、复制构造函数、复制赋值运算符、析构函数、移动构造函数和移动赋值。
参考https://learn.microsoft.com/en-us/cpp/cpp/explicitly-defaulted-and-deleted-functions
这个答案是关于带/不带显式构造函数的对象创建的,因为其他答案中没有涉及它。
考虑以下没有显式构造函数的类:
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的对象;可能会有意义。
这里有一篇关于显式构造函数的好文章。
假设您有一个类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
};
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
}
构造函数附加隐式转换。若要抑制此隐式转换,需要使用显式参数声明构造函数。
在C++11中,您还可以使用这样的关键字指定“operator type()”http://en.cppreference.com/w/cpp/language/explicit使用这种规范,您可以在显式转换和直接初始化对象方面使用运算符。
P.S.当使用USER定义的转换(通过构造函数和类型转换运算符)时,只允许使用一级隐式转换。但您可以将这种转换与其他语言转换结合起来
向上整数列(char到int,float到double);标准转换(int到double);将对象指针转换为基类和void*;