超载函数调用问题

Question

我有 2 个重载函数，比如 - func1 和 func2 -

Func1 是 -

template<typename T1, typename T2> bool AreIdentical(const std::pair<T1, T2> 
&lhs, const std::pair<T1, T2> &rhs)
{
  //some code
}

Func2 是 -

 template<typename T> bool AreIdentical(typename std::map<int, 
 std::vector<T>>::iterator itOrig,
 typename std::map<int, std::vector<T>>::iterator itNew)
 {
    //some code
 }

我正在尝试以以下方式调用函数 AreIdentical -

int main()
{
std::map<int, std::vector<int>> orgitem;
std::map<int, std::vector<int>> newitem;
newitem[0];
orgitem[0];
AreIdentical(*orgitem.begin(), *newitem.begin());

return 0;
}

现在，有趣的是，我的 origitem 和 newitem 是 ma​​p 类型但总是 Func1调用它接受参数 pair 类型而不是 Func2。

有人知道为什么会这样吗？

Answer 1

orgitem.begin() 是一个迭代器。但是*orgitem.begin()是迭代器指向的对象，也就是std::pair<const int, std::vector<int>>。

如果你有

AreIdentical(orgitem.begin(), newitem.begin());

如果没有取消引用 * 运算符，将无法调用 pair 重载。

但实际上它也不起作用，因为在您的第二次重载中，参数T 不在可推断的上下文中。唯一的调用方式是：

AreIdentical<int>(orgitem.begin(), newitem.begin());

您可以通过将迭代器重载更改为仅接受其值类型具有成员 first 和 second 的任何迭代器来“修复”此问题：

template <typename Iter>
auto AreIdentical(Iter itOrig, Iter itNew)
    -> decltype((*itOrig).first, (*itOrig).second, bool{});