C++explicit的理解

本文探讨了C++中构造函数的使用场景,特别是单参数构造函数和带有explicit关键字的构造函数。解释了隐式转换与显式转换的区别,并通过示例说明了explicit如何阻止不期望的类型转换。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

  1. 是用来干什么的?
  2. 一个参数的构造函数     或   除了第一个参数外其余参数都有默认值的构造函数    这两种构造函数和其他构造函数有什么不同?什么情况下不同点会显现出来?
  3. 什么是隐式转换、显式转换?类的隐式转换?

隐式转换

说白了就是在转换时不给系统提示具体的显示模型,让其自动转换,但是要记住一条编译器一般只支持自下而上的类型转换,例如int 转 float

int a =4; float b= 5.56;

b =a; //这个就是隐式转换,默认的把int a 类型的 转换为float的类型.

显式转换:

int a =4; float b= 5.56;

float c =(float)a;//把int类型的a,强制转换为float类型的。

explicit

防止类之间不应该的隐式转换(通过构造函数)。但是仍可以进行显示类型转换(explicit type conversions)

声明为explicit的构造函数不能在隐式转换中使用。

只含有一个没有默认值的参数的构造函数的作用

  1. 构造
  2. 是个默认且隐含的类型转换操作符。

所以, 有时候在我们写下如 AAA = XXX, 这样的代码, 且恰好XXX的类型正好是AAA单参数构造器的参数类型, 这时候编译器就自动调用这个构造器, 创建一个AAA的对象。

这样看起来好象很酷, 很方便。 但在某些情况下, 却违背了程序员的本意。 这时候就要在这个构造器前面加上explicit修饰, 指定这个构造器只能被明确的调用/使用, 不能作为类型转换操作符被隐含的使用。

 解析:explicit构造函数是用来防止隐式转换的。请看下面的代码:

#include <iostream>
using namespace std;
class Test1
{
public :
	Test1(int num):n(num){}
private:
	int n;
};

class Test2
{
public :
	explicit Test2(int num):n(num){}
private:
	int n;
};
 
int main()
{
	Test1 t1 = 12; //因为是默认构造函数是单参,所以构造+隐式类型转换。
	Test2 t2(13); //普通的类实例化
	Test2 t3 = 14; //Test2的构造函数用了explicit关键字,不能隐式转换!
		
	return 0;
}

 编译时,会指出 t3那一行error:无法从“int”转换为“Test2”。而t1却编译通过。注释掉t3那行,调试时,t1已被赋值成功。

注意:当类的声明和定义分别在两个文件中时,explicit只能写在在声明中,不能写在定义中。

### C++ 中 `explicit` 关键字的用法和作用 在 C++ 中,`explicit` 关键字用于防止隐式类型转换或复制初始化[^1]。它的主要目的是限制构造函数的行为,确保只有显式的调用才能触发这些构造函数,而不会因为隐式转换导致意外的行为。 #### 1. 使用场景 `explicit` 关键字通常用于单参数构造函数或带有默认参数的多参数构造函数中[^4]。以下是一些具体的使用场景: - **防止隐式类型转换**:当一个类的构造函数可以接受单一参数时,编译器可能会尝试将其他类型的值隐式转换为该类的对象。通过使用 `explicit`,可以禁止这种隐式转换。 - **避免意外行为**:在某些情况下,隐式转换可能导致代码难以理解或出现错误。例如,如果一个类可以通过字符串构造对象,那么表达式 `MyClass obj = "example";` 可能会被解释为创建一个 `MyClass` 对象并进行赋值,这可能不是程序员的本意。 #### 2. 作用 `explicit` 的作用是明确区分直接初始化和复制初始化[^3]。以下是其具体作用: - **直接初始化**:即使构造函数被标记为 `explicit`,仍然可以通过直接初始化的方式创建对象。例如: ```cpp things item("example"); // 直接初始化,允许 ``` - **复制初始化**:如果构造函数被标记为 `explicit`,则不能通过复制初始化的方式创建对象。例如: ```cpp things item = "example"; // 复制初始化,不允许 ``` #### 3. 示例代码 以下是一个使用 `explicit` 关键字的示例: ```cpp class things { public: explicit things(const std::string& name = "") : m_name(name), height(0), weight(0) {} int CompareTo(const things& other); std::string m_name; int height; int weight; }; void example() { things item1("example"); // 允许,直接初始化 // things item2 = "example"; // 不允许,复制初始化被禁止 } ``` 在上述代码中,构造函数被标记为 `explicit`,因此无法通过复制初始化的方式创建对象。 #### 4. 隐式转换的影响 如果不使用 `explicit`,可能会导致意外的隐式转换。例如: ```cpp class MyClass { public: MyClass(int value) : m_value(value) {} private: int m_value; }; void process(MyClass obj) { // 处理对象 } void test() { process(42); // 隐式转换为 MyClass 对象 } ``` 在上面的例子中,整数 `42` 会被隐式转换为 `MyClass` 类型的对象。如果希望避免这种情况,可以将构造函数标记为 `explicit`,从而强制用户显式地进行类型转换[^4]。 ```cpp class MyClass { public: explicit MyClass(int value) : m_value(value) {} private: int m_value; }; void process(MyClass obj) { // 处理对象 } void test() { // process(42); // 错误:隐式转换被禁止 process(MyClass(42)); // 正确:显式转换 } ``` ### 总结 `explicit` 关键字的主要作用是防止隐式类型转换,从而提高代码的安全性和可读性。它适用于单参数构造函数或带有默认参数的多参数构造函数,能够有效避免因隐式转换而导致的意外行为。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值