详解C++26 新特性

 更新时间:2026年03月08日 11:09:40   作者:程序员zgh  
C++26是C++语言的下一个重要标准版本,本文就来详细的介绍C++26 新特性,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧

前言

C++26 是 C++ 语言的下一个重要标准版本,已于 2025 年完成功能冻结。我们来看看 C++26 有哪些新特性。

一、三大核心特性

1.1 静态反射(Static Reflection)

静态反射是 C++26 最重磅的特性之一,在编译期能查询类型、成员、枚举值等结构信息,并把反射结果插入到代码中。

#include <meta>  // 新的反射头文件
#include <string>

enum class Color { red, green, blue };

// 将枚举转换为字符串
template <typename E>
    requires std::is_enum_v<E>
constexpr std::string enum_to_string(E value) {
    template for (constexpr auto e : std::meta::members_of(^E)) {
        if (value == [:e:]) {  // 反射表达式求值
            return std::string(std::meta::name_of(e));
        }
    }
    return "<unnamed>";
}

int main() {
    static_assert(enum_to_string(Color::red) == "red");
    static_assert(enum_to_string(Color::blue) == "blue");

上述代码中:

  • ^E: 反射操作符,获取类型的元数据
  • [:e:]:反射表达式求值,将元数据转换回实际值
  • template for:编译期循环,遍历所有枚举成员

1.2 契约(Contracts)

契约为函数添加前置条件(pre)、后置条件(post),增强可读性。

【前置条件在进入函数前检查,后置条件在函数退出时检查】

int divide(int a, int b)
    [[pre: b != 0]]                    // 前置条件:除数不能为0
    [[post r: r * b == a]]             // 后置条件:结果验证 (返回值用r标记)
{
    return a / b;
}

// 类不变式
class Stack {
    int size_ = 0;
    int* data_ = nullptr;
    
public:
    void push(int val)
        [[pre: size_ < capacity()]]     // 栈未满
        [[post: size() == old size() + 1]]  // 大小增加1
    {
        data_[size_++] = val;
    }
    
    int pop()
        [[pre: size_ > 0]]              // 栈非空
        [[post: size() == old size() - 1]]
    {
        return data_[--size_];
    }
};

1.3 执行控制库(std::execution)

这是 C++26 的“异步执行标准框架”,用来抽象各种执行资源(如 线程池)上的任务调度。它是一个标准化的异步编程框架,用于管理异步执行。

#include <execution>
#include <iostream>

int main() {
    auto sch = std::execution::get_scheduler();  // 获取默认调度器

    // 1) 从调度器得到一个 sender
    auto snd = std::execution::schedule(sch);

    // 2) then 在其上接一个同步任务,返回 int
    auto snd2 = std::execution::then(snd, [] {
        std::cout << "Hello from std::execution\n";
        return 42;
    });

    // 3) 再接一个任务消费 int
    auto snd3 = std::execution::then(snd2, [](int x) {
        std::cout << "Got " << x << "\n";
    });

    // 4) 提交并等待完成(具体细节略有出入,此处为示意)
    std::execution::sync_wait(snd3);
}

二、其他一些新特性

2.1 占位变量

C++26 引入无命名占位符"_",表示“不关心这个值”,可以多次使用。

auto [a, _, _] = std::tuple{1, 2.0, 'x'};
// _ 没有名字,不能用 _ 去读;只表示“占位”

2.2 参数包索引

参数包索引(Pack indexing),允许在包里直接用下标访问某个元素,而不用把整包展开再访问。

template<typename... Ts>
constexpr auto first_plus_last(Ts... values)
    -> Ts...[0]               // 包的第 0 号类型作为返回类型
{
    return Ts...[0](values...[0] + values...[sizeof...(values) - 1]);
}

static_assert(first_plus_last(1, 2, 11) == 12);

2.3 static_assert扩展

static_assert 的第二个消息参数支持任意常量表达式,可以直接用 std::format 等,而不是简单字符串字面量。

struct A { char c; };

static_assert(
    sizeof(A) == 1,
    std::format("Unexpected sizeof: expected 1, got {}", sizeof(A))
);

2.4 <linalg>头文件

提供类似 BLAS 的线性代数接口(如 std::linalg::matrix_product)。

#include <linalg> //新增头文件
#include <mdspan>
#include <array>

int main() {
    std::array<double, 9> a_data = {1,2,3, 4,5,6, 7,8,9};
    std::array<double, 9> b_data = {9,8,7, 6,5,4, 3,2,1};
    std::array<double, 9> c_data{};

    auto A = std::mdspan(a_data.data(), 3, 3);
    auto B = std::mdspan(b_data.data(), 3, 3);
    auto C = std::mdspan(c_data.data(), 3, 3);

    std::linalg::matrix_product(A, B, C);  // C = A * B
}

写在最后:C++26还有很多其他小的特性,如 constexpr增强,大家感兴趣可以继续做一些深入学习。

到此这篇关于详解C++26 新特性的文章就介绍到这了,更多相关C++26 新特性内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C++实现获取系统时间的方法小结

    C++实现获取系统时间的方法小结

    这篇文章主要为大家详细介绍了使用C++实现获取系统时间的一些常用方法,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以了解下
    2024-03-03
  • 基于Linux系统调用--getrlimit()与setrlimit()函数的方法

    基于Linux系统调用--getrlimit()与setrlimit()函数的方法

    本篇文章是对在Linux系统中调用getrlimit()与setrlimit()函数的方法进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • C++的静态成员变量和静态成员函数详解

    C++的静态成员变量和静态成员函数详解

    这篇文章主要为大家介绍了C++的静态成员变量和静态成员函数,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2021-12-12
  • C语言修炼之路函数篇真题训练下

    C语言修炼之路函数篇真题训练下

    函数是一组一起执行一个任务的语句。每个 C 程序都至少有一个函数,即主函数 main() ,所有简单的程序都可以定义其他额外的函数
    2022-03-03
  • C++ 中如何结束 while (cin>>str) 的输入

    C++ 中如何结束 while (cin>>str) 的输入

    这篇文章主要介绍了C++ 中如何结束 while (cin>>str) 的输入,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教
    2022-07-07
  • C语言for语句用法详解

    C语言for语句用法详解

    今天,小编讲诉C语言中循环语句(for)的使用方法,作为示例,以一个简单的例子讲诉for语法。
    2015-11-11
  • C++无try-catch的异常捕获示例详解

    C++无try-catch的异常捕获示例详解

    这篇文章主要为大家介绍了C++无try-catch的异常捕获示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2022-12-12
  • C++ STL array容器访问元素的几种方式

    C++ STL array容器访问元素的几种方式

    这篇文章主要介绍了C++ STL array容器访问元素的几种方式,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-01-01
  • 基于C++字符串替换函数的使用详解

    基于C++字符串替换函数的使用详解

    本篇文章是对C++字符串替换函数的使用进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • Dev C++ 安装及使用方法(图文教程)

    Dev C++ 安装及使用方法(图文教程)

    Dev C++ 是一款非常好用,简约的C/C++开发工具,本文主要介绍了Dev C++ 安装及使用方法(图文教程),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-06-06

最新评论