### 类基础概述 1. **自定义类型**：类是用户自定义的类型，由数据成员和成员函数组成。 2. **成员访问**：使用 `.` 访问对象成员，使用 `->` 访问指针成员。 3. **运算符重载**：可以为类定义运算符。 4. **名字空间**：类是一个包含其成员的名字空间。 5. **访问控制**：`public` 成员提供接口，`private` 成员提供实现细节。 6. **结构体与类**：`struct` 默认成员为 `public`，`class` 默认成员为 `private`。 ### 默认拷贝 - 默认情况下，类对象可以通过拷贝初始化。 - 拷贝是通过逐个成员进行的。 ### class 和 struct - `struct` 默认成员为 `public`。 - `class` 默认成员为 `private`。 - 推荐将数据成员放在类的最后，以强调公共接口。 ### 构造函数 - 构造函数用于初始化对象。 - 可以提供默认参数。 - `explicit` 关键字防止隐式转换。 ### 类内初始化器 - 允许在成员声明时直接初始化成员变量，减少重复代码。 ### 可变性 - **常量成员函数**：使用 `const` 修饰成员函数，表示该函数不会修改对象状态。

C++ 通过名字空间、函数、类和源码组织实现模块化。名字空间用于避免名字冲突，形成具名作用域。成员可通过显式限定、`using` 声明或指示引用。全局作用域可用 `::` 显式引用。`using` 声明简化频繁使用的名字空间成员，应用于所有重载版本。`using` 指示允许不加限定使用整个名字空间，但需谨慎避免冲突。参数依赖查找（ADL）根据参数类型自动查找函数定义，适用于运算符重载和模板函数，减少显式限定并避免名字空间污染。

函数声明是C++中定义函数的方式，包括函数名、返回类型和参数列表。它允许在程序的其他部分调用该函数，即使函数的定义在声明之后。函数声明可以包含多种修饰符和限定符，如`inline`、`constexpr`、`noexcept`等，以及成员函数特有的修饰符如`virtual`、`override`、`final`等。函数定义则是提供函数体具体实现的特殊声明，必须与所有声明保持类型一致。C++会自动忽略参数类型的顶层`const`，以兼容C语言。参数名称不属于函数类型的一部分，不同的声明中参数名称可以不同。

本文介绍了一个简单的桌面计算器程序，该程序支持四种标准算术操作（加、减、乘、除）以及变量定义。程序由四个主要部分组成：分析器、输入函数、符号表和驱动。分析器负责语法分析，输入函数处理输入和词法分析，符号表存储永久信息，驱动处理初始化、输出和错误。 计算器的语法规则包括表达式、项和初等项的定义。表达式可以包含加法和减法，项可以包含乘法和除法，初等项可以是数字、名称、赋值表达式或括号内的表达式。程序通过一个枚举类 `Kind` 来定义不同类型的标记（如运算符、数字、名称等），并使用 `TokenStream` 类来管理输入流和获取标记。 程序的核心逻辑是通过递归下降解析器实现的，分别处理表达式、项和初等项。输入函数 `TokenStream` 负责从输入流中读取字符并生成相应的标记。符号表使用 `unordered_map` 存储变量及其对应的值。 整个程序的设计遵循了编译器的基本结构，通过分层处理输入、解析语法、执行计算和输出结果，实现了基本的计算功能。

本文介绍了C++中的结构（`struct`）、联合（`union`）、枚举（`enum`）和限定作用域的枚举类型（`enum class`）。 1. **结构（`struct`）**： - 由任意类型的元素（成员）构成的序列。 - 成员在内存中按声明顺序分配空间，但可能存在“空洞”以满足对齐要求。 - 类型名字一旦出现即可使用，但对象声明需在类型定义完成后进行。 - 可以包含成员函数，尤其是构造函数。 2. **布局**： - 成员按声明顺序存储，但可能因对齐要求而产生未使用的空间。 - 可以通过调整成员顺序减少空间浪费。 3. **名字**： - 类型名字可提前使用，但需避免递归定义。 - 允许在同一作用域中分别声明同名的`struct`和非`struct`，但不推荐。 4. **结构与类**： - `struct`是一种`class`，成员默认是`public`的。 - 可以包含成员函数，尤其是构造函数。 5. **联合（`union`）**： - 同一时刻只保存一个元素的值。 6. **枚举（`enum`）**： - 包含一组命名常量（枚举值）的类型。 7. **限定作用域的枚举类型（`enum class`）**： - 枚举值位于枚举类型的作用域内，不存在向其他类型的隐式类型转换。 通过这些内容，读者可以了解如何在C++中定义和使用结构、联合和枚举类型，以及它们与类的关系。