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> vec = {1, 2, 3, 4, 5};

    // 使用 ranges::views 进行过滤和转换
    auto even_squares = vec | std::views::filter([](int n) { return n % 2 == 0; })
                        | std::views::transform([](int n) { return n * n; });

    std::cout << "Even squares: ";
    for (auto num : even_squares) {
        std::cout << num << " ";
    }
    std::cout << std::endl;

    // 使用 Concepts 检查类型是否可加
    print_sum(5, 10);
    print_sum(3.14, 2.86);

    return 0;
}

解释说明：

1. Concepts：

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

2. Ranges：

   • std::views::filter 和 std::views::transform 是 C++20 中引入的范围库的一部分，用于对容器进行高效的管道式操作。
   • 在这个例子中，我们首先过滤出偶数，然后将它们平方，最后打印结果。

这段代码展示了 C++20 中两个重要的新特性：Concepts 和 Ranges，它们使得代码更加简洁、安全和高效。