C++标准库或Boost库是否提供编译期确定类型的variant类？

C++标准库暂未提供类似std::variant、且持有具体类型可在编译期确定的类型；Boost库的Boost.Hana模块提供了完全匹配该需求的实现。

具体说明 #

• 标准库层面：现有std::variant属于运行期类型擦除的标签联合，活动成员的索引无法作为编译期常量获取，所有类型分发逻辑要么通过运行期std::visit完成，要么需要手动通过编译期分支判断后提取值，本身不满足编译期确定持有类型的要求。
• Boost层面：Boost.Hana作为面向编译期异构计算的工具库，提供了boost::hana::variant类型，它的活动类型完全在编译期确定，没有运行期类型擦除开销，和你提到的boost::hana::optional属于同设计思路的工具，完全适配你说的使用场景。

场景适配性 #

你提到的多参数组合重载合并的需求，正是这类编译期variant的典型适用场景：
原本需要编写多组重载的代码：

void f(std::string, A);
void f(std::string, B);
void f(int, A);
void f(int, B);

确实可以借助这类编译期variant简化为单函数签名：

void f(var<std::string, int>, var<A, B>);

函数内部既可以通过if constexpr做编译期分支处理，也可以直接用Boost.Hana自带的编译期重载分发工具完成逻辑，全程没有额外运行时开销。如果不依赖第三方库，这类编译期variant的实现成本也很低，核心逻辑就是通过模板参数包存储候选类型、用编译期常量标记当前持有类型即可。

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