C++ explicit

 原文链接:http://www.cnblogs.com/this-543273659/archive/2011/08/02/2124596.html

explicit作用:

在C++中,explicit关键字用来修饰类的构造函数,被修饰的构造函数的类,不能发生相应的隐式类型转换,只能以显示的方式进行类型转换。

explicit使用注意事项

explicit 关键字只能用于类内部的构造函数声明上。

explicit 关键字作用于单个参数的构造函数。

 在C++中,explicit关键字用来修饰类的构造函数,被修饰的构造函数的类,不能发生相应的隐式类型转换

例子:未加explicit时的隐式类型转换

class Circle  
 {  
 public:  
    Circle(double r) : R(r) {}  
    Circle(int x, int y = 0) : X(x), Y(y) {}  
    Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {}  
 private:  
     double R;  
     int    X;  
     int    Y;  
 };  
   
 int _tmain(int argc, _TCHAR* argv[])  
 {  
 //发生隐式类型转换  
 //编译器会将它变成如下代码  
 //tmp = Circle(1.23)  
 //Circle A(tmp);  
 //tmp.~Circle();  
     Circle A = 1.23;   
 //注意是int型的,调用的是Circle(int x, int y = 0)  
 //它虽然有2个参数,但后一个有默认值,任然能发生隐式转换  
     Circle B = 123;  
  //这个算隐式调用了拷贝构造函数  
     Circle C = A;  
       
     return 0;  
 }

加了explicit关键字后,可防止以上隐式类型转换发生

class Circle  
{  
 public:  
     explicit Circle(double r) : R(r) {}  
     explicit Circle(int x, int y = 0) : X(x), Y(y) {}  
     explicit Circle(const Circle& c) : R(c.R), X(c.X), Y(c.Y) {}  
 private:  
     double R;  
     int    X;  
     int    Y;  
};  
   
int _tmain(int argc, _TCHAR* argv[])  
{  
//一下3句,都会报错  
//Circle A = 1.23;   
//Circle B = 123;  
//Circle C = A;  
       
//只能用显示的方式调用了  
//未给拷贝构造函数加explicit之前可以这样  
      Circle A = Circle(1.23);  
      Circle B = Circle(123);  
      Circle C = A;  
 
//给拷贝构造函数加了explicit后只能这样了  
      Circle A(1.23);  
      Circle B(123);  
      Circle C(A);  
      return 0;  
 }

 

 

 

 

 

 

### 明确 `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、付费专栏及课程。

余额充值