std::visit 不识别类型

Question

我很困惑，经过一些代码重构后，以下代码不再起作用，因为它跳转到 auto, auto 案例并忽略了 Complex, Complex 案例。我承认我不太明白overload 是在做什么究竟，但对我来说，这两个代码看起来完全一样，除了一个直接获取它的参数而另一个有函数体本身定义的参数。

Math_Node Function_Manager::add(const Math_Node& arg){
        Math_Object obj1 = arg.children_ptr()->at(0)->data();
        Math_Object obj2 = arg.children_ptr()->at(1)->data();
        if( std::holds_alternative<Complex>(obj1) ){
            std::cerr << "obj1 is complex\n";
        }
        if( std::holds_alternative<Complex>(obj2) ){
            std::cerr << "obj2 is complex\n";
        }
        return std::visit(overload{
               [](const Complex& a, const Complex& b) -> Math_Object{ 
                   std::cerr << "COMPLEX ADD_\n"; 
                   return add_(a, b); 
               }
             , [](const Matrix& a, const Matrix& b) -> Math_Object{ 
                   std::cerr << "MATRIX ADD_\n"; 
                   return add_(a, b); 
               }
             , [&arg](auto& a, auto& b) -> Math_Node{
                   std::cerr << "NOT FOUND\n"; 
                   return arg;
             }
         }, obj1, obj2);
}

代码打印

obj1 is complex
obj2 is complex
NOT FOUND

这是重构前的工作代码：

Math_Object Function_Manager::add(const Math_Object& arg0, const Math_Object& arg1){
        return
                std::visit(
                        overload{
                                [](const Complex& a, const Complex& b) -> Math_Object{ return add_(a, b); }
                                , [](const Matrix& a, const Matrix& b) -> Math_Object{ return add_(a, b); }
                                , [](auto& a, auto& b) -> Math_Object{
                                    throw std::runtime_error(
                                            ("Unsupported arguments for add: " + to_string(a) + to_string(b)).c_str());
                                }
                        }, arg0, arg1
                          );
    }

我唯一能想到的是obj1 和obj2 并不是真正需要的类型，但打印到std::cerr 证明它们是。那么为什么 std::visit 无法识别它，我该如何解决？

Answer 1

在您的第一个示例中，obj1 和 obj2 不是 const 合格的。

在您的第二个示例中，arg0 和 arg1 是。

overload 只是对所有给它的 lambdas 的调用运算符进行重载解析（假设它是通常的实现）。

---

在第一个示例的重载解析中，auto&/auto& 比 const Complex&/const Complex& 更适合 obj1/obj2，因为后者需要进行限定转换才能添加 @987654333 @，而auto&/auto&可以推导出为Complex&/Complex&，不需要进行限定转换。

---

在第二个例子中不是这样，因为arg0/arg1 是const，所以auto&/auto& 的模板参数推导将产生const Complex&/const Complex& 而这也不是直接拨打const Complex&/const Complex&的电话也不需要任何转换。

如果两个函数在一次调用中具有同样良好的转换顺序，则该调用通过一些附加条件来消除歧义，其中之一是非模板函数优于模板函数。直接采用const Complex&/const Complex& 的重载不是模板（因为它不是通用的 lambda），因此是首选。

---

要解决此问题，只需在所有调用中使用相同的限定条件，即在最后一次调用中使用 const auto&/const auto& 而不是 auto&/auto& 或通过传递 @987654353 重现第二个示例的重载解析行为@ 和 std::as_const(obj2) 而不是 obj1 和 obj2 到 std::visit。