std::variant类型构造疑问：uint8_t构造失败原因探究

我正尝试理解std::variant<Ts...>通过可构造其备选类型Ts之一的值进行构造的逻辑。根据cppreference文档，其第(4)个转换构造函数规则为：

构造一个持有备选类型T_j的variant，该类型由假想函数F(std::forward<T>(t))的重载决议选择（排除窄化转换），且仅当T_i x[] = {std::forward<T>(t)};声明有效时，才考虑F(T_i)重载。

我据此编写测试代码：

using Var = std::variant<uint32_t, uint64_t>; // 别名定义正常
([](uint32_t){})(std::forward<uint8_t>(12)); // 编译通过——假想函数F可调用
uint32_t x[] = {std::forward<uint8_t>(12)}; // 编译通过——数组声明有效

static_assert(std::is_constructible_v<Var, uint8_t>); // 断言失败

但断言失败了。请问这是否是因为uint32_t和uint64_t均可被uint8_t构造导致歧义？我未在cppreference链接中找到相关说明。

你的猜测完全正确，断言失败的核心原因就是构造候选类型存在歧义。

cppreference里的规则其实隐含了一个关键前提：假想函数F的重载决议必须能选出唯一最优的重载，才能成功构造std::variant。

在你的测试代码中：

• uint8_t类型的值可以隐式转换为uint32_t，也可以隐式转换为uint64_t
• 这两个转换对于重载决议来说是等价优先级的——都是无符号整数的提升转换，不存在谁比谁更优
• 重载决议无法选出唯一的T_j，因此std::is_constructible_v<Var, uint8_t>会返回false，断言失败

你单独测试uint32_t的情况没问题，但当两个候选类型都能被输入类型构造且转换优先级相同时，就会触发歧义，导致构造不可行。

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