C++ explicit

本文探讨了C++中对象构造函数的使用,特别是隐式类型转换可能导致的问题。示例展示了如何通过explicit关键字防止隐式转换,以提高代码的清晰性和安全性。
 class Obj
 {
 public:
	 Obj(int a, int b)
	 {
		 _a = a;
		 _b = b;
	 }
	 Obj(int a)
	 {
		 _a = a;
	 }
	 //explicit Obj(int a)
	 //{
		// _a = a;
	 //}
 private:
	 int _a;
	 int _b;
 };
 void fun(Obj o)
 {

 }
int main()
{
	Obj oo = { 12 };//Obj{12}
	Obj o = (12, 13);
	fun(12);//此时12被隐式转换成Obj对象, 构造函数前加上explicit, 不存在该问题
	
	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]。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值