关于constexpr与static_assert的疑问：std::shared_ptr场景解析

云上老周

2026-5-20

让我一步步拆解你的问题，帮你理清这些和constexpr、std::shared_ptr、std::variant相关的困惑：

1. 为什么第一个static_assert能和std::shared_ptr一起生效？

首先要明确：C20之前，std::shared_ptr完全不支持constexpr操作——它的构造、赋值等逻辑都无法在编译期完成。但从C20开始，标准给shared_ptr开放了有限的constexpr能力：

可以constexpr构造nullptr（默认构造或者直接用nullptr初始化）
可以constexpr构造指向静态存储期对象的shared_ptr（比如全局变量、static局部变量，这类对象的内存地址是编译期已知的）
支持constexpr的比较操作（比如和nullptr比较，或者两个shared_ptr比较指向的地址）

如果你的第一个static_assert是基于这些合法的constexpr shared_ptr操作（比如static_assert(std::shared_ptr<int>(nullptr) == nullptr);，或者检查指向静态对象的shared_ptr的地址），那它能正常通过编译是完全符合标准的。

2. 第二个static_assert的工作机制

static_assert本身是一个编译期验证工具：它要求传入的表达式是一个编译期布尔常量——编译器会在编译阶段直接计算这个表达式的值，如果值为false，就立刻抛出编译错误，阻止程序生成。

针对你提到的variant场景，常见的合法用法包括：

检查variant的备选类型列表：比如static_assert(std::variant_size_v<MyVariant> == 2);，std::variant_size_v是编译期常量，直接返回variant的备选类型数量
检查constexpr variant的当前类型：如果你的variant是constexpr初始化的（比如用静态对象的shared_ptr或者字面量），那variant.index()是constexpr的，可以用static_assert(my_var.index() == 0);来验证它当前持有哪个类型
验证variant的类型兼容性：比如static_assert(std::is_constructible_v<MyVariant, int>);，检查variant是否能被int构造

本质上，只要你传给static_assert的表达式能在编译期确定结果，它就能正常工作，和variant是否包含shared_ptr无关——除非你用了只能在运行时求值的表达式（比如运行时初始化的variant的index）。

3. 为什么包含std::shared_ptr的const std::variant数组无法声明为constexpr？

问题的核心在于constexpr对初始化的严格要求：要把一个数组声明为constexpr，整个数组的初始化过程必须完全在编译期完成，这意味着：

每个variant的初始化必须是constexpr的
每个variant所持有的类型的构造也必须是constexpr的

而std::shared_ptr的constexpr能力有个致命限制：它不能在编译期持有动态分配的内存——因为编译期不允许执行new这类动态内存分配操作，而shared_ptr的引用计数管理也无法在编译期处理动态内存的生命周期。

所以如果你的variant初始化时用到了std::make_shared或者new来创建shared_ptr（也就是指向堆上的对象），那这个初始化过程只能在运行时完成，自然没法把整个数组声明为constexpr。

可行的替代方案

方案1：如果shared_ptr指向静态存储期对象（C++20+）

如果你的shared_ptr只需要指向全局变量、static局部变量这类编译期地址已知的对象，那完全可以创建constexpr的variant数组：

#include <memory>
#include <variant>
#include <array>

static int static_data = 42; // 静态存储期对象

// constexpr初始化variant，持有指向静态对象的shared_ptr
constexpr std::variant<std::shared_ptr<int>, int> valid_var = std::shared_ptr<int>(&static_data);
// constexpr数组，元素是const variant
constexpr std::array<const decltype(valid_var), 2> arr = {valid_var, 100};

// 编译期验证数组元素的类型和值
static_assert(std::get<std::shared_ptr<int>>(arr[0]) == &static_data);
static_assert(std::get<int>(arr[1]) == 100);

方案2：退而求其次，用const数组（非constexpr）+ 编译期类型约束

如果必须让shared_ptr指向动态分配的对象，那没法做成constexpr数组，但依然可以用const数组保证运行时不可修改，同时用static_assert做编译期的类型约束：

#include <memory>
#include <variant>
#include <array>

// 先定义你的variant类型，用static_assert约束它的备选类型
using MyVariant = std::variant<std::shared_ptr<int>, std::string>;
static_assert(std::is_same_v<std::variant_alternative_t<0, MyVariant>, std::shared_ptr<int>>);
static_assert(std::is_same_v<std::variant_alternative_t<1, MyVariant>, std::string>);

// 运行时初始化的const数组，元素是const variant
const std::array<const MyVariant, 2> arr = {
    std::make_shared<int>(42),
    std::string("hello world")
};

// 编译期验证数组的类型和大小
static_assert(std::is_same_v<decltype(arr), const std::array<const MyVariant, 2>>);
static_assert(arr.size() == 2);

如果还想在运行时验证每个variant的实际类型，可以在初始化数组时加断言，比如：

// 运行时检查每个元素的类型（可选）
for (const auto& v : arr) {
    assert(v.index() == 0 || v.index() == 1); // 确保没有意外的类型，防止后续修改variant类型时出错
}

内容的提问来源于stack exchange，提问作者user1819047

关于constexpr与static_assert的疑问：std::shared_ptr场景解析

1. 为什么第一个static_assert能和std::shared_ptr一起生效？ #

2. 第二个static_assert的工作机制 #

3. 为什么包含std::shared_ptr的const std::variant数组无法声明为constexpr？ #