C++17和C++20引入的新特性

C++17

if constexpr

在编译的时候可以来决定是否编译某段代码,从而避免在运行的时候引入不必要的计算

cpp 复制代码
template<typename T>
void print_type() {
    if constexpr (std::is_integral<T>::value) {
        std::cout << "Integral type\n";
    } else {
        std::cout << "Non-integral type\n";
    }
}

结构化绑定声明

指的是允许将元组或者多个返回值直接解构,越来越像python了

cpp 复制代码
std::tuple<int, double, std::string> get_values() {
    return {42, 3.14, "Hello"};
}

auto [x, y, z] = get_values();  // 直接解构

std::variant

允许变量持有多种不同类型,但只持有一个类型的值

cpp 复制代码
std::variant<int, float> v = 10;
if (std::holds_alternative<int>(v)) {
    std::cout << "It's an int: " << std::get<int>(v) << "\n";
}

对STL提供并行策略

cpp 复制代码
#include <algorithm>
#include <vector>
#include <execution>

std::vector<int> v = {1, 2, 3, 4, 5};
std::for_each(std::execution::par, v.begin(), v.end(), [](int& n) { n *= 2; });

增强模板推导能力

C++20新特性

支持协程

引入likely/ unlikely

用于向编译器提示某个分支可能是常见或者不常见的,从而帮助优化分支预测

cpp 复制代码
if (condition) [[likely]] {
    // 可能是常见的分支
} else [[unlikely]] {
    // 可能是少见的分支
}

concept

用于约束模板类型,只接受模板参数类型为限定范围,从而增强安全性。

cpp 复制代码
template<typename T>
concept Integral = std::is_integral<T>::value;

在这里Integral即代表long、short、int等等,在使用的时候为

cpp 复制代码
template<Integral T>
T add(T a, T b) {
    return a + b;
}

接受参数是整数类型,如果传入的不满足这个类型,则编译器会报错。

总结

总的来说,C++17是扩充了语言的灵活度,长得越来越像python了。C++20更为革命性的特征是协程、概念、模块等,出于性能和安全做了优化。

相关推荐
椰羊~王小美2 小时前
LeetCode -- Flora -- edit 2025-04-27
算法·leetcode·职场和发展
charade3123 小时前
【C语言】内存分配的理解
c语言·开发语言·c++
缘友一世3 小时前
从线性回归到逻辑回归
算法·逻辑回归·线性回归
前端_学习之路4 小时前
javaScript--数据结构和算法
javascript·数据结构·算法
weixin_428498494 小时前
使用HYPRE库并行装配IJ稀疏矩阵指南: 矩阵预分配和重复利用
算法·矩阵
雾削木6 小时前
mAh 与 Wh:电量单位的深度解析
开发语言·c++·单片机·嵌入式硬件·算法·电脑
__lost6 小时前
小球在摆线上下落的物理过程MATLAB代码
开发语言·算法·matlab
Ethon_王7 小时前
走进Qt--工程文件解析与构建系统
c++·qt
mit6.8248 小时前
[Lc_week] 447 | 155 | Q1 | hash | pair {}调用
算法·leetcode·哈希算法·散列表
工藤新一¹9 小时前
C++/SDL进阶游戏开发 —— 双人塔防游戏(代号:村庄保卫战 13)
c++·游戏·游戏引擎·毕业设计·sdl·c++游戏开发·渲染库