跳到主要内容 C++ 类与对象高级特性详解 | 极客日志
C++ 算法
C++ 类与对象高级特性详解 深入探讨了 C++ 类与对象的高级特性。内容包括构造函数的初始化列表及其优势、必须使用初始化列表的场景(如引用和常量成员)、成员变量缺省值及初始化顺序规则。此外还讲解了类型转换机制,包括隐式转换、explicit 关键字的作用以及类型转换运算符。文章进一步阐述了静态成员变量和函数的特性与用法,友元函数与友元类的权限控制及优缺点,内部类的定义与访问权限,匿名对象的生命周期管理,以及编译器在对象拷贝时的返回值优化(RVO)。掌握这些知识点有助于编写更高效、健壮的 C++ 面向对象代码。
星辰大海 发布于 2026/3/22 更新于 2026/4/17 17K 浏览
一、再谈构造函数 构造函数是 C++ 中用于初始化对象的特殊函数。每次创建类的实例时,构造函数都会自动调用,用来为对象的成员变量赋初值。
1.1 构造函数的初始化方式 在 C++ 中,构造函数可以通过两种方式为类的成员变量赋值:构造函数体内赋值 和初始化列表 。
class Person {
public :
Person (int age) { _age = age;
private :
int _age;
};
这种方式虽然常见,但可能带来效率问题,因为成员变量会经历两次赋值——默认初始化后再赋值。
初始化列表 可以更高效地为成员变量赋值。其语法是在构造函数的参数列表后面使用冒号 :,直接对成员变量进行初始化:
class Person {
public :
Person (int age) : _age(age) {}
private :
int _age;
};
使用初始化列表可以避免默认初始化后的重复赋值,因而效率更高。
1.2 必须使用初始化列表的场景
1. 引用成员变量
引用类型必须在初始化时绑定对象,因此需要通过初始化列表来进行初始化,不能在构造函数体内赋值。
2. 常量成员变量
常量成员变量一旦被赋值便不能修改,必须在初始化列表中赋值,不能在构造函数体内赋值。
3. 没有默认构造函数的类类型成员
如果成员是其他类的对象且没有默认构造函数,则必须通过初始化列表进行初始化。否则,编译器无法为其分配默认初值,导致编译错误。
class Date {
public :
Date (int & year, int month = 1 , int day = 1 ) : _year(year), _month(month), _day(day), _constValue(100 ) {}
private :
int & _year;
const int _constValue;
int _month;
int _day;
};
在上述代码中,_year 是引用类型,_constValue 是常量,都必须在初始化列表中进行初始化。
1.3 初始化列表的优势
1. 提升性能
使用初始化列表避免了构造函数体内赋值的额外开销,尤其对于包含大量成员变量的类,能够显著提升性能。
2. 必须使用的场合
某些成员(如引用和常量)只能在初始化列表中进行初始化,这是 C++ 语言规范的要求。
1.4 成员变量的缺省值 在 C++11 中 ,可以在类内为成员变量赋予缺省值,这样即使构造函数没有显式赋值,也会使用这些默认值:
class Person {
private :
int _age = 18 ;
std::string _name = "Unnamed" ;
};
1.5 初始化列表的顺序规则 尽管初始化列表的书写顺序可以自由选择,但成员变量的初始化顺序是由它们在类中声明的顺序决定的 。
class Example {
private :
int _x;
int _y;
public :
Example (int x, int y) : _y(y), _x(x) {}
};
在初始化列表中,成员变量的初始化遵循以下逻辑:如果成员变量在初始化列表中显式初始化,则按照提供的值进行初始化。如果成员变量未在初始化列表中显式初始化,则有两种情况:成员变量在类中声明时有缺省值:按照缺省值初始化。成员变量在类中声明时没有缺省值:对于内置类型成员,初始化为随机值,可能是默认值 0 等,具体行为依赖于编译器。对于自定义类型成员,如果没有默认构造函数且无法自动初始化,将导致编译错误。
此外,引用类型成员、const 成员以及没有默认构造函数的类类型成员,必须在初始化列表中进行显式初始化,无法在构造函数体内赋值。
建议始终保持初始化列表中的顺序与成员变量声明顺序一致,以避免潜在的未定义行为。
1.6 常见错误 引用类型和常量成员必须通过初始化列表进行初始化,否则编译器会报错。
初始化顺序与成员变量声明顺序不一致时,可能导致未定义行为,尤其在成员变量之间存在依赖关系时更需谨慎。
二、类型转换
2.1 C++ 中的类型转换概述 在 C++ 中,类型转换是一个非常强大的功能。它允许我们在不同类型之间进行转换。在类中,类型转换通常通过构造函数或者类型转换运算符来实现。C++ 支持隐式 和显式 类型转换,这在开发复杂系统时非常有用。
2.2 隐式类型转换 如果一个类有一个接受单个参数的构造函数,那么该类的对象可以通过传递该类型的参数进行隐式构造。例如,假设我们有一个类 A,它有一个接受 int 类型参数的构造函数。
class A {
public :
A (int a) : _a(a) {}
void print () {
cout << "A: " << _a << endl;
}
private :
int _a;
};
int main () {
A obj = 10 ;
obj.print ();
}
在上面的代码中,整数 10 被隐式地转换为 A 类的对象,并调用了 A 的构造函数。这个过程称为隐式类型转换 。然而,隐式类型转换可能会导致意外的行为,因此我们通常希望控制这种行为。
2.3 使用 explicit 关键字阻止隐式类型转换 为了避免隐式类型转换导致的错误,我们可以使用 explicit 关键字来标记构造函数,这样该构造函数将不再允许隐式转换。
class A {
public :
explicit A (int a) : _a(a) { }
void print () {
cout << "A: " << _a << endl;
}
private :
int _a;
};
int main () {
A obj (10 ) ;
obj.print ();
}
在这个例子中,explicit 关键字阻止了 int 到 A 的隐式转换,因此必须通过显式地调用构造函数来创建对象。
2.4 类型转换运算符 除了构造函数,C++ 还支持类型转换运算符,它允许我们将类类型的对象转换为其他类型。类型转换运算符的定义形式如下:
class A {
public :
A (int a) : _a(a) {}
operator int () {
return _a;
}
private :
int _a;
};
int main () {
A obj (10 ) ;
int num = obj;
cout << "num: " << num << endl;
}
在上面的代码中,类 A 提供了一个将 A 对象转换为 int 的运算符,因此可以直接将 A 对象赋值给一个 int 类型的变量。
三、静态成员 (static)
3.1 静态成员变量 static 成员变量是属于类本身的,而不是类的某个对象。也就是说,所有类的对象都共享同一个 static 成员变量。静态成员变量在类的所有对象之间共享,并且必须在类外部进行初始化。
class Counter {
public :
Counter () { ++_count; }
~Counter () { --_count; }
static int getCount () { return _count; }
private :
static int _count;
};
int Counter::_count = 0 ;
int main () {
Counter c1, c2;
cout << "Current count: " << Counter::getCount () << endl;
return 0 ;
}
在这个例子中,_count 是一个静态成员变量,用来计数创建的对象数量。由于它是静态的,所有 Counter 对象共享同一个计数器。
3.2 静态成员函数 静态成员函数与普通成员函数的主要区别在于,它们不能访问非静态的成员变量或成员函数。因为静态成员函数没有 this 指针,不能与具体的对象绑定。
class Example {
public :
static void staticFunc () {
cout << "This is a static function." << endl;
}
};
int main () {
Example::staticFunc ();
return 0 ;
}
在上面的例子中,静态成员函数 staticFunc 是通过类名直接调用的,而不需要通过对象。
四、友元(Friend)
4.1 什么是友元? C++ 中的友元 (friend)是一种特殊机制,它允许一个函数或类访问另一个类的私有成员。通常,类的私有成员只能通过公共接口(如公共成员函数)访问,但有时候我们希望让另一个类或函数直接访问这些私有数据。友元就是为此设计的。友元函数 :允许某个外部函数访问类的私有和保护成员。友元类 :允许另一个类访问当前类的私有和保护成员。
4.2 友元函数的使用 友元函数并不是类的成员函数,但它有权访问类的私有成员。友元函数在类内部通过 friend 关键字声明。
class Box {
friend void showBox (const Box& b) ;
private :
int _length = 10 ;
int _width = 5 ;
};
void showBox (const Box& b) {
std::cout << "Box length: " << b._length << ", width: " << b._width << std::endl;
}
int main () {
Box b;
showBox (b);
return 0 ;
}
4.3 友元类的使用 友元类中的所有成员函数都可以访问另一个类的私有成员。友元类的关系是单向的 ,即 A 类是 B 类的友元,但 B 类并不能访问 A 类的私有成员。
class Engine ;
class Car {
friend class Engine ;
private :
int _horsePower = 300 ;
};
class Engine {
public :
void showHorsePower (const Car& c) {
std::cout << "Car's horsepower: " << c._horsePower << std::endl;
}
};
int main () {
Car myCar;
Engine myEngine;
myEngine.showHorsePower (myCar);
return 0 ;
}
4.4 友元的优缺点 友元提供了一种方便的方式来访问类的私有数据,增加了类之间的合作性。**然而,它也会破坏类的封装性和数据安全性。**因此,使用友元时要慎重,不宜过度使用。
五、内部类 **内部类是定义在另一个类中的类。**它通常用于封装两者之间的紧密关系,外部类可以控制内部类的行为。内部类在外部类中定义时,默认情况下可以访问外部类的私有成员。
class Outer {
private :
int _data = 42 ;
public :
class Inner {
public :
void show (const Outer& o) {
cout << "Outer::_data = " << o._data << endl;
}
};
};
int main () {
Outer outer;
Outer::Inner inner;
inner.show (outer);
return 0 ;
}
在这个例子中,Inner 类是 Outer 类的内部类,它可以访问 Outer 类的私有成员 _data。
六、匿名对象 匿名对象是没有名字的临时对象,它们的生命周期非常短暂,只在当前语句中存在。匿名对象经常用于简化临时操作,不需要为它们显式命名。
class A {
public :
A () { cout << "A()" << endl; }
~A () { cout << "~A()" << endl; }
};
int main () {
A ();
return 0 ;
}
在上面的代码中,匿名对象在创建后立即被销毁。匿名对象的使用使代码更简洁,但需要注意它们的生命周期。
七、对象拷贝时的编译器优化 在 C++ 中,编译器会进行一些优化,减少对象拷贝次数,从而提高性能。这些优化包括返回值优化 (RVO)和拷贝省略 。当一个函数返回一个对象时,编译器会尝试直接构造返回值,而不是先构造临时对象再拷贝。
class A {
public :
A () { cout << "A()" << endl; }
A (const A&) { cout << "A(const A&)" << endl; }
~A () { cout << "~A()" << endl; }
};
A createObject () {
A obj;
return obj;
}
int main () {
A a = createObject ();
return 0 ;
}
在这个例子中,编译器会进行优化,避免多次调用拷贝构造函数。
总结 本篇详细介绍了 C++ 类与对象的高级特性,包括构造函数的初始化列表、类型转换、静态成员、友元、内部类、匿名对象以及对象拷贝时的编译器优化。这些特性不仅增强了代码的灵活性,也帮助开发者编写出更加高效的程序。理解这些内容将大大提升你对 C++ 面向对象编程的理解能力,同时为编写健壮的应用程序奠定基础。
微信扫一扫,关注极客日志 微信公众号「极客日志」,在微信中扫描左侧二维码关注。展示文案:极客日志 zeeklog
相关免费在线工具 加密/解密文本 使用加密算法(如AES、TripleDES、Rabbit或RC4)加密和解密文本明文。 在线工具,加密/解密文本在线工具,online
Base64 字符串编码/解码 将字符串编码和解码为其 Base64 格式表示形式即可。 在线工具,Base64 字符串编码/解码在线工具,online
Base64 文件转换器 将字符串、文件或图像转换为其 Base64 表示形式。 在线工具,Base64 文件转换器在线工具,online
Markdown转HTML 将 Markdown(GFM)转为 HTML 片段,浏览器内 marked 解析;与 HTML转Markdown 互为补充。 在线工具,Markdown转HTML在线工具,online
HTML转Markdown 将 HTML 片段转为 GitHub Flavored Markdown,支持标题、列表、链接、代码块与表格等;浏览器内处理,可链接预填。 在线工具,HTML转Markdown在线工具,online
JSON 压缩 通过删除不必要的空白来缩小和压缩JSON。 在线工具,JSON 压缩在线工具,online