std::holds_alternative与std::get_if的操作复杂度问询

C++标准并没有明确规定std::holds_alternative和std::get_if的复杂度必须为O(1)，但从实际实现和设计逻辑来看，主流编译器（如GCC、Clang、MSVC）都会将这两个函数实现为O(1)操作。

原因在于std::variant内部会维护一个类似整数的判别标记（discriminant），用来记录当前存储的是类型列表中的哪一种类型：

• std::holds_alternative<T>只需要将这个判别标记与T在variant类型列表中的固定索引做一次比较
• std::get_if<T>也是先完成上述索引比对，确认类型匹配后直接返回对应内存地址的指针

这两个操作都不需要遍历variant的类型列表，所以理论上不会出现复杂度随类型数量线性增长的情况。虽然标准没有禁止线性复杂度的实现，但这种实现完全违背了std::variant作为类型安全union的设计初衷，因此实际开发中几乎不会遇到。

换句话说，不管std::variant包含的成员类型是多是少，holds_alternative和get_if的性能都不会有差异。

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