boost::variant与NaN值比较不符合预期的问题排查

boost::variant的比较逻辑和你预期的数值比较逻辑完全不同，核心点在于它的operator<=遵循以下规则：

• 若两个variant存储的是相同类型，则调用该类型自身的operator<=比较实际值；
• 若存储的是不同类型，则直接比较它们在模板参数列表中的类型索引（即声明顺序的位置，第一个类型索引为0，第二个为1，依此类推），索引小的variant会被判定为“小于等于”索引大的。

你的场景中，result_a存储的是double（索引0），而result_b存储的是bool（索引1）——此时boost::variant不会去比较NaN和2的数值，而是直接比较类型索引，0 <= 1的结果为true，这就是你看到异常的原因。

为什么类型会不同？ #

大概率是some_calculation(input_params_b)返回的常量2被隐式转换为了bool类型（非零整数转bool会得到true），导致variant存储了bool类型而非double。常见的触发场景包括：

• some_calculation的返回类型声明为bool，返回2时会被自动转换为true；
• 代码中存在其他隐式转换逻辑，导致返回值被匹配到了variant的bool类型而非double类型（不过double在模板参数列表的第一个位置，通常会优先匹配，所以前者的可能性更高）。

验证方法 #

你可以在比较前打印两个variant的类型索引，确认类型是否一致：

#include <iostream>
// ...
std::cout << "result_a 类型索引: " << result_a.which() << std::endl;
std::cout << "result_b 类型索引: " << result_b.which() << std::endl;

如果输出是0和1，就坐实了类型不同的问题。

解决方案 #

1. 统一返回类型：确保some_calculation的返回类型始终为double，避免返回不同类型导致variant存储的类型不一致；
2. 先检查类型再比较：在数值比较前先判断两个variant的类型是否相同，只有类型一致时才进行值比较，否则按业务需求处理：

   if (result_a.which() != result_b.which()) {
       // 例如返回false，或抛出异常，根据业务逻辑调整
       return false;
   }
   return result_a <= result_b;
   

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