C++ 20的条件判断语句的增强

C++20 引入了一些新的特性和改进，使得条件判断语句更加灵活和强大。以下是一些主要的增强：

1. 三元运算符的改进

C++20 允许在三元运算符 ?: 中使用更复杂的表达式，并且引入了新的语法来简化某些情况。例如，可以使用括号来明确表达式的优先级，避免一些潜在的歧义。

auto result = (condition) ? value_if_true : value_if_false;

2. `std::ranges::views::filter`

C++20 引入了范围库（Ranges Library），其中 std::ranges::views::filter 可以用来对范围进行条件过滤，类似于 SQL 中的 WHERE 子句。

#include <iostream>
#include <vector>
#include <ranges>int main() {std::vector<int> numbers = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};auto even_numbers = numbers | std::ranges::views::filter([](int n) { return n % 2 == 0; });for (int n : even_numbers) {std::cout << n << ' ';}return 0;
}

3. `if constexpr`

C++17 引入了 if constexpr，但它在 C++20 中仍然是一个重要的特性，因为它允许在编译时进行条件判断，从而生成更高效的代码。

#include <iostream>
#include <type_traits>template<typename T>
void print_type() {if constexpr (std::is_integral<T>::value) {std::cout << "Integral type\n";} else if constexpr (std::is_floating_point<T>::value) {std::cout << "Floating point type\n";} else {std::cout << "Other type\n";}
}int main() {print_type<int>();print_type<double>();print_type<std::string>();return 0;
}

4. `std::jthrow_with_nested`

虽然这不是直接用于条件判断，但 std::jthrow_with_nested 允许在抛出异常时捕获并嵌套当前异常，这在处理复杂条件时可能会很有用。

#include <iostream>
#include <exception>
#include <stdexcept>void function_that_throws() {try {throw std::runtime_error("Initial error");} catch (...) {std::jthrow_with_nested(std::logic_error("Nested error"));}
}int main() {try {function_that_throws();} catch (const std::exception& e) {std::cerr << "Caught exception: " << e.what() << '\n';try {std::rethrow_if_nested(e);} catch (const std::exception& nested) {std::cerr << "Nested exception: " << nested.what() << '\n';}}return 0;
}

5. `std::span`

std::span 提供了一种轻量级的视图，可以安全地引用数组或容器的一部分，而不需要复制数据。它也可以用于条件判断，例如检查某个范围内的元素是否满足特定条件。

#include <iostream>
#include <vector>
#include <span>bool all_even(std::span<const int> numbers) {for (int n : numbers) {if (n % 2 != 0) {return false;}}return true;
}int main() {std::vector<int> numbers = {2, 4, 6, 8, 10};if (all_even(numbers)) {std::cout << "All numbers are even.\n";} else {std::cout << "Not all numbers are even.\n";}return 0;
}