C++ 的范式之旅：一种语言，无限可能
C++ 是一种多范式编程语言，支持多种编程范式，通过这些范式，C++ 提供了极大的灵活性，允许开发者根据具体的问题和需求选择最合适的编程风格。多范式的支持也是 C++ 复杂性的来源之一。
除了最后关于模块的代码示例，因为要分开两个文件，需要你有支持 C++ 20 的编译器才能编译，其他示例都可以拷贝到这个网站直接运行。
1. 过程式编程（Procedural Programming）
这是 C 程序员熟悉的一种方式，C++ 作为 C 的超集，完全支持过程式编程。这种范式强调使用函数或过程来操作数据。
过程式编程通常关注于编写一系列步骤或函数调用来执行任务，这里用冒泡排序演示过程式编程：
#include
#include
// 冒泡排序函数
void bubbleSort(std::vector& arr) {
int n = arr.size();
for (int i = 0; i < n - 1; i++) {
for (int j = 0; j < n - i - 1; j++) {
if (arr[j] > arr[j + 1]) {
// 交换 arr[j] 和 arr[j+1]
std::swap(arr[j], arr[j + 1]);
}
}
}
}
// 主函数
int main() {
std::vector arr = {64, 34, 25, 12, 22, 11, 90};
std::cout << "Original array: ";
for (int i : arr) {
std::cout << i << " ";
}
std::cout << "\n";
bubbleSort(arr);
std::cout << "Sorted array: ";
for (int i : arr) {
std::cout << i << " ";
}
std::cout << "\n";
return 0;
}
输出
Original array: 64 34 25 12 22 11 90
Sorted array: 11 12 22 25 34 64 90
2. 面向对象编程（Object-Oriented Programming, OOP）
C++ 提供了类、继承、多态、封装等面向对象编程的核心特性。面向对象编程强调数据和操作数据的函数（方法）的封装。
我用一个简单的 Rectangle 类来展示类的基本概念，如封装、构造函数和成员函数。
#include
// Rectangle 类的定义
class Rectangle {
public:
// 构造函数
Rectangle(double width, double height) : width_(width), height_(height) {}
// 成员函数，用于计算矩形的面积
double area() const {
return width_ * height_;
}
// 成员函数，用于计算矩形的周长
double perimeter() const {
return 2 * (width_ + height_);
}
private:
// 私有成员变量
double width_;
double height_;
};
// 主函数
int main() {
Rectangle rect(10, 5);
std::cout << "Rectangle area: " << rect.area() << std::endl;
std::cout << "Rectangle perimeter: " << rect.perimeter() << std::endl;
return 0;
}
输出
Rectangle area: 50
Rectangle perimeter: 30
在这个示例中：
-
定义了一个名为 Rectangle 的类，它代表了一个矩形。
-
Rectangle 类有两个私有成员变量：width_ 和 height_，它们分别表示矩形的宽度和高度。
-
类还有一个公共的构造函数，它接收宽度和高度作为参数，并初始化相应的成员变量。
-
类中还定义了两个成员函数 area 和 perimeter，分别用于计算矩形的面积和周长。
-
在 main 函数中，创建了一个 Rectangle 对象，并使用它来调用 area 和 perimeter 函数，打印结果。
这个示例展示了面向对象编程的一些核心概念，如类的定义、封装、构造函数和成员函数的使用。
3. 泛型编程（Generic Programming）
C++ 的模板提供了强大的泛型编程支持，允许编写与数据类型无关的代码。STL（Standard Template Library）是泛型编程的一个典型例子。
这里有一个简单的 C++ 泛型编程示例，展示了如何使用模板来创建一个可以处理多种数据类型的函数。这个示例中的函数 max 能够比较两个任意类型的值，并返回较大的那个值。
#include
// 泛型函数模板
template
T max(T a, T b) {
return a > b ? a : b;
}
int main() {
// 使用 int 类型
int i1 = 5, i2 = 10;
std::cout << "Max(int): " << max(i1, i2) << std::endl;
// 使用 double 类型
double d1 = 3.5, d2 = 2.5;
std::cout << "Max(double): " << max(d1, d2) << std::endl;
// 使用 char 类型
char c1 = 'g', c2 = 'e';
std::cout << "Max(char): " << max(c1, c2) << std::endl;
return 0;
}
输出
Max(int): 10
Max(double): 3.5
Max(char): g
在这个例子中：
-
定义了一个泛型函数 max，它使用一个模板参数 T 来适应不同的数据类型。
-
在 main 函数中，我们演示了如何使用不同类型的参数（int、double 和 char）来调用这个泛型函数。
这个简单的例子展示了泛型编程如何通过减少重复代码来增强代码的可重用性和灵活性。
4. 函数式编程（Functional Programming）
虽然 C++ 不是一种纯函数式编程语言，但它支持一些函数式编程特性，如匿名函数（lambda 表达式）、常量表达式（constexpr）、以及对不可变数据的操作。
C++ 中实现函数式编程的一个关键特性是 Lambda 表达式。Lambda 表达式允许创建匿名函数，这对于实现高阶函数和其他函数式编程技术非常有用。以下是一个使用 Lambda 表达式和 STL 算法的示例，它展示了如何以函数式风格来处理和变换数据集合，这种方式也被认为是更加符合 Modern C++ 的一种实现方式：
#include
#include
#include
#include
int main() {
std::vector numbers = {1, 2, 3, 4, 5};
// 使用 Lambda 表达式和 std::transform 对每个元素进行操作
std::vector squared;
std::transform(numbers.begin(), numbers.end(), std::back_inserter(squared),
[](int x) { return x * x; });
// 使用 Lambda 表达式和 std::for_each 输出每个元素
std::cout << "Squared numbers: ";
std::for_each(squared.begin(), squared.end(),
[](int x) { std::cout << x << " "; });
std::cout << std::endl;
// 使用 Lambda 表达式和 std::accumulate 计算总和
int sum = std::accumulate(squared.begin(), squared.end(), 0,
[](int total, int x) { return total + x; });
std::cout << "Sum of squared numbers: " << sum << std::endl;
return 0;
}
在这个示例中：
-
创建了一个 int 类型的 std::vector，并初始化了一些数值。
-
使用 std::transform 和一个 Lambda 表达式，将每个元素的平方存储在另一个 std::vector 中。
-
接着，使用 std::for_each 和另一个 Lambda 表达式，输出了平方后的元素。
-
最后，使用 std::accumulate 和一个 Lambda 表达式来计算平方数的总和。
这个例子展示了 C++ 函数式编程的一些常用技巧，包括使用 Lambda 表达式和 STL 算法来处理集合。
5. 并发编程（Concurrent Programming）
C++11 和后续版本增加了对多线程编程的支持，包括线程、互斥锁、条件变量、原子操作等并发编程特性。
#include
#include
#include
// 一个简单的函数，模拟耗时操作
void doWork(int id) {
std::cout << "Thread " << id << " is working...\n";
}
int main() {
std::vector threads;
// 创建并启动两个工作线程
for (int i = 0; i < 2; ++i) {
threads.push_back(std::thread(doWork, i));
}
// 等待所有线程完成工作
for (auto& th : threads) {
th.join();
}
std::cout << "All threads finished." << std::endl;
return 0;
}
输出
Thread 0 is working...
Thread 1 is working...
All threads finished.
在这个示例中：
-
定义了一个名为 doWork 的函数，它接受一个整数参数 id 并打印一条消息。
-
在 main 函数中，创建了一个 std::vector 来存储 std::thread 对象。使用一个循环，创建了两个线程，每个线程都调用 doWork 函数，并传递一个唯一的 id。
-
使用 std::thread::join，我们等待所有线程完成它们的任务。
这个示例展示了 C++11 引入的线程库的基本使用方法，包括创建线程、传递参数给线程函数，以及等待线程完成。实际的并发编程比单线程编程复杂得多，涉及到同步、死锁、竞态条件等复杂问题。
6.元编程（Metaprogramming）
C++ 的模板元编程允许在编译时执行代码，这是一种在程序编译阶段进行计算和代码生成的技术。
这里有一个 C++ 模板元编程的示例，演示了如何在编译时计算阶乘。
#include
// 计算阶乘的元函数
template
struct Factorial {
static const unsigned int value = n * Factorial::value;
};
// 递归终止条件的特化
template <>
struct Factorial<0> {
static const unsigned int value = 1;
};
int main() {
std::cout << "Factorial of 5: " << Factorial<5>::value << std::endl; // 输出 120
std::cout << "Factorial of 10: " << Factorial<10>::value << std::endl; // 输出 3628800
return 0;
}
输出：
Factorial of 5: 120
Factorial of 10: 3628800
在这个示例中：
-
Factorial 是一个模板元函数，使用模板参数 n 来计算阶乘。
-
对 Factorial的递归调用持续进行，直到它达到 Factorial<0> 的特化，这时递归终止。
-
Factorial<0> 的特化定义了阶乘递归的基本情况，即 0! 等于 1。
-
在 main 函数中，我们调用 Factorial<5>::value 和 Factorial<10>::value，这些值是在编译时计算出来的。
这个例子展示了模板元编程的一个基本应用，它在编译时执行计算，可以用于生成编译时常量、优化性能等。
还有一个差不多的例子，计算斐波那契数列，这里的关键是确定递归终止条件。如果感兴趣的话，可以仿照上面示例代码自己写一下实现。
7. 模块化编程（Modular Programming）
C++20 引入了模块的概念，旨在取代传统的头文件和源文件分离的方式，提高了代码的模块化和封装性。不过，目前并非所有的编译器都完全支持这一特性。
下面是一个简单的 C++ 模块化编程示例。
假设有一个模块 math，它提供了一些基本的数学函数。
首先，我们创建一个模块接口文件 math.cpp：
// math.cpp
export module math;
export int add(int a, int b) {
return a + b;
}
export int subtract(int a, int b) {
return a - b;
}
然后，我们可以在主程序中导入并使用这个模块：
// main.cpp
import math;
#include
int main() {
std::cout << "3 + 4 = " << add(3, 4) << std::endl;
std::cout << "3 - 4 = " << subtract(3, 4) << std::endl;
return 0;
}
输出
3 + 4 = 7
3 - 4 = -1
这个示例中：
-
math.cpp 定义了一个模块 math，它导出了两个函数：add 和 subtract。
-
在 main.cpp 中，通过 import math; 语句导入了 math 模块。
-
然后，我们就可以像使用常规函数那样使用 add 和 subtract 函数了。
编译的时候唯一需要注意的是要加上 -fmodules-ts 选项。我这里用的是阿里云服务器，操作系统 Ubuntu 20.04，g++ 13.1.0。
g++ -fmodules-ts math.cpp main.cpp -o test
模块是我一直比较期待的特性之一，有了模块，C++ 终于能像 Java 和 Python 一样，只需要 import 就能使用函数，同时极大得加快了编译速度。
总结
本文通过几个简单的示例，让你领略 C++ 多范式编程的美妙，也是因为简单，未能体现其强大的一面，之后我会通过更多的文章详细介绍相关内容。
C++ 是公认比较难学的编程语言之一，支持多范式是 C++ 复杂性的来源之一，其他原因包括：向后兼容性，性能要求（零抽象）、模板和元编程等等。总的来说，C++ 的复杂性是其强大功能和灵活性的直接结果。虽然这使得学习和精通它变得更具挑战性，但同时也使得它成为了解决各种复杂问题的强有力工具。
近年来陆续出现了很多编程语言，誓要取代 C++，但是 C++ 始终不动如山。C++ 每三年的一个版本更新，吸收了其他语言的优良特性，为这门古老的语言增加了活力，也使 C++ 成为程序员可以长久使用的语言之一。