枚举
C 和 C++ 都支持枚举类型(enumeration),用于定义一组命名整型常量。虽然基本概念相同,但 C++ 在枚举方面提供了更多的功能和灵活性。以下是 C 和 C++ 中枚举的详细介绍和对比。
1. C 中的枚举
在 C 中,枚举类型使用 enum
关键字定义。枚举常量的默认值从 0 开始,依次递增。
定义和使用
指定枚举值
可以显式地为枚举常量指定值。
2. C++ 中的枚举
C++ 继承了 C 的枚举功能,并且引入了增强型枚举(scoped enums),称为 enum class
,它们提供了更好的类型安全性和作用域控制。
定义和使用传统枚举
定义和使用 enum class
enum class
提供了类型安全性,枚举常量在其作用域内,不会与其他枚举或常量冲突。
3. 比较和注意事项
类型安全
- C 枚举: 枚举常量是全局符号,可能会与其他符号冲突。
- C++ 枚举:
enum class
引入了作用域,解决了命名冲突问题。
强类型
- C 枚举: 枚举常量可以隐式转换为整数。
- C++ 枚举:
enum class
常量不会隐式转换,需要显式转换。
使用便捷性
- C 枚举: 语法简单,但可能导致命名冲突和类型安全问题。
- C++ 枚举: 语法稍微复杂,但提供了更强的类型安全性和命名空间控制。
4. 综合示例
以下是一个综合示例,展示了 C 和 C++ 中枚举的不同用法:
5. C++11 的新增功能
C++11 增加了一些与枚举相关的新功能,包括:
强类型枚举
提供了更好的类型安全性和作用域管理。
基础类型
可以指定枚举的基础类型(如 char
、int
等)。
联合体
联合体(union)是一种特殊的类类型,用于在同一个内存位置存储不同类型的变量。C 和 C++ 都支持联合体,但 C++ 提供了一些增强功能。
1. C 中的联合体
在 C 中,联合体使用 union
关键字定义。联合体中的所有成员共用同一块内存,所以联合体的大小等于其最大成员的大小。只能同时使用一个成员。
定义和使用
2. C++ 中的联合体
C++ 中联合体的基本用法与 C 相同,但 C++ 提供了更多的功能,例如允许联合体包含构造函数、析构函数和成员函数。此外,C++ 中联合体可以嵌套使用。
基本定义和使用
联合体中的成员函数
3. 匿名联合体
C++ 和 C 都支持匿名联合体,它们没有名字,成员在包含它们的作用域内直接可用。
C 中的匿名联合体
C++ 中的匿名联合体
4. 注意事项
- 内存管理:由于联合体的所有成员共享相同的内存位置,在修改一个成员后,其他成员的值会被破坏,因此不能同时使用多个成员。
- 类型安全:使用联合体时要注意类型安全,因为访问未被正确初始化的成员可能会导致未定义行为。
- 构造函数和析构函数:在 C++ 中,可以在联合体中定义构造函数和析构函数,但要注意管理好对象的生命周期。
命名空间
在 C++ 中,命名空间(namespace)用于将标识符(如变量、函数、类等)进行逻辑分组,以避免命名冲突。命名空间提供了一种在大型项目中组织代码的有效方法,使代码更加清晰和模块化。
1. 定义命名空间
可以使用 namespace
关键字定义命名空间。
语法
示例
2. 嵌套命名空间
命名空间可以嵌套定义,用于更细粒度的逻辑分组。
示例
3. 使用命名空间
可以通过 namespace
和作用域解析运算符 ::
来访问命名空间中的成员。
示例
4. 命名空间别名
可以为命名空间创建别名,以简化访问。
语法
示例
5. 匿名命名空间
匿名命名空间用于定义只在当前文件中可见的标识符,避免外部链接。
示例
6. 使用 using
声明
using
声明允许在当前作用域中使用命名空间中的成员,而无需每次都指定命名空间。
语法
示例
7. 使用 using
指令
using
指令使整个命名空间中的所有成员在当前作用域中可见。
语法
示例
8. 标准命名空间 std
C++ 标准库的所有组件都在 std
命名空间中,因此需要使用 std::
前缀或 using
声明来访问它们。
示例
类
在 C++ 中,类是用于创建用户自定义类型的基本构造。类封装了数据和操作数据的函数,提供了数据抽象和封装的功能。类是面向对象编程的核心概念之一。
1. 定义类
一个类定义包括类名、数据成员和成员函数。类的定义以 class
关键字开始。
语法
示例
2. 构造函数和析构函数
构造函数用于在创建对象时初始化对象,析构函数用于在对象被销毁时执行清理操作。
构造函数
构造函数的名称与类名相同,没有返回类型。
析构函数
析构函数的名称与类名相同,在前面加上 ~
符号,没有参数和返回类型。
3. 类的初始化方式
在 C++ 中,类的初始化有多种方式,每种方式适用于不同的场景。了解这些初始化方式对于编写高效、可读性强的代码非常重要。以下是 C++ 类的几种主要初始化方式的详细介绍:
1. 默认初始化
如果类没有定义任何构造函数,编译器会提供一个默认的无参数构造函数。默认初始化会调用该构造函数。
2. 值初始化
值初始化使用大括号 {}
或圆括号 ()
进行初始化。对于基本数据类型,值初始化会将它们初始化为零或空值。
3. 显式初始化
显式初始化是在定义对象时直接为其成员变量赋值。这种方式通常用于简单的数据类型。
4. 初始化列表
初始化列表是在构造函数中初始化成员变量的最佳方式,特别是对于常量成员、引用成员或没有默认构造函数的类成员。
5. 聚合初始化
聚合初始化使用大括号 {}
直接初始化类的成员。要求类不能有用户定义的构造函数、私有或受保护的非静态数据成员、基类或虚函数。
6. 动态初始化
动态初始化使用 new
关键字在堆上创建对象。需要手动管理对象的生命周期。
7. 委托构造函数 (C++11)
委托构造函数允许一个构造函数调用另一个构造函数,以简化初始化代码。
8. 列表初始化 (C++11)
C++11 引入了列表初始化,使得类对象的初始化更加简洁和灵活。
4. 访问控制
C++ 提供了三种访问控制类型:public
、private
和 protected
。
- public: 公有成员可以在类的外部访问。
- private: 私有成员只能在类的内部访问。
- protected: 保护成员在派生类中可以访问,但在类的外部不能访问。
5. 成员函数
成员函数是在类的内部定义的函数,可以操作类的对象和数据成员。
6. 常量成员函数
常量成员函数不能修改类的成员变量。使用 const
关键字声明。
7. 静态成员
静态成员变量和函数属于类而不是类的对象。使用 static
关键字声明。
8. 继承
继承允许创建一个新的类,该类继承一个或多个现有类的属性和方法。使用 :
符号定义派生类。
基本继承
多重继承
C++ 支持一个类从多个基类继承。
9. 虚函数和多态
虚函数允许在运行时调用派生类的实现,提供了动态多态性。
符号重载
在 C++ 中,符号重载(operator overloading)允许程序员定义或扩展运算符的行为,使其能够用于用户定义的类型(如类和结构体)。这增强了语言的灵活性和可读性,使得自定义类型可以像内置类型一样方便地进行操作。
在 C++ 中,大多数运算符可以被重载,但也有一些运算符是不能重载的。以下是可以重载和不能重载的运算符列表:
可重载的运算符
运算符 | 名称 | 示例 |
---|
+ | 加法 | a + b |
- | 减法 | a - b |
* | 乘法 | a * b |
/ | 除法 | a / b |
% | 取模 | a % b |
++ | 前置/后置递增 | ++a, a++ |
-- | 前置/后置递减 | --a, a-- |
== | 等于 | a == b |
!= | 不等于 | a != b |
> | 大于 | a > b |
< | 小于 | a < b |
>= | 大于等于 | a >= b |
<= | 小于等于 | a <= b |
! | 逻辑非 | !a |
&& | 逻辑与 | a && b |
|| | 逻辑或 | a || b |
& | 按位与 | a & b |
| | 按位或 | a | b |
^ | 按位异或 | a ^ b |
~ | 按位非 | ~a |
<< | 左移 | a << b |
>> | 右移 | a >> b |
+= | 加法赋值 | a += b |
-= | 减法赋值 | a -= b |
*= | 乘法赋值 | a *= b |
/= | 除法赋值 | a /= b |
%= | 取模赋值 | a %= b |
&= | 按位与赋值 | a &= b |
|= | 按位或赋值 | a |= b |
^= | 按位异或赋值 | a ^= b |
<<= | 左移赋值 | a <<= b |
>>= | 右移赋值 | a >>= b |
= | 赋值 | a = b |
[] | 下标 | a[b] |
() | 函数调用 | a() |
-> | 成员访问(指针) | a->b |
->* | 成员指针访问 | a->*b |
, | 逗号 | a, b |
new | 动态分配内存 | new Type |
new[] | 动态分配数组 | new Type[] |
delete | 动态释放内存 | delete a |
delete[] | 动态释放数组 | delete[] a |
* | 指针解引用 | *a |
& | 取地址 | &a |
+= | 加法赋值 | a += b |
->* | 指向成员的指针运算符 | ptr->*mem_ptr |
不能重载的运算符
运算符 | 名称 |
---|
:: | 作用域解析运算符 |
. | 成员访问运算符 |
.* | 成员指针访问运算符 |
?: | 条件运算符(三元运算符) |
sizeof | 对象大小运算符 |
typeid | 类型信息运算符(运行时类型识别) |
alignof | 对齐要求运算符 |
noexcept | 异常说明符 |
1. 什么是符号重载
符号重载是在类内部或类外部定义运算符函数,以便这些运算符可以作用于类对象。可以重载的大多数运算符包括算术运算符、比较运算符和赋值运算符等,但某些运算符(如 ::
、.
、.*
和 ?:
)不能被重载。
2. 成员函数形式的符号重载
成员函数形式的符号重载是将运算符函数作为类的成员函数来定义。重载的运算符的第一个操作数必须是类的对象。
语法
示例:重载 +
运算符
3. 非成员函数形式的符号重载
非成员函数形式的符号重载是将运算符函数作为独立于类的友元函数或普通函数来定义。
语法
示例:重载 -
运算符
4. 其他常见的符号重载
重载 <<
和 >>
运算符
通常用于输入输出流的重载。
重载 ==
和 !=
运算符
用于比较对象的相等性。
5. 重要注意事项
- 返回值类型:确保运算符重载函数的返回类型是合理的。例如,算术运算符通常返回新的对象,而赋值运算符返回引用。
- 对称性:对于某些运算符(如
+
和 -
),对称性非常重要。确保你的重载函数在处理不同类型的操作数时表现一致。
- 避免副作用:运算符重载函数应尽量避免产生副作用(如修改全局状态),以确保它们的行为可预测且易于理解。