C++传入std::set迭代器调用模板函数报错无法推导模板参数

问题原因 #

这个报错是C++模板参数的非推导上下文规则导致的：
当模板参数T出现在typename限定符之后，且嵌套在某个依赖T的类（这里是set<T>）内部的类型名（这里是iterator）中时，编译器不会尝试从这个参数反向推导T的实际类型。这是因为不同的set<T>特化完全可以定义出相同的iterator类型，反向推导不存在唯一解。

你提到的bar函数可以正常运行，是因为它的第一个参数是set<T>& aSet，这个参数里的T不属于非推导上下文，编译器可以直接通过你传入的set实参推导出T的类型，后续的typename set<T>::iterator参数直接复用推导出来的T即可，不需要额外推导。

解决方案 #

方案1：调用时显式指定模板参数 #

直接告诉编译器T的类型，跳过推导逻辑：

foo<int>(aSet.begin());

方案2：修改函数模板定义，直接接收迭代器类型 #

把迭代器本身作为模板参数，编译器可以直接推导，还可以通过iterator_traits获取元素类型：

#include <iterator>

template <typename Iter>
void foo(Iter it1)
{
    // 如需获取元素类型T可以用下面的写法
    using T = typename std::iterator_traits<Iter>::value_type;
    // 原有逻辑保持不变
}

这种方式不需要修改调用代码，兼容性更好，如果你的业务逻辑通用，还可以支持其他容器的迭代器传入。

方案3：保留原有签名，增加可推导的参数 #

如果确实需要限定只能接收set的迭代器，可以参考bar的设计，增加一个set<T>的引用参数作为推导源：

template <typename T>
void foo(set<T>& aSet, typename set<T>::iterator it1)
{
    // 原有逻辑
}

调用时传入对应的set对象即可：

foo(aSet, aSet.begin());

内容的提问来源于stack exchange，提问作者Gabriel Bergoc