Fundamentals⚓︎

Background⚓︎

在正式进入 C++ 的学习前，不妨先来简单了解一下 C++ 相关的背景知识。

C++ 的设计哲学：

• 可读性(readability)：直接用代码表达思想和意图
• 安全性(safety)：尽可能在编译时强制保证安全性
• 高效性(efficiency)：不浪费时间和空间
• 抽象性(abstraction)：将杂乱的构造分好类
• 多范式(multi-paradigm)：赋予程序员完全的控制权、责任和选择权

实际上，C++ 还有助于我们培养良好的编码习惯——在用 C++ 写代码时，我们会很自然地考虑到以下问题：

• 我是否在以对象本应被使用的方式使用它们？——类型检查、类型安全
• 我是否正在高效使用内存？——引用 / 拷贝语义、移动语义
• 我是否在修改我不应该修改的东西？——const 和 const 正确性

而其他语言则放宽了上述限制。

The First C++ Program⚓︎

#include <iostream>
using namespace std;

int main() {
    int number;
    cout << "Enter a decimal number: ";
    cin >> number;
    cout << "The number you entered is " << number << endl;
    return 0;
}

在 C++ 中，任何类型的变量存放的都是一个对象(object)。

#include <iostream>
#include <string>
int main() {
    auto str = std::make_unique<std::string>("Hello World!");
    std::cout << *str << std::endl;
    return 0;
}
// Prints "Hello World!"

#include "stdio.h"
#include "stdlib.h"
int main(int argc, char **argv) {
    printf("%s", "Hello, world!\n");
    // ^a C function!
    return EXIT_SUCCESS;
}

#include "stdio.h"
#include "stdlib.h"
int main(int argc, char **argv) {
    asm(".LC0:\n\t"
    ".string \"Hello, world!\"\n\t"
    "main:\n\t"
    "push rbp\n\t"
    "mov rbp, rsp\n\t"
    "sub rsp, 16\n\t"
    "mov DWORD PTR [rbp-4], edi\n\t"
    "mov QWORD PTR [rbp-16], rsi\n\t"
    "mov edi, OFFSET FLAT:.LC0\n\t"
    "call puts\n\t");
    return EXIT_SUCCESS;
}

Type System⚓︎

• 我们可以把类型(types) 看作变量的“种类 (category)”。
• C++ 提供了诸如int , double , string , bool , size_t等多种内建类型 (built-in types)。
• C++ 的一个鲜明特征是它是一种静态类型(statically typed) 语言：每个变量都有一个类型，且一旦声明类型后，之后就不得再修改类型了（而动态类型语言允许这种操作）。
• 这种语言的优点是
  • 更加高效：
    • 为编译器提供额外的变量信息，这样它能为变量更加高效地分配内存
    • 根据内存中值的特殊结构，编译器还可能对性能进行优化，消除了运行时检查类型的需求
  • 易于理解
  • 提供了更方便的错误检查

Type Alias with using⚓︎

有时，代码中可能会出现像这样冗长的类型：

std::pair<bool, std::pair<double, double>> solveQuadratic(double a, double b, double c);

可以看到，这个函数的返回值类型特别“长”，不仅对敲代码的程序员而言不方便，也不方便其他人阅读代码。这时，我们可以使用 using 关键字，为类型创建别名：

using Zeros = std::pair<double, double>;
using Solution = std::pair<bool, Zeros>;
Solution solveQuadratic(double a, double b, double c);

现在的函数签名就清爽了很多——不仅类型名缩短了，还能提高可读性！

typedef map<string,list<string>> PB;
PB phonebook;
PB::iterator finger;

更多内容：using

Type Deduction with auto⚓︎

对于上述问题，还有一种“偷懒”的方法是使用 auto 关键字——我们不指明类型，让编译器自行推断具体的类型，这样我们写代码时就无需操心类型的问题了：

auto result = solveQuadratic(a, b, c);
// This is exactly the same as the above! 
// result still has type std::pair<bool, std::pair<double, double>>
// We just told the compiler to figure this out for us!

很显然，result 的返回结果类型就是 Solution，所以编译器在编译时会自动帮我们推断出这一类型，在编译成机器码前将类型替换为具体的类型。但如果存在歧义的话，编译就有可能会失败，比如：

auto oops() {
  return { 106.0, 107.0 };
}

此时函数的返回值既可能是 std::pair<double, double> 类型，也可能是 std::vector<double> 类型，也就是说存在歧义。此时 auto 就没用了，还得要我们明确指出返回值的类型。

虽然这种方法相当省事，但是也降低了代码的可读性，所以在代码编写时我们需要权衡好其中的利弊。

更多内容：auto

Type Safety⚓︎

类型安全(type safety) 是编程语言的一个重要特性，它指的是阻止或限制不同类型之间不兼容的混合操作，从而提高代码的健壮性和可靠性。在 C++ 中，实现类型安全的主要方式有以下几种：

• 编译时类型检查：这是 C++ 类型安全的核心。编译器会检查函数调用时的参数类型、赋值操作的左右两侧类型是否匹配或兼容等。
• 显式类型转换(explicit casts)：C++ 不鼓励隐式的、可能导致信息丢失或不安全行为的类型转换。对于需要进行的类型转换，推荐使用明确的类型转换操作符，如 static_cast、dynamic_cast、reinterpret_cast 和 const_cast。这使得代码的意图更加明确，也更容易被审查。
• RAII(Resource Acquisition Is Initialization，资源获取即初始化 )：虽然 RAII 主要用于资源管理，但它通过将资源的生命周期与对象的生命周期绑定，也间接增强了类型安全。例如，智能指针通过类型系统确保了内存的安全管理，防止了悬空指针等问题。
• 模板(templates)：模板允许编写泛型代码，这些代码可以操作多种类型，但仍然保持类型安全。编译器会为每个使用的具体类型实例化模板，并进行相应的类型检查。
• 枚举类(enum classes)（C++11 引入）：与传统的 C 风格枚举不同，枚举类的值不会隐式转换为整数，也无法与其他枚举类的值进行比较，除非显式转换。

尽管 C++ 提供了很多机制来保证类型安全，但它并非绝对安全。例如：

• C 风格数组和指针： C 风格数组容易发生越界访问，指针也可能指向无效内存（空指针、悬空指针、野指针）。这些问题通常在运行时才会暴露，甚至潜伏很深。
• 联合(union)： union 允许在同一内存位置存储不同类型的数据，但编译器通常无法判断当前存储的是哪种类型，需要程序员自行管理。

std::optional⚓︎

std::optional<T> 是一个模板类，它可以包装一个可能存在也可能不存在的 T 类型的值。

• 包含值：std::optional 对象持有一个有效的 T 类型的值
• 不包含值：std::optional 对象不持有任何值，表示值缺失，此时用 std::nullopt 来表示

我们借助 std::optional 以下特点来增强 C++ 的类型安全：

• 明确的“缺失”状态：它明确地表达了一个值可能不存在的语义。使用者必须检查 std::optional 是否包含值，然后才能安全地访问它，从而避免了运行时错误。
• 避免特殊值 / 哨兵值：不再需要依赖魔数或特殊值来表示失败或缺失，使得代码更清晰，并减少了潜在的逻辑错误。
• 避免不必要的指针和动态分配：对于可以栈上分配的对象，std::optional 可以直接在内部存储该对象，而不需要在堆上分配内存。这比返回指针更高效，也避免了指针管理的复杂性。
• 改善函数签名：函数签名能更清晰地表达其可能的返回结果。例如，std::optional<User> findUser(UserId id); 清晰地表明这个函数要么返回一个 User 对象，要么什么也不返回。
• 编译时提示：如果尝试直接访问一个可能为空的 std::optional 中的值（例如，不加检查地使用 operator* 或 operator->），并且它确实为空，通常会导致运行时异常（std::bad_optional_access），这比未定义行为要好得多。

std::optional 主要有以下成员函数和操作：

• 构造函数：
  • 默认构造函数：创建一个不包含值的 std::optional
  • std::optional(std::nullopt_t)：显式创建一个不包含值的 std::optional
  • std::optional(const T& value) 或 std::optional(T&& value)：创建一个包含给定值的 std::optional
  • 拷贝 / 移动构造函数
• 赋值操作符：
  • 可以赋值 std::nullopt 使其变为空
  • 可以赋值一个 T 类型的值使其包含该值
• has_value()（或 operator bool()）：检查是否包含值
• value()：返回所包含的值；如果为空，则抛出 std::bad_optional_access 异常
• operator*() 和 operator->()：解引用操作符，返回所含值的引用或指针；如果为空，行为是未定义的
• value_or(U&& default_value)：如果包含值，则返回该值；否则返回提供的默认值
• emplace(...)：在 std::optional 对象内部直接构造值，避免了拷贝或移动
• reset()：使 std::optional 对象变为空
• swap()：与另一个 std::optional 对象交换内容
• 单一操作（支持链式操作）：
  • and_then()：若存在包含值，则返回给定函数作用于该值的结果；否则返回一个空的 std::optional
  • transform()：返回一个包含转换后的 std::optional 类型的值（如果存在），否则返回空的 std::optional
  • or_else()：如果 std::optional 类型对象本身包含值，则返回其本身，否则返回给定函数的结果

#include <iostream>
#include <optional>
#include <string>

// 一个可能返回字符串的函数
std::optional<std::string> getName(bool giveName) {
    if (giveName) {
        return "Alice";      // 隐式转换为 std::optional<std::string>
    } else {
        return std::nullopt; // 表示没有值
    }
}

int main() {
    std::optional<std::string> name1 = getName(true);
    std::optional<std::string> name2 = getName(false);

    // 检查是否有值
    if (name1.has_value()) { // 或者直接 if (name1)
        std::cout << "Name 1: " << name1.value() << std::endl; // 安全访问
        // 也可以使用 *name1 或 name1-> (如果 T 是类/结构体)
        std::cout << "Name 1 (using *): " << *name1 << std::endl;
    } else {
        std::cout << "Name 1 is not available." << std::endl;
    }

    if (name2) { // 更简洁的检查方式
        // 这段代码不会执行
        std::cout << "Name 2: " << *name2 << std::endl;
    } else {
        std::cout << "Name 2 is not available." << std::endl;
    }

    // 使用 value_or 提供默认值
    std::cout << "Name 1 (or default): " << name1.value_or("Default Name") << std::endl;
    std::cout << "Name 2 (or default): " << name2.value_or("Default Name") << std::endl;

    // 尝试访问空 optional 的 value() 会抛出异常
    try {
        std::cout << "Trying to access name2.value(): " << name2.value() << std::endl;
    } catch (const std::bad_optional_access& e) {
        std::cerr << "Exception: " << e.what() << std::endl;
    }

    // std::optional 也可以包含非类类型
    std::optional<int> maybeInt;
    if (!maybeInt) {
        std::cout << "maybeInt is empty." << std::endl;
    }
    maybeInt = 42;
    if (maybeInt) {
        std::cout << "maybeInt has value: " << *maybeInt << std::endl;
    }

    return 0;
}

#include <iostream>
#include <optional>
#include <string>
#include <algorithm>

std::optional<std::string> to_upper_opt(const std::string& s) {
    if (s.empty()) return std::nullopt;
    std::string upper_s = s;
    std::transform(upper_s.begin(), upper_s.end(), upper_s.begin(), ::toupper);
    return upper_s;
}

int main() {
    std::optional<std::string> input_opt = "hello";

    auto result = input_opt
        .and_then(to_upper_opt)                 // 1. 如果有值且非空，转大写（返回 optional<string>）
        .transform([](const std::string& s) {   // 2. 如果有值，获取其长度（返回 optional<size_t>）
            std::cout << "  transform: Getting length of '" << s << "'" << std::endl;
            return s.length(); // lambda 表达式返回 size_t, transform 包装为 optional<size_t>
        })
        .or_else([]() -> std::optional<size_t> { // 3. 如果前面任一步骤导致空，则执行此步骤
            std::cout << "  or_else: Input was empty or processing failed, providing default length 0" << std::endl;
            return 0; // or_else 的 lambda 表达式必须返回 optional
        });

    if (result) {
        std::cout << "Final result (length or default): " << *result << std::endl;
    } else {
        // 理论上，由于 or_else 总会提供一个值（除非 or_else 本身返回 nullopt），这里不太会执行
        std::cout << "Final result is unexpectedly empty." << std::endl;
    }
    std::cout << "---" << std::endl;

    return 0;
}

使用 std::optional 有以下好处：

• 语义清晰：明确表达了“可能有，也可能没有”的语义
• 类型安全：强制使用者处理值不存在的情况，减少了因忘记检查而导致的错误
• 避免了空指针的许多问题：虽然 operator* 对空 optional 是未定义行为，但 value() 提供了安全的访问方式，并且 has_value() 鼓励检查
• 值语义：std::optional 本身是值类型，易于拷贝和传递
• 效率：通常比使用指针和动态分配更高效，特别是当 T 是小对象时

但使用时还要关注这些注意事项：

• 大小开销：std::optional<T> 的大小通常是 sizeof(T) 加上一个用于表示是否有值的布尔标记（可能还有对齐的填充字节，不过这个开销很小，可以忽略不计）
• 未定义行为：如果在不检查 has_value() 的情况下直接使用 operator* 或 operator-> 访问一个空的 std::optional，其行为是未定义的
  • 推荐使用 value()（会抛异常）或先检查再访问。
• 不适用于所有“可选”场景： 如果“没有值”是一种程序错误，应该抛出异常，而不是返回一个空的 std::optional；std::optional 更适合表示“预期中的缺失”
• 嵌套 std::optional： std::optional<std::optional<T>> 是合法的，但可能表示过于复杂的逻辑，需要仔细考虑其语义
• 与 C 风格 API 的交互：当与期望指针或特殊返回值的旧 API 交互时，可能需要一些转换代码

Structs⚓︎

结构体(struct) 本质上就是将多个具名变量绑定在一起，构成一个新类型。

struct zjuIDCard {
    string name;            
    string type;        
    int idNumber;
};

结构体初始化的两种方式：

zjuIDCard myCard;
myCard.name = "NoughtQ";
myCard.type = "Student";                    
myCard.idNumber = 3230100000;

zjuIDCard myCard = {"NoughtQ", "Student", 3230100000};

在 C++ 中，我们还能为结构体定义成员函数（方法）

struct zjuIDCard {
    string name;            
    string type;        
    int idNumber;

    void display() { 
        cout << "Name: " << name << "\nType: " << type 
             << "\nID: " << idNumber << endl;
    }
};

成员函数还可以在结构体外定义，但是要用到解析符 :: 指明对应的结构体：

struct zjuIDCard {
    string name;            
    string type;        
    int idNumber;

    void display();
};

void zjuIDCard::display() { 
    cout << "Name: " << name << "\nType: " << type 
            << "\nID: " << idNumber << endl;
}

到这里为止，我们得到的结构体已经具备了一个类该有的特征，那这涉及到后面的知识，我们之后再来介绍。

更多内容：struct 声明

std::pair⚓︎

对于只有两个字段的结构体，我们可以用 C++ 自带的 std::pair 类型来替代，使用起来更加方便！

struct Order {
    std::string item;
    int quantity;
};
Order dozen = { "Eggs", 12 };

std::pair<std::string, int> dozen { "Eggs", 12 };
std::string item = dozen.first;                             // "Eggs"
int quantity = dozen.second;                                // 12

严格地说，std::pair 不是一种类型，而是一种模板(template)（这一概念在之后会详细讲解）：

template <typename T1, typename T2>
struct pair {
    T1 first;
    T2 second;
};
std::pair<std::string, int>

不要忘记在使用 std::pair 前在程序开头加一句 #include <utility>

更多内容：std::pair

Namespace⚓︎

在大型程序中，不同模块可能会定义相同名字的变量或函数，比如 print()、data、init() 等。C++ 引入了命名空间(namespace) 的概念，将这些名称划分为多个组（即名称空间），以避免相同名称的冲突。常用到的运算符为作用域解析符(scope resolver) ::，用于指明具体的命名空间。

namespace A {
    void print() {
        std::cout << "A's print" << std::endl;
    }
}

namespace B {
    void print() {
        std::cout << "B's print" << std::endl;
    }
}

int main() {
    A::print();  // 调用 A 的 print
    B::print();  // 调用 B 的 print
    return 0;
}

A's print
B's print

• 命名空间的定义一般放在头文件内
• 命名空间可以嵌套。使用嵌套命名空间的成员时要按嵌套顺序指明命名空间，中间用 :: 间隔
• 若想使用命名空间的单个成员，可以用 using 语句引入，之后使用该成员时就无需加命名空间的前缀了
• 而想引入整个命名空间的话，那就用 using namespace xxx; 语句，该命名空间的所有成员在使用时都无绪添加前缀
  • 虽然很方便，但正如前面所说的，不推荐这样做；推荐的做法是使用 using 语句引入必要的成员
• 匿名命名空间：没有名称的命名空间，只能在定义该命名空间的文件内被使用

更多内容：Namespaces

std⚓︎

std 是我们最常用的命名空间，它为我们提供了 C++ 标准库的东西，包括一些内建类型、函数等等。

• 除去一些基本类型外，在使用内建类型前，需要用 #include 导入相关的头文件，比如：
  • #include <string> -> std::string
  • #include <utility> -> std::pair
  • #include <iostream> -> std::cout, std::endl

• std 里会存在这样的内容：

  namespace std {
      template 
      <typename T1, typename T2>
      struct pair {
          T1 first;
          T2 second;
      };
      // Other utility code...
  }
  

• 可以看到，在使用这些内建类型的时候，我们必须加上前缀 std::。

• 如果在程序开头使用语句 using namespace std; 的话，我们就没有加前缀的必要了。但这样做被认为是一种不良的程序设计，因为它会带来歧义，尤其是在有多个命名空间的情况。
• 更多内容：cppreference

Initialization⚓︎

初始化(initialization)：在构造对象时为对象提供初始值的过程。

由于读取未初始化的值会产生未定义的行为，因此无论知不知道 C++ 在什么情况下会为自动初始化，还是强烈建议手动初始化。

C++ 提供了以下几种初始化方式：

• 直接初始化(direct initialization)
• 统一初始化(uniform initialization)
• 结构化绑定(structured binding)

更多内容：Initialization

Direct Initialization⚓︎

#include <iostream>
int main() {
    int numOne = 12;
    int numTwo(12);
    std::cout << "numOne is: " << numOne << std::endl;
    std::cout << "numTwo is: " << numTwo << std::endl;
    return 0;
}

高亮的两行就是直接初始化的两种方式：

• 使用赋值号 =：和 C 语言一样
• 使用圆括号 ()：看起来像函数调用，类似创建自定义类对象的构造函数（但实际上内建类型并没有构造函数）

这种初始化方法有一种特性，叫做缩窄转换(narrowing conversion)——C++ 不会进行类型检查，而是尝试将初始化值隐式转换为指定的类型（比如：int num(42.5); -> num == 42），如果能成功转换的话就不会报错。

Uniform Initialization⚓︎

统一初始化是 C++11 标准引入的特性。

#include <iostream>
int main() {
    // Notice the brackets
    int numOne{12};
    std::cout << "numOne is: " << numOne << std::endl;
    return 0;
}

可以看到，统一初始化需要用到花括号 {}，此时 C++ 会进行类型检查且不支持类型转换。所以像 int num(42.5); 这句话就无法通过编译，报错信息类似：

test.cpp:5:13: error: type 'double' cannot be narrowed to 'int' in initializer list [-Wc++11-narrowing]
    5 |     int num{42.0};
      |             ^~~~
test.cpp:5:13: note: insert an explicit cast to silence this issue
    5 |     int num{42.0};
      |             ^~~~
      |             static_cast<int>( )

所以，统一初始化有以下优点：

• 安全(safe)：不允许缩窄转换，从而避免意外行为或致命系统错误的发生
• 泛用(ubiquitous)：作用于所有类型，包括 vector、map，以及自定义类等

std::map<std::string, int> ages{
    {"Alice", 25},
    {"Bob", 30},
    {"Charlie", 35}
};

std::vector<int> numbers{1, 2, 3, 4, 5};

Structured Binding⚓︎

结构化绑定是 C++17 引入的新特性：

• 它提供了一种在编译时从具有固定大小的数据结构中初始化一些变量的有用方法
• 具备同时访问函数返回的多个值的能力
• 能作用在编译时大小已知的对象上

结构化绑定的语法为：

auto [var1, var2, ..., varN] = expression;

std::tuple<std::string, std::string, std::string> getClassInfo() {
    std::string className = "CS106L";
    std::string buildingName = "Thornton 110";
    std::string language = "C++";
    return {className, buildingName, language};
}

int main() {
    auto [className, buildingName, language] = getClassInfo();
    std::cout << "Come to " << buildingName << " and join us for " << className
            << " to learn " << language << "!" << std::endl;
    return 0;
}

结构化绑定和 Python 的拆包(unpacking) 十分相似。

// 法 A：定义于循环外
Widget w;
for (int i = 0; i < n; ++i) {
    w = ...
    ...
}

// 法 B：定义于循环内
for (int i = 0; i < n; ++i) {
    Widget w(...);
    ...
}

Strings⚓︎

• C++ 中，字符串有专门的类，叫作 string
  • 在 C++ 中，强烈建议使用 string 类表示字符串，因为它是真正的字符串类型。而在 C 语言中实际上没有字符串类型，只是用字符数组和字符指针来模拟字符串，而且后者不太安全
  • C++ 字符串末尾没有 \0 字符。事实上，除了 C 语言外，其他语言都是将字符串本身及其长度存在内存中，因此不用 \0 标记结尾
• 使用 string 类时，必须在代码开头加上 #include <string>
• 定义字符串变量：string str;
  • 这样声明后，字符串 str 已经有确定的值了

• 使用字符串字面量初始化的三种方式：

  string str = "Hello";
  string str("Hello");
  string str{"Hello"};
  

  其中前两种方式是等价的，且这两种方式适用于其他类型（比如 int 等）

• 赋值：

  char char1[20];
  char char2[20] = "jaguar";
  string str1;
  string str2;
  char1 = char2;                // illegal
  str1 = str2;                  // legal
  

• 输入和输出

  • 可以直接用cin / cout读写

    cin >> str;
    cout << str;
    

  • 读取一整行字符串：getline(cin, line_var)

  注意

  如果 cin 之后用到 getline，由于 cin 忽略空白字符，输入流里可能还有未被读取的换行符，而 getline 将会读取一行字符串，直到遇到换行符。所以在使用 getline 前，应当先用 cin.get() 读取换行符（这个函数的功能是读取单个字符），然后再用 getline。

• 获取字符串的单个字符：可以像字符数组一样访问字符串

  string s = "Hello";
  s[0] = 'J';
  

• 字符串拼接 (concatenation)

  string str3;
  str3 = str1 + str2;
  str1 += str2;
  str1 += "lalala";
  

• 获取长度：s.length();

  • 在 C 中，. 运算符用于检索结构体内的成员
  • 而在 C++ 中，它又是作为一个检索对象成员的运算符
  小技巧

  如果 vscode 中下载了 C/C++ 插件，那么编写代码时在对象后敲个 . 后，vscode 就会显示该对象可用的所有成员。

• 创建字符串（使用构造函数）

  string(const char *cp, int len);
  string(const string& s2, int pos);
  string(const string& s2, int pos, int len);
  

• 获取子字符串：substr(int pos, int len);

• 改变字符串：

  // const 表示不可修改的变量
  insert(size_t pos, const string& s);
  // 从字符串中删除从 pos 位置开始，长度为 len 的子字符串
  erase(size_t pos = 0, size_t len = npos);
  append(const string& str);
  // 用字符串 str 替代原字符串中从 pos 位置，长为 len 的子字符串
  replace(size_t pos, size_t len, const string& str);  
  

• 寻找字符串

  • 该函数会返回找到的指定字符串首字符在原字符串中的索引，如果未找到，则返回 -1

  size_t find(const string& str, size_t pos = 0) const;
  

string s = "NoughtQ666";
string subs = s.substr(6, 3);

更多内容：std::basic_string

Pointers⚓︎

• 指向对象的指针

  string s = "hello";
  string* ps = &s;
  

• 指针运算符

  • &：获取地址（ps = &s;）
  • *：获取对象（(*ps).length()）
  • ->：调用函数（ps->length()）

• 对象和指针在声明时的区别

  • string s;：此时对象 s 被创建并被初始化
    • 但是像 int i; 这样的声明的变量不会被初始化
  • string *ps;：此时对象 ps 还不清楚指向何处

• 赋值

  string s1, s2;
  s1 = s2;
  string *ps1, *ps2;
  ps1 = ps2;
  

• nullptr（C++11 引入）：空指针常量，相比原有的空指针 NULL 更加安全且语义清晰。写 C++ 代码的时候强烈建议用这个表示空指针。

更多内容：pointer

Reference⚓︎

我们可以将引用(reference) 理解为：为一个已经存在的内存对象所创建的另一个名字，即别名(alias)。定义引用时，我们使用 & 符号。一旦一个引用被初始化并绑定到某个对象，它就和那个对象“绑定”了：对引用的任何操作，实际上都是直接作用于它所引用的原始对象。

int num = 5;
int& ref = num;                    // ref is an "alias" of num
ref = 10;                          // Assigning a new value through the reference
std::cout << num << std::endl;     // Output: 10

用图形化的方式表述上述语句：

Pass by Reference⚓︎

引用最常见的用途之一是在函数参数传递中，实现所谓的“按引用传递(pass by reference)”。这种方式允许函数直接修改传递给它的实参，而不是操作实参的一个副本。

#include <iostream>
#include <math.h>
// note the ampersand!
void squareN(int& n) {
    // calculates n to the power of 2
    n = std::pow(n, 2);
}

int main() {
    int num = 2;
    squareN(num);
    std::cout << num << std::endl;
    return 0;
}

正如示例所示，squareN 函数接收一个 int& 类型的参数。当调用 squareN(num) 时，函数内部的 n 成为了 main 函数中 num 的别名。因此 squareN 对 n 的修改直接作用于 num 上。

虽然通过传递指针也能实现函数内修改实参，但按引用传递通常：

• 更便捷：语法上更接近普通变量的操作，无需显式的解引用操作符（*）
• 更安全：
  • 引用在定义时必须被初始化，且不能绑定到 nullptr，减少了空指针异常的风险
  • 引用一旦绑定，就不能再重新绑定到其他对象，避免了指针可能被意外重指向的问题

Structured Binding and Reference⚓︎

当在 for 循环中使用结构化绑定来解包类似 std::pair 或 std::tuple 的元素时，需要考虑：我们是否希望修改原容器中的元素。考虑以下情况：

#include <iostream>
#include <vector>
#include <utility>

// 初始版本，尝试修改元素
void shift_buggy(std::vector<std::pair<int, int>>& nums) {
    // 这里的 auto [num1, num2] 默认创建的是 pair 中元素的副本
    for (auto [num1, num2] : nums) {
        num1++; // 修改的是副本 num1
        num2++; // 修改的是副本 num2
    }
    // nums 容器中的原始 pair 元素并未改变
}

调用该函数后，我们发现实参内的元素并没有像预期那样被修改，因为结构化绑定会绑定元素的副本，而不是元素本身，所以里面的内容没有任何改动。正确的做法是在 for 语句内部也要做一次引用，让 [num1, num2] 绑定的是 pair 的引用，这样对 num1 和 num2 的修改也能作用在传入的元素上了。

void shift_correct(std::vector<std::pair<int, int>>& nums) {
    // 使用 auto& 确保 [num1, num2] 绑定到原始 pair 内部成员的引用（间接）
    // 或者更准确地说，是 pair 的引用，然后 num1, num2 成为其成员的别名
    for (auto& pair_ref : nums) { // 首先获取对 vector 中每个 pair 元素的引用
        pair_ref.first++;
        pair_ref.second++;
    }
}

// 或者，如果编译器支持直接在结构化绑定中使用引用（C++17及之后更常见于此场景）：
void shift_structured_binding_ref(std::vector<std::pair<int, int>>& nums) {
    for (auto& [num1, num2] : nums) { // num1 和 num2 现在是原始 pair 成员的别名/引用
        num1++;
        num2++;
    }
}

void shift(std::vector<std::pair<int, int>> &nums) {
    for (size_t int i = 0; i < num.size(); i++) {
        nums[i].first++;
        nums[i].second++;
    }
}

L-Value and R-Value⚓︎

• 左值(lvalue)：
  • 指代那些在表达式求值后依然存在、拥有可识别的内存位置的对象
  • 可以出现在赋值操作符（=）的左侧（作为赋值目标）或右侧（作为值来源）
  • 例子：变量名、返回左值引用的函数调用、数组元素、解引用的指针、对象成员
• 右值(rvalue)：
  • 通常指代那些在表达式求值后不再持久存在的临时值或字面常量
  • 通常只能出现在赋值操作符的右侧
  • 例子：字面常量、算术表达式的结果、返回非引用类型的函数调用（其返回值是临时的）

int a = 4;                          
int& b = a;                         
vector<int> c = 11, 2, 33;          
int d = cl1;                        
int* e = &c|2!;                     
sizet f = c.size();                 
int g = static cast‹int>(f);       

int a = 4;                          // rvalue
int& b = a;                         // lvalue
vector<int> c = 11, 2, 33;          // rvalue
int d = cl1;                        // lvalue
int* e = &c|2!;                     // rvalue
sizet f = c.size();                 // rvalue
int g = static cast‹int>(f);        // lvalue

Left Value Reference⚓︎

我们通常所说的“引用”默认是指左值引用，用 T& 表示。

左值引用的核心规则为：非 const 的左值引用通常不能绑定到右值。因为右值是临时的，允许一个非 const 左值引用绑定到它，就可能意味着试图修改一个即将销失的临时对象，而这通常是没有意义的或危险的。

#include <stdio.h>
#include <cmath>
#include <iostream>

int squareN(int& num) {
    return std::pow(num, 2);
}

int main() {
    int lValue = 2;
    auto four = squareN(lValue);
    auto fourAgain = squareN(2);  // error!
    std::cout << four << std::endl;
    return 0;
}

高亮行中 squareN(2) 传递了右值 2，但该函数接收的是一个左值引用，因此在编译时会报错：

test.cpp:12:22: error: no matching function for call to 'squareN'
   12 |     auto fourAgain = squareN(2);  // error!
      |                      ^~~~~~~
test.cpp:5:5: note: candidate function not viable: expects an lvalue for 1st argument
    5 | int squareN(int& num) {
      |     ^       ~~~~~~~~
1 error generated.

左值引用的规则为：

• 必须初始化：引用在定义时就必须被初始化，明确它指代哪个对象；一旦初始化，它就和那个对象永久绑定

  int x = 10;
  int& ref = x;        // 正确
  // int& uninit_ref;  // 编译错误! 引用必须初始化
  

• 绑定不可更改：一个引用在初始化后，不能再被重新绑定到另一个不同的对象；它始终是其初始对象的别名

  int y = 20;
  ref = y;                        // 这不是重新绑定 ref 指向 y，而是将 y 的值赋给 ref 所引用的 x
  std::cout << x << std::endl;    // 输出 20
  

• 引用的目标必须有明确的内存位置：这意味着引用通常绑定到左值

  void func(int& param);
  int i = 5;
  // func(i * 3); // 错误或警告 (i*3 是右值)，除非 func 参数是 const int&
  

Right Value Reference⚓︎

为了支持移动语义(move semantics) 和完美转发 (perfect forwarding)，C++11 引入了右值引用，用 T&& 表示。其核心目的是：右值引用可以绑定到即将销毁的右值（临时对象），从而允许我们“窃取”这些临时对象的资源，而不是进行昂贵的拷贝操作。

基本用法：

int x = 20;                  // x 是一个左值
// int&& rr_error = x;       // 编译错误: 右值引用不能直接绑定到左值

int&& rr1 = 10;              // 正确: 10 是一个右值（字面常量）
int&& rr2 = x * 2;           // 正确: x * 2 的结果是一个右值（临时表达式结果）
                             // rr1 和 rr2 现在延长了这些临时右值的生命周期

// std::move 的作用：将左值无条件转换为右值引用类型，常用于“窃取”资源
int&& rr3 = std::move(x);    // 正确: std::move(x) 将左值 x 转换为右值引用类型
                             // 注意：此时 x 的状态可能变得不确定，不应再依赖其原有值

rr1 = 100;                   // 重要：一旦右值引用被初始化并拥有了名字 (如 rr1, rr2)，
                             // 这个具名的右值引用本身就成了一个左值！因此可以被赋值。
int y = rr1 + 2;             // 可以像普通变量一样使用它

右值引用使得我们可以根据参数是左值还是右值来重载函数，这对于实现移动语义至关重要。

#include <iostream>

void func_for_refs(int& lref) { // 版本1: 接受左值引用
    std::cout << "调用 func_for_refs(int&): 参数是左值" << std::endl;
}

void func_for_refs(int&& rref) { // 版本2: 接受右值引用
    std::cout << "调用 func_for_refs(int&&): 参数是右值" << std::endl;
    // 在函数内部，具名参数 rref 本身是一个左值
    // 如果要将其作为右值传递给其他函数，需要使用 std::move(rref)
}

int main() {
    int var = 10;
    func_for_refs(var);     // 调用版本1 (参数 var 是左值) -> 输出: 调用 func_for_refs(int&): 参数是左值
    func_for_refs(20);      // 调用版本2 (参数 20 是右值) -> 输出: 调用 func_for_refs(int&&): 参数是右值
    func_for_refs(std::move(var)); // 调用版本2 (std::move(var) 将 var 转为右值引用类型)
                                // -> 输出: 调用 func_for_refs(int&&): 参数是右值
    return 0;
}

更多内容：Reference declaration

Dynamically Allocated Memory⚓︎

• new：为运行时程序分配内存空间，并且在该内存上调用一个或多个构造函数

  • 指针是唯一能够访问这种内存空间的途径

  new int;
  new Stash;
  new int[10];
  

• delete：先在内存空间上调用一个或多个析构函数，然后释放内存

  delete p;
  delete[] p;
  

• {} 用于向使用 new 生成的对象传递初始值

动态数组：

int * psome = new int [10];
delete[] psome;

• new 运算符返回数组中第一个元素的地址
• 方括号的存在告诉程序需要释放整个数组的内存空间，而不是一个元素

new 和 delete 的搭配：

int *p = new int;
int *a = new int[10];
Student *q = new Student();
Student *r = new Student[10];
delete p;
a++;
delete[] a;
delete q;
delete r;
delete[] r;

更多内容：

• new expression
• delete expression

Build Automation Tools⚓︎

GNU Make and Makefile⚓︎

make 就是一个帮你自动化这个过程的工具。它读取一个名为 Makefile 的特殊文件，这个文件告诉 make 如何编译 C++ 项目。

而 Makefile 本质上是一系列规则，每条规则包含：

• 目标(target): 通常是我们想要生成的文件，比如可执行程序或对象文件（.o）
• 依赖(dependencies): 生成目标所需要的文件
  • 如果任何依赖文件比目标文件新，make 就会执行这条规则
• 命令(commands): 生成目标的具体指令，通常是编译器命令
  • 注意：命令前必须是 Tab 字符，而不是空格！

# 编译器变量（可选，但推荐使用）
CXX = g++
CXXFLAGS = -Wall -std=c++17 # 编译选项

# 目标：my_program
my_program: main.o functions.o
    $(CXX) $(CXXFLAGS) main.o functions.o -o my_program

# 目标：main.o（对象文件）
main.o: main.cpp functions.h
    $(CXX) $(CXXFLAGS) -c main.cpp -o main.o

# 目标：functions.o（对象文件）
functions.o: functions.cpp functions.h
    $(CXX) $(CXXFLAGS) -c functions.cpp -o functions.o

# clean 规则（可选，用于清理生成的文件）
clean:
    rm -f my_program main.o functions.o

使用 make 时可遵循以下步骤：

1. 创建 Makefile： 在项目根目录下创建名为 Makefile 的文件，并写入上述规则。
2. 执行 make：在终端中，进入项目根目录，然后输入：
   • make 或 make my_program
     • （如果 my_program 是第一个目标，可以直接用 make）
     • make 会检查依赖关系，只重新编译必要的部分
   • make clean
     • 执行 clean 规则，删除生成的文件

make 有以下优点：

• 增量编译：只重新编译修改过的文件及其依赖项，节省时间
• 自动化：一条命令完成整个编译过程
• 定义规则：清晰地描述项目如何构建

拓展阅读：GNU Autotools: a tutorial

CMake⚓︎

CMake 是一个跨平台的构建、测试和打包工具。它并不会直接编译 C++ 代码，而是生成特定构建系统（比如 Makefile，或者 Visual Studio 的项目文件等）所需的配置文件。

CMake 通过读取一个名为 CMakeLists.txt 的文件来了解项目内容。这个文件使用 CMake 特有的命令语言编写，具体可见下面的例子：

# 最低 CMake 版本要求
cmake_minimum_required(VERSION 3.10)

# 项目名称
project(MyAwesomeProject)

# 设置 C++ 标准（可选）
set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED True)

# 添加可执行文件目标
# add_executable(<可执行文件名> <源文件1> <源文件2> ...)
add_executable(my_program main.cpp functions.cpp)

# 如果有头文件目录需要指定（虽然这个简单例子不太需要，但在实际项目中可能会经常用到）
# include_directories(include)

# 如果有库需要链接（同样，这个例子也不太需要——
# target_link_libraries(my_program some_library)

使用 CMake 时遵循以下步骤：

1. 创建 CMakeLists.txt： 在项目根目录下创建名为 CMakeLists.txt 的文件。

2. 创建构建目录：在项目根目录下，创建一个新的目录用来存放构建生成的文件（通常命名为 build）。

   mkdir build
   cd build
   

3. 运行 cmake 生成构建文件： 在 build 目录中，运行 cmake 命令，并指向包含 CMakeLists.txt 的上级目录。

   cmake ..
   

   这会在 build 目录下生成 Makefile（或其他平台的构建文件）。

4. 运行 make（或其他构建工具）：仍然在 build 目录中，现在可以使用 make（或其他由 CMake 生成的构建系统对应的命令）来编译你的项目了。

   make
   

   可执行文件 my_program 会生成在 build 目录中。

CMake 的核心优势有：

• 跨平台：同一个 CMakeLists.txt 可以在不同操作系统和编译器上生成相应的构建文件
• 更高级的抽象：相比直接写 Makefile，使用 CMake 能更容易地管理复杂的项目、依赖库和编译选项
• 自动查找依赖：CMake 可以帮助我们查找和配置外部库
• 广泛支持：许多流行的 C++ 库和项目都使用 CMake

推荐阅读：CMake in Visual Studio

Miscellaneous⚓︎

Getting Rid of #define from Your Code⚓︎

我们知道，#define 最主要的作用有 2 个：

• 作为常量(constants)
• 宏(macro) 定义

先考虑第 1 个作用——由于预处理器(preprocessor) 可能在编译前就将 #define 定义的记号名移除掉，用具体值替代，因此该记号在编译时就没有进入到符号表(symbol table) 内。此时，在使用这个常量时发生编译错误的话，报错消息只会提到这个具体值，而不包括记号名，这显然给我们的 debug 带来一些麻烦。当然，这个麻烦甚至可能也会影响到调试器的使用。

在 C++ 中，我们强烈建议使用 const 表示常量。它除了不会出现上面的问题外，还可能在编译时产生更少的目标码，因为预处理器可能会多次替换出现过的记号，不管这种替换是否符合上下文（它不在乎作用域 (scope) 等限制）；而 const 不可能会出现这种情况。

再来看第 2 个作用。宏看起来像函数，但使用宏并不是在调用函数，因而能够减小开销。但在书写宏的时候，我们需要谨慎地为所有实参加圆括号（比如：#define MAX(a, b) f((a) > (b)) ? (a) : (b)）。但即便如此，我们还是无法避免以下 bug：

int a = 5, b = 0;
MAX(++a, b);            // a 被累加 2 次
MAX(++a, b + 10);       // a 被累加 1 次

在 C++ 中，我们可以用模板内联函数(template inlining function) 来替代这种宏。对于上面的例子，我们可以改写成以下等价形式：

template<typename T>
inline const T MAX(const T& a, const T& b) {
    return a > b ? a : b;
}

通过上述替换（使用 const、enum、inline 替换 define），我们对预处理器的需求降低了。但像 #include 还是不可或缺的，而ifdef / ifndef也还是会经常用到的。

Some Useful Rules⚓︎

• 80-20 经验法则：平均而言，一个程序往往将 80% 的执行时间花费在 20% 的代码上。

评论区