std::visit无法识别类型

我很困惑，在一些代码重构之后，下面的代码段不再工作，因为它跳到了auto, auto的情况，并忽略了Complex, Complex的情况。诚然，我不太明白重载到底在做什么，但对我来说，这两个代码看起来完全一样，只是一个直接获取参数，而另一个则在函数体中定义参数。

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 complexn";
}
if( std::holds_alternative<Complex>(obj2) ){
std::cerr << "obj2 is complexn";
}
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 FOUNDn"; 
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没有识别出它是这样的，我该如何修复它呢