std ::变体和模棱两可的初始化

Question

考虑以下代码：

void fnc(int)
{
    std::cout << "int";
}

void fnc(long double)
{
    std::cout << "long double";
}

int main()
{
    fnc(42.3); // error
}

由于对 fnc 的调用不明确，它给出了错误。
但是，如果我们编写下一个代码：

std::variant<int, long double> v{42.3};
std::cout << v.index();

输出为 1，这表明已选择 double->long double 转换。 据我所知，std::variant 遵循有关转换等级的 C++ 规则，但这个示例显示了差异。对于这种行为有什么解释吗？

Answer 1

在 P0608 之前，变体v{42.3} 自 42.3 以来也存在不明确的问题可以转换为 int 或 long double。

P0608 更改了variant 构造函数的行为：

模板<类T> constexpr 变体(T&& t) noexcept(见下文);

• 令 Tj 为按如下方式确定的类型：为每个替代类型 Ti 构建一个虚函数 FUN(Ti) 其中 Ti x[] = {std::forward(t)}; 对于某些发明的变量 x 是格式良好的，并且，
  如果 Ti 为 cv bool，则 remove_cvref_t 为 bool。 重载 FUN(Ti)
  由表达式的重载决策选择
  FUN(std::forward(t)) 定义了替代的 Tj 类型
  构建后包含的价值。

在您的示例中，variant有两种替代类型：int和long double，因此我们可以构建以下表达式

        int x[] = {std::forward<double>(42.3)}; // #1
long double y[] = {std::forward<double>(42.3)}; // #2

Since 只有 #2 格式良好，变体成功推导出所包含值类型的类型长双精度。