std::variant的奇怪结果

std::variant<int, double> lhs = 4;

所以 lhs 是包含以下任一项的变体 int 或a double .当您存储 int 其中,它包含一个 int .

auto var = std::holds_alternative<int>(lhs) ? std::get<int>(lhs) : std::get<double>(lhs);

这与

auto var = true ? std::get<int>(lhs) : std::get<double>(lhs);

这是

auto var = true ? (int)4 : double(3.14);

类型 var 计算结果为 双重的 ,但它的价值是 4 .

double var = 4;

auto 不是运行时动态类型;它是一种编译时计算类型。

if (std::strcmp(typeid(var).name(), "i") == 0)
  std::cout << "int";
else
  std::cout << "double";

打印 "double" .

我认为你想做的是:

std::variant<int, double> lhs = 4;

std::visit( [&](auto var){
  if (std::strcmp(typeid(var).name(), "i") == 0)
    std::cout << "int";
  else
    std::cout << "double";
}, lhs);

打印 "int" 正如预期的那样。

在这里,我们创建了一个访问者函数。 std::visit 进行运行时切换以决定哪种类型 lhs 包含并调用与内类型匹配的对象 lhs .

请小心,因为两个版本的lambda函数都被实例化了,但只调用了一个。

在本声明中:

auto var = std::holds_alternative<int>(lhs) ? std::get<int>(lhs) : std::get<double>(lhs);

使用条件运算符。编译器根据运算符的第二个和第三个操作数的类型确定结果的类型。由于通常的算术转换,常见的类型是 double 即(来自C++20标准):

• 否则,如果其中一个操作数是double,则另一个应转换为double