C++23在C++20基础上引入了显式对象参数、if consteval、std::expected、ranges改进、多维下标、flat_map等新特性,提升了代码简洁性、安全性和性能,需使用支持C++23的编译器并启用-std=c++23标志。

C++23 是当前最新的 C++ 标准,它在 C++20 的基础上带来了许多改进和新功能,旨在让代码更简洁、高效且安全。要使用这些特性,首先确保你的编译器(如 GCC 12+、Clang 14+ 或 MSVC)支持 C++23,并在编译时启用 -std=c++23 标志。下面介绍一些关键的新特性和实用示例。
核心语言特性
C++23 在语言层面简化了许多常见的编程模式。
显式对象参数 (Deducing this)这个特性允许你在成员函数中直接指定 this 参数的类型,特别适合编写模板类,能避免复杂的 CRTP 模式。你可以这样写:
- 以前需要为每个派生类重复定义接口函数
- 现在一个泛型函数就能处理所有派生类型
代码示例如下:
立即学习“C++免费学习笔记(深入)”;
struct MyContainer {
// 函数内部可以使用 'self' 代表调用对象
void print_size(this auto&& self) {
std::cout << "Size: " << self.size() << std::endl;
}
<pre class="brush:php;toolbar:false;">size_t size() const { return data.size(); }private:
std::vector
if consteval 编译时分支
它能清晰地区分编译期和运行时的执行路径,比传统的 if constexpr 更精确。当表达式在编译时可求值,就走编译时分支。
- 在编译时进行完整性检查或优化计算
- 在运行时提供兼容的备选逻辑
示例:
consteval int compute(int x) {
if consteval {
return x * 10; // 编译时常量展开
} else {
return x + 1; // 运行时计算
}
}标准库功能增强
标准库的更新让日常开发更加方便。
std::expected 错误处理这是 C++23 最受期待的特性之一,用于替代错误码和异常。它明确表示一个操作要么成功返回值,要么失败返回错误信息。
- 不再需要通过返回特殊值(如 -1)来表示错误
- 避免了异常开销,适合性能敏感场景
用法:
#include <expected>
<p>std::expected<int, std::string> divide(int a, int b) {
if (b == 0) {
return std::unexpected("Division by zero");
}
return a / b;
}</p><p>// 调用
auto result = divide(10, 2);
if (result) {
std::cout << "Result: " << *result;
} else {
std::cout << "Error: " << result.error();
}ranges 和视图的改进
范围库变得更加灵活,特别是对移动-only 类型的支持和新的适配器。
- std::views::join_with 可以将字符串列表用分隔符合并,类似 Python 的 join
- 视图适配器现在能直接处理 std::unique_ptr 等资源管理类型
示例:
std::vector<std::string> words{"Hello", "C++", "23"};
auto joined = words | std::views::join_with(' ');
for (char c : joined) {
std::cout << c; // 输出: Hello C++ 23
}其他实用更新
还有一些小但很实用的改进。
多维下标操作符类可以重载 operator[] 接受多个参数,让矩阵或张量访问更自然。
class Matrix {
public:
int& operator[](int row, int col) {
return data[row][col];
}
private:
int data[10][10];
};
<p>Matrix m;
m[1][2] = 5; // 现在可以直接这样写flat_map / flat_set
这两个新容器基于连续内存存储(如 vector),相比 std::map 在元素较少时有更好的缓存性能和更低的内存开销,适用于查找频繁但插入不频繁的场景。
基本上就这些。











