C++17 新特性

Fri, 17 Jul 2026 00:00:00 +0000

C++17 是一个大版本，引入了很多实用特性，被称为「最舒服的 C++ 版本」。

1 一、结构化绑定（Structured Bindings）⭐

最常用的特性之一，一键解包 tuple/struct/数组：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15


// 解包 pair
std::pair<int, std::string> getPerson() { return {25, "Tom"}; }
auto [age, name] = getPerson();

// 解包 tuple
auto [a, b, c] = std::make_tuple(1, 2.5, "hello");

// 解包 struct
struct Point { int x; int y; };
Point p{10, 20};
auto [x, y] = p;

// 解包数组
int arr[] = {1, 2, 3};
auto [a, b, c] = arr;

结合 map 遍历超好用：

1
2
3
4


std::map<int, std::string> m = {{1, "a"}, {2, "b"}};
for (const auto& [key, value] : m) {
    std::cout << key << ": " << value << std::endl;
}

实战（Q347 前 K 个高频元素）：

1
2
3
4
5
6
7
8
9


// 传统写法：p.first / p.second 访问键值对
for (auto& p : u_map) {
    vec.push_back({p.second, p.first});   // p.first 是数字，p.second 是次数
}

// 结构化绑定写法：一行解包，见名知意
for (auto& [num, cnt] : u_map) {
    vec.push_back({cnt, num});
}

注意：LeetCode 默认 C++17，可以直接用 auto [num, cnt]；本地老编译器（C++14 及以下）不支持。

2 二、`if` / `switch` 初始化语句

在 if 条件里定义变量，缩小作用域：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11


// C++17 写法
if (auto it = m.find(key); it != m.end()) {
    // 使用 it
}
// it 在这里已经不可见了

// switch 同理
switch (int val = getValue(); val) {
    case 1: ...
    case 2: ...
}

3 三、内联变量（Inline Variables）

解决了「全局变量在头文件里定义导致多重定义」的老问题：

1
2
3
4
5
6
7


// 头文件中，C++17 之前会报重复定义
inline constexpr int MAX_SIZE = 1024;

// 静态成员变量也可以直接在类内初始化
class MyClass {
    inline static int count = 0;  // C++17 不需要在 .cpp 里再定义一次
};

4 四、折叠表达式（Fold Expressions）

简化可变参数模板的展开：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


// 对所有参数求和
template<typename... Args>
auto sum(Args... args) {
    return (... + args);  // 一元右折叠：((a1 + a2) + a3) + ...
}

sum(1, 2, 3, 4);  // = 10

// 带初始值的折叠
template<typename... Args>
void printAll(Args... args) {
    (std::cout << ... << args) << std::endl;
}

四种折叠形式：

(... op args) 一元右折叠
(args op ...) 一元左折叠
(init op ... op args) 二元右折叠
(args op ... op init) 二元左折叠

5 五、`constexpr` 增强

C++17 中 constexpr 可以用的地方更多了：

5.1 5.1 constexpr if

编译期条件判断，替代部分 SFINAE 写法：

1
2
3
4
5
6
7
8


template<typename T>
auto getValue(T x) {
    if constexpr (std::is_integral_v<T>) {
        return x + 1;
    } else {
        return x;
    }
}

5.2 5.2 constexpr lambda

lambda 可以在编译期执行：

1
2


constexpr auto square = [](int n) { return n * n; };
static_assert(square(5) == 25);  // 编译期计算

6 六、类模板参数推导（CTAD）

构造模板类时不用写模板参数，编译器自动推导：

1
2
3
4
5
6
7


// C++11/14：必须写参数
std::pair<int, double> p1(1, 2.5);
std::vector<int> v1{1, 2, 3};

// C++17：自动推导
std::pair p2(1, 2.5);     // pair
std::vector v2{1, 2, 3};  // vector

7 七、标准库新增容器

7.1 7.1 `std::optional`

表示「可能有值，可能为空」，替代指针判空：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


std::optional<int> findNum(int x) {
    if (x > 0) return x;
    return std::nullopt;  // 空
}

auto res = findNum(5);
if (res) {
    std::cout << *res << std::endl;
}

// 有值返回，没值返回默认
int val = findNum(-1).value_or(0);

7.2 7.2 `std::variant`

类型安全的 union，访问时用 std::visit：

1
2
3
4
5
6
7
8


std::variant<int, double, std::string> v;
v = 42;
v = 3.14;
v = "hello";

std::visit([](auto&& arg) {
    std::cout << arg << std::endl;
}, v);

7.3 7.3 `std::any`

可以存任意类型的容器，类似 void* 但类型安全：

1
2
3
4
5
6


std::any a = 42;
a = std::string("hello");

if (a.type() == typeid(std::string)) {
    std::cout << std::any_cast<std::string>(a) << std::endl;
}

8 八、`std::string_view`

字符串的「视图」，不持有数据，零拷贝：

1
2
3
4
5
6


void print(std::string_view sv) {  // 传 const char* 或 std::string 都不用拷贝
    std::cout << sv << std::endl;
}

print("hello");           // OK
print(std::string("hi")); // OK

注意： string_view 不拥有数据，源字符串销毁后就悬空了。

9 九、文件系统库 `std::filesystem`

终于有了标准的文件操作库：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14


#include 
namespace fs = std::filesystem;

// 创建目录
fs::create_directory("test");

// 遍历目录
for (auto& entry : fs::directory_iterator(".")) {
    std::cout << entry.path() << std::endl;
}

// 文件大小、路径操作
auto size = fs::file_size("test.txt");
auto ext = fs::path("test.txt").extension();

10 十、其他实用特性

特性	说明
`[[nodiscard]]`	标记返回值不能忽略，编译器会警告
`[[maybe_unused]]`	标记可能不用的变量，消除警告
`[[fallthrough]]`	switch 中显式标注故意 fall-through
十六进制浮点字面量	`0x1.2p3`
`std::as_const`	把左值转成 const 引用
`std::clamp`	把值限制在区间内 `clamp(val, min, max)`

1
2
3


// [[nodiscard]] 示例
[[nodiscard]] int compute() { return 42; }
compute();  // 警告：返回值被忽略

11 总结

C++17 是日常开发提升幸福感最多的版本：

结构化绑定 + if-init：代码更简洁
optional/variant/any：类型安全三件套
string_view：字符串处理性能提升
filesystem：终于不用自己写文件操作了
constexpr if：模板元编程变得可读

C++17 - 标签 - 豆浆小屋