13

更新：这是一个 C++ 标准缺陷，已在 C++20 (P0608R3) 中修复。此外，VS 2019 16.10 已使用/std:c++20.

MSVC 19.28 拒绝以下代码，但 gcc 10.2 接受它并输出true false

#include <iostream>
#include <variant>

int main()
{
    std::variant<long long, double> v{ 0 };
    std::cout << std::boolalpha << std::holds_alternative<long long>(v) << ' ' << std::holds_alternative<double>(v) << std::endl;
}

根据cppreference：

  1. 转换构造函数。构造一个变体，如果同时在作用域内的每个from都存在虚函数的重载，则该变体T_j将通过重载决议为表达式选择，除了：仅当声明对某些有效时才考虑重载发明变量；直接初始化包含的值，就像通过直接非列表初始化从.F(std::forward<T>(t))F(T_i)T_iTypes...F(T_i)T_i x[] = { std::forward<T>(t) };xstd::forward<T>(t)

并且问题被转换为通过重载决议选择F(long long)和F(double)选择的哪个函数。1

转换int为long long整数转换（假设sizeof(long long)大于sizeof(int)），转换int为double浮点整数转换，两者的排名都不高于另一个。所以调用是模棱两可的，程序格式不正确。

MSVC 确实像我预期的那样拒绝了该代码，但令我惊讶的是，gcc 接受了它。此外，在cppreference上也有一个类似的例子：

std::variant<std::string> v("abc"); // OK
std::variant<std::string, std::string> w("abc"); // ill-formed
std::variant<std::string, const char*> x("abc"); // OK, chooses const char*
std::variant<std::string, bool> y("abc"); // OK, chooses string; bool is not a candidate
/* THIS ONE -> */ std::variant<float, long, double> z = 0; // OK, holds long
                                         // float and double are not candidates

所以我的问题是：是 gcc 或 MSVC 不符合，还是我的理解有误？

4

1 回答 1

4

在引用的规则中，仅当候选类型的复制列表初始化从参数类型工作时才考虑重载。此检查不（不能）考虑参数的常量表达式状态，因此int对于任何浮点类型都是缩小转换并且列表初始化不允许（尽管在典型实现double中可以准确表示每个的值int）。因此， GCC（即libstdc++）忽略替代方案是正确的。double

于 2021-01-01T17:04:56.543 回答