[C++]explicit解释

explicit

  C++提供了关键字explicit,可以阻止不应该允许的经过转换构造函数进行的隐式转换的发生。声明为explicit的构造函数不能在隐式转换中使用。
  C++中, 一个参数的构造函数, 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。 
  所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。
  这样看起来好象很酷, 很方便。 但在某些情况下(见下面权威的例子), 却违背了我们(程序员)的本意。 真是成也萧何, 败也萧何。 这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用,使用, 不能作为类型转换操作符被隐含的使用。 呵呵, 看来还是光明正大些比较好。 
  explicit构造函数的作用
  解析:
  explicit构造函数是用来防止隐式转换的。请看下面的代码:
  1 class Test1
  2 {
  3 public:
  4 Test1(int n) { num = n; } //普通构造函数
  5 private:
  6 int num;
  7 };
  8 
  9 class Test2
  10 {
  11 public:
  12 explicit Test2(int n) { num = n; } //explicit(显式)构造函数
  13 private:
  14 int num;
  15 };
  16 
  17 int main()
  18 {
  19 Test1 t1 = 12; //隐式调用其构造函数, 成功
  20 Test2 t2 = 12; //编译错误,不能隐式调用其构造函数
  21 Test2 t3(12); //显示调用成功
  22 return 0;
  23 }
  Test1的构造函数带一个int型的参数,代码19行会隐式转换成调用Test1的这个构造函数。而Test2的构造函数被声明为explicit(显式),这表示不能通过隐式转换来调用这个构造函数,因此代码20行会出现编译错误。
  普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用。
### 明确 `explicit` 关键字的作用 在 C++ 中,`explicit` 关键字用于修饰单参数构造函数以及转换运算符,其主要目的是防止隐式的类型转换和拷贝初始化带来的潜在错误[^2]。 当定义了一个类的构造函数时,默认情况下编译器会允许该构造函数被用来执行隐式类型转换。然而,在某些场景下这种行为可能会引发意外的结果或者难以察觉的 bug。通过将构造函数声明为 `explicit`,可以显式地禁用这些不必要的隐式转换操作[^3]。 #### 防止隐式类型转换的例子 下面展示如何利用 `explicit` 来控制对象创建过程中的自动类型推导: ```cpp class MyClass { public: explicit MyClass(int value) : m_value(value) {} // 使用 explicit 限定词 private: int m_value; }; void process(const MyClass& obj) {} int main() { // 下面这行代码会产生编译期错误,因为 MyClass 的构造函数标记为了 explicit //process(42); // 正确的方式是手动调用构造函数来实例化对象 process(MyClass(42)); } ``` 在这个例子中,如果去掉 `MyClass` 构造函数前的 `explicit` 定义,则可以直接传递整数给 `process()` 函数而无需显式构建 `MyClass` 对象。这样虽然方便了编码工作量减少,但也增加了程序逻辑上的模糊性和可能的风险[^4]。 #### 转换运算符的情况 除了应用于构造函数外,`explicit` 还能作用于用户自定义类型的转换运算符上,从而阻止不期望发生的隐式转型动作发生: ```cpp struct ExplicitConversion { operator bool() const { return true; } }; // 假设我们有一个只接受布尔型变量作为条件表达式的函数 bool check(bool condition); ExplicitConversion ec; if (check(ec)) { /* ... */ } // 如果没有指定 explicit 则此句合法并尝试转化ec到bool类型 // 加入 explicit 后则需改为如下形式才能正常运行 if (check(static_cast<bool>(ec))) {} ``` 以上情况表明即使存在有效的类型转换路径,只要目标类型涉及到了带有 `explicit` 属性的操作符成员方法,那么就必须采用强制造型手段(如 static_cast<>)来进行显示指明意图[^5]。 ### 总结 综上所述,合理运用 `explicit` 可以帮助开发者编写更加安全可靠的现代 C++ 应用程序,尤其是在设计复杂的数据结构或是实现库级组件的时候尤为重要[^6]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值