Explicit Constructors(显式构造函数)

本文探讨了C++中单参数构造函数的隐式转换特性,并解释了如何使用explicit关键字来避免潜在的误用。当构造函数仅有一个参数时,它会自动成为一种类型转换机制,这有时会导致意外的行为。通过加入explicit关键字可以明确禁止这种隐式转换。

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

 
按照默认规定,只有一个参数的构造函数也定义了一个隐式转换,将该构造函数对应数据类型的数据转换为该类对象,如下面所示:
class String {
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
String s1 = “hello”; //OK 隐式转换,等价于String s1 = String(“hello”);
 
但是有的时候可能会不需要这种隐式转换,如下:
class String {
       String ( int n ); //本意是预先分配n个字节给字符串
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
 
下面两种写法比较正常:
String s2 ( 10 );   //OK 分配10个字节的空字符串
String s3 = String ( 10 ); //OK 分配10个字节的空字符串
 
下面两种写法就比较疑惑了:
String s4 = 10; //编译通过,也是分配10个字节的空字符串
String s5 = ‘a’; //编译通过,分配int(‘a’)个字节的空字符串
 
s4 和s5 分别把一个int型和char型,隐式转换成了分配若干字节的空字符串,容易令人误解。
为了避免这种错误的发生,我们可以声明显示的转换,使用explicit 关键字:
class String {
       explicit String ( int n ); //本意是预先分配n个字节给字符串
String ( const char* p ); // 用C风格的字符串p作为初始化值
//…
}
加上explicit就抑制了String ( int n )的隐式转换,
 
下面两种写法仍然正确:
String s2 ( 10 );   //OK 分配10个字节的空字符串
String s3 = String ( 10 ); //OK 分配10个字节的空字符串
 
下面两种写法就不允许了:
String s4 = 10; //编译不通过,不允许隐式的转换
String s5 = ‘a’; //编译不通过,不允许隐式的转换
 
因此,某些时候,explicit 可以有效得防止构造函数的隐式转换带来的错误或者误解。
 
### 构造函数的高级用法示例 构造函数在面向对象编程中不仅用于初始化对象,还可以通过一些高级用法提升代码的灵活性和可维护性。以下是一些常见的构造函数高级用法示例。 #### 1. 委托构造函数(Delegating Constructors) 委托构造函数允许一个构造函数调用另一个构造函数,从而减少代码重复,提高代码的可维护性。这种机制在多个构造函数具有相似初始化逻辑时特别有用。 ```cpp class Rectangle { private: int width, height; // 公共初始化逻辑 void init() { // 可以执行一些通用的初始化操作 } public: Rectangle(int w, int h) : width(w), height(h) { init(); } Rectangle() : Rectangle(0, 0) {} // 委托给带参数的构造函数 }; ``` 这种方法使得多个构造函数可以共享相同的初始化逻辑,避免了代码冗余,并且使得代码更加清晰易读[^3]。 #### 2. 模板构造函数(Template Constructors) 模板构造函数允许构造函数接受多种类型的参数,从而提供更灵活的对象初始化方。模板构造函数特别适用于需要处理多种数据类型的场景。 ```cpp template<typename T> class Wrapper { private: T value; public: template<typename U> Wrapper(U val) : value(static_cast<T>(val)) {} // 模板构造函数 }; // 使用示例 Wrapper<int> w1(10); // 从int初始化 Wrapper<double> w2(3.14); // 从double初始化 Wrapper<int> w3(3.14); // 从double转换为int初始化 ``` 模板构造函数不仅提高了代码的灵活性,还确保了类型安全。这种用法在实际开发中非常常见,特别是在需要支持多种输入类型的类中[^2]。 #### 3. 构造函数Explicit Constructors构造函数用于防止隐类型转换,确保类型安全。通过使用 `explicit` 关键字,可以避免编译器进行不必要的隐转换,从而减少潜在的错误。 ```cpp class MyClass { public: explicit MyClass(int value) { // 初始化逻辑 } }; void foo(MyClass obj) { // 函数逻辑 } int main() { MyClass obj(10); foo(obj); // 正确 // foo(20); // 错误:无法隐转换int到MyClass foo(MyClass(20)); // 正确:转换 } ``` 构造函数在需要严格控制对象创建方的情况下非常有用,特别是在防止用户误用时[^2]。 #### 4. 成员初始化列表(Member Initializer List) 成员初始化列表是构造函数的一部分,用于在构造函数体执行之前初始化类的成员变量。这种方比在构造函数体内赋值更高效,特别是对于常量成员、引用成员以及没有默认构造函数的类类型成员。 ```cpp class MyClass { private: const int value; int& ref; public: MyClass(int v, int& r) : value(v), ref(r) {} // 使用成员初始化列表 }; ``` 通过成员初始化列表,可以确保成员变量在构造函数体执行之前就已经被正确初始化,从而避免了不必要的默认构造和后续赋值操作[^1]。 #### 5. 拷贝构造函数(Copy Constructor) 拷贝构造函数用于创建一个新对象作为已有对象的副本。它通常用于按值传递或返回对象时的隐调用。 ```cpp class MyClass { private: int* data; public: MyClass(int value) { data = new int(value); } // 拷贝构造函数 MyClass(const MyClass& other) { data = new int(*other.data); // 深拷贝 } ~MyClass() { delete data; } }; MyClass obj1(10); MyClass obj2 = obj1; // 调用拷贝构造函数 ``` 拷贝构造函数的实现需要注意是否需要进行深拷贝,以避免多个对象共享同一块内存而导致的资源管理问题。 --- ###
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值