C++17 核心特性的代码示例

 一. C++17 核心特性

C++17相对于C++14确实有不少新特性，可能得分成几个大类来总结，比如语言核心、标准库、其他改进等。

首先想到的是结构化绑定，这在C++17中引入，允许用auto声明多个变量来绑定到元组或结构体的成员。还有类模板参数推导，比如可以直接写pair p(1, 2.0)而不用指定模板参数。然后是if和switch的初始化语句，比如if (int x = f(); x > 0)这样的语法，这在C++17之前是不允许的。

内联变量也是一个重要的点，允许在头文件中定义变量而不用担心重复定义的问题。折叠表达式用于可变参数模板，简化了递归展开，比如用( args + ... )这样的写法。constexpr lambda应该是C++17的新特性，允许lambda在编译期使用。

标准库方面，文件系统库肯定是重点，比如std::filesystem的加入。还有std::optional、std::variant、std::any这些新类型，以及string_view这样的非拥有字符串视图。并行算法也是C++17的亮点，比如std::execution::par作为执行策略。

另外，可能还要提到一些移除的特性，比如auto_ptr在C++17中被删除了，还有旧有的随机数生成器接口被废弃。还有像嵌套命名空间定义简化，比如namespace A::B代替namespace A { namespace B {}}，这也是C++17的改进。

需要注意用户可能是从C++14升级到C++17，所以需要明确每个特性的用途和好处，以及可能影响代码兼容性的地方。比如auto_ptr的移除可能会导致旧代码需要调整。另外，像文件系统库的加入可能对处理文件操作有帮助，并行算法对性能的提升也是重点。

可能用户是开发者，想了解升级后的优势，或者是在项目中选择合适的C++版本。需要确保回答的结构清晰，分点列出，便于阅读。同时，应避免过于技术化的术语，用例子说明会让理解更容易。比如用具体的代码示例展示结构化绑定或类模板推导如何简化代码。

还要检查是否有遗漏的重要特性，比如[[nodiscard]]属性，或者if constexpr，虽然if constexpr可能属于模板相关的内容。确保覆盖主要的变化点，让用户有一个全面的了解。

以下为C++17 核心特性的代码示例：
 

1. 结构化绑定 (Structured Bindings)

#include <tuple>
#include <iostream>

int main() {
    std::tuple<int, double, std::string> data(42, 3.14, "Hello");
    auto [a, b, c] = data; // 解包元组到变量
    std::cout << a << ", " << b << ", " << c << std::endl; // 输出: 42, 3.14, Hello
}

2. 类模板参数推导 (CTAD)

#include <vector>
#include <tuple>

int main() {
    std::vector v{1, 2, 3};       // 自动推导为 vector<int>
    std::pair p(5, 3.14);         // 推导为 pair<int, double>
    std::tuple t(1, "test", 4.5); // 推导为 tuple<int, const char*, double>
}

3. if 和 switch 的初始化语句

#include <iostream>

int main() {
    if (int x = 10; x > 5) { // 初始化变量 x
        std::cout << "x is greater than 5: " << x << std::endl;
    }

    switch (int val = 2; val) { // 初始化变量 val
        case 1: break;
        case 2: std::cout << "val is 2" << std::endl; break;
    }
}

4. 折叠表达式 (Fold Expressions)

#include <iostream>

template<typename... Args>
auto sum(Args... args) {
    return (... + args); // 展开为 ((a + b) + c) + ...
}

int main() {
    std::cout << sum(1, 2, 3, 4) << std::endl; // 输出: 10
}

5. if constexpr 编译期条件

#include <iostream>
#include <type_traits>

template<typename T>
void print_type(T val) {
    if constexpr (std::is_integral_v<T>) {
        std::cout << "Integral type: " << val << std::endl;
    } else {
        std::cout << "Non-integral type: " << val << std::endl;
    }
}

int main() {
    print_type(42);      // 输出: Integral type: 42
    print_type(3.14);    // 输出: Non-integral type: 3.14
}

6. 内联变量 (Inline Variables)

// 在头文件 header.h 中定义全局变量
inline int global_counter = 0; // 允许多次包含该头文件

7. std::filesystem 文件系统库

#include <filesystem>
#include <iostream>

int main() {
    namespace fs = std::filesystem;
    fs::path p = "test.txt";
    
    if (fs::exists(p)) {
        std::cout << "File size: " << fs::file_size(p) << " bytes" << std::endl;
    } else {
        fs::create_directory("data");
        std::ofstream file(p); // 创建文件
    }
}

8. std::optional

#include <optional>
#include <iostream>

std::optional<int> find(int key) {
    if (key == 42) return 100; // 找到时返回值
    return std::nullopt;        // 未找到时返回空
}

int main() {
    auto result = find(42);
    if (result.has_value()) {
        std::cout << "Value: " << *result << std::endl; // 输出: Value: 100
    }
}

9. std::variant 和 std::any

#include <variant>
#include <any>
#include <iostream>

int main() {
    std::variant<int, double, std::string> v = "Hello"; // 类型安全的联合体
    std::cout << std::get<std::string>(v) << std::endl; // 输出: Hello

    std::any a = 3.14; // 存储任意类型
    std::cout << std::any_cast<double>(a) << std::endl; // 输出: 3.14
}

10. std::string_view

#include <string_view>
#include <iostream>

void print(std::string_view sv) {
    std::cout << sv << std::endl; // 避免拷贝长字符串
}

int main() {
    std::string long_str = "This is a very long string...";
    print(long_str); // 传递视图而非拷贝
}

11. 并行算法

#include <vector>
#include <algorithm>
#include <execution>

int main() {
    std::vector<int> data = {5, 3, 2, 4, 1};
    std::sort(std::execution::par, data.begin(), data.end()); // 并行排序
    // 输出: 1 2 3 4 5
}

​12. 嵌套命名空间简化

namespace A::B::C { // 等价于 namespace A { namespace B { namespace C {
    void func() {}
}}

int main() {
    A::B::C::func();
}

​13. 属性标签

[[nodiscard]] int compute() { return 42; } // 必须处理返回值

int main() {
    compute(); // 编译器警告：返回值未使用
    // 正确用法：int result = compute();
}

14. __has_include 预处理宏

#if __has_include(<optional>)
    #include <optional>
    #define HAS_OPTIONAL 1
#else
    #define HAS_OPTIONAL 0
#endif

int main() {
    static_assert(HAS_OPTIONAL == 1, "Optional header missing!");
}

  二.兼容性注意事项

• ​删除 register 关键字：C++17 移除了 register 关键字。
• ​**throw 动态异常规范**：C++17 废弃动态异常规范（如 void func() throw(int)），改用 noexcept。