快捷導(dǎo)航

詳解C++26 新特性

更新時(shí)間：2026年03月08日 11:09:40 作者：程序員zgh

C++26是C++語(yǔ)言的下一個(gè)重要標(biāo)準(zhǔn)版本,本文就來(lái)詳細(xì)的介紹C++26 新特性,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧

前言

C++26 是 C++ 語(yǔ)言的下一個(gè)重要標(biāo)準(zhǔn)版本，已于 2025 年完成功能凍結(jié)。我們來(lái)看看 C++26 有哪些新特性。

一、三大核心特性

1.1 靜態(tài)反射（Static Reflection）

靜態(tài)反射是 C++26 最重磅的特性之一，在編譯期能查詢類型、成員、枚舉值等結(jié)構(gòu)信息，并把反射結(jié)果插入到代碼中。

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

enum class Color { red, green, blue };

// 將枚舉轉(zhuǎn)換為字符串
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:]) {  // 反射表達(dá)式求值
            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： 反射操作符，獲取類型的元數(shù)據(jù)
[:e:]：反射表達(dá)式求值，將元數(shù)據(jù)轉(zhuǎn)換回實(shí)際值
template for：編譯期循環(huán)，遍歷所有枚舉成員

1.2 契約（Contracts）

契約為函數(shù)添加前置條件（pre）、后置條件（post），增強(qiáng)可讀性。

【前置條件在進(jìn)入函數(shù)前檢查，后置條件在函數(shù)退出時(shí)檢查】

int divide(int a, int b)
    [[pre: b != 0]]                    // 前置條件：除數(shù)不能為0
    [[post r: r * b == a]]             // 后置條件：結(jié)果驗(yàn)證 （返回值用r標(biāo)記）
{
    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 執(zhí)行控制庫(kù)（std::execution）

這是 C++26 的“異步執(zhí)行標(biāo)準(zhǔn)框架”，用來(lái)抽象各種執(zhí)行資源（如線程池）上的任務(wù)調(diào)度。它是一個(gè)標(biāo)準(zhǔn)化的異步編程框架，用于管理異步執(zhí)行。

#include <execution>
#include <iostream>

int main() {
    auto sch = std::execution::get_scheduler();  // 獲取默認(rèn)調(diào)度器

    // 1) 從調(diào)度器得到一個(gè) sender
    auto snd = std::execution::schedule(sch);

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

    // 3) 再接一個(gè)任務(wù)消費(fèi) int
    auto snd3 = std::execution::then(snd2, [](int x) {
        std::cout << "Got " << x << "\n";
    });

    // 4) 提交并等待完成（具體細(xì)節(jié)略有出入，此處為示意）
    std::execution::sync_wait(snd3);
}

二、其他一些新特性

2.1 占位變量

C++26 引入無(wú)命名占位符"_"，表示“不關(guān)心這個(gè)值”，可以多次使用。

auto [a, _, _] = std::tuple{1, 2.0, 'x'};
// _ 沒(méi)有名字，不能用 _ 去讀；只表示“占位”

2.2 參數(shù)包索引

參數(shù)包索引（Pack indexing），允許在包里直接用下標(biāo)訪問(wèn)某個(gè)元素，而不用把整包展開(kāi)再訪問(wèn)。

template<typename... Ts>
constexpr auto first_plus_last(Ts... values)
    -> Ts...[0]               // 包的第 0 號(hào)類型作為返回類型
{
    return Ts...[0](values...[0] + values...[sizeof...(values) - 1]);
}

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

2.3 static_assert擴(kuò)展

static_assert 的第二個(gè)消息參數(shù)支持任意常量表達(dá)式，可以直接用 std::format 等，而不是簡(jiǎn)單字符串字面量。

struct A { char c; };

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

2.4 <linalg>頭文件

提供類似 BLAS 的線性代數(shù)接口（如 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
}