c++20高级编程

// C++20 高级编程示例代码：使用 Concepts 和 Ranges 库

#include <iostream>
#include <vector>
#include <ranges>
#include <concepts>

// 使用 Concepts 定义一个可加类型的概念
template<typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as<T>;
};

// 一个简单的函数模板，利用 Concepts 进行约束
void print_sum(Addable auto a, Addable auto b) {
    std::cout << "Sum: " << (a + b) << std::endl;
}

int main() {
    // 使用 Ranges 库进行范围操作
    std::vector<int> numbers = {1, 2, 3, 4, 5};

    // 使用 ranges::views::filter 和 ranges::actions::transform
    auto even_numbers = numbers | std::views::filter([](int n) { return n % 2 == 0; })
                        | std::views::transform([](int n) { return n * 2; });

    std::cout << "Even numbers doubled: ";
    for (auto num : even_numbers) {
        std::cout << num << " ";
    }
    std::cout << std::endl;

    // 调用带有 Concepts 约束的函数
    print_sum(10, 20);
    print_sum(3.5, 4.7);

    return 0;
}

解释说明：

1. Concepts:

   • Addable 是一个概念（concept），它定义了一个类型 T 必须支持 + 操作，并且返回值必须与 T 类型相同。
   • print_sum 函数使用了 Addable 概念来约束其参数类型，确保传入的参数支持加法操作。

2. Ranges:

   • std::ranges 是 C++20 引入的新库，提供了更强大的迭代器和算法组合功能。
   • 在 main 函数中，我们使用了 std::views::filter 和 std::views::transform 来创建一个管道（pipeline），对 numbers 向量中的元素进行过滤和转换。
   • even_numbers 是一个视图（view），它不会立即执行计算，而是延迟到遍历时才进行计算。

通过这段代码，展示了 C++20 中两个重要的特性：Concepts 和 Ranges。