错误 C2783 无法推断模板参数

Question

我被这个错误困住了。 我也找到了一种解决方法，但它有点扼杀了锻炼的全部目的。

我正在尝试创建一个函数，它需要两个迭代器指向同一个容器。我会找到它们之间的元素之和。我为像vector这样的顺序容器创建了通用函数，效果很好。我为关联容器重载了相同的函数。这是给出错误的那个。

map<string,double> myMap;
myMap["B"]=1.0;
myMap["C"]=2.0;
myMap["S"]=3.0;
myMap["G"]=4.0;
myMap["P"]=5.0;

map<string,double>::const_iterator iter1=myMap.begin();
map<string,double>::const_iterator iter2=myMap.end();

cout<<"\nSum of map using the iterator specified range is: "<<Sum(iter1,iter2)<<"\n"; 
//Above line giving error. Intellisense is saying: Sum, Error: no instance of overloaded function "Sum" matches the argument list.

//function to calculate the sum is listed below (It appears in a header file with <map> header included):
template <typename T1,typename T2>
double Sum(const typename std::map<T1,T2>::const_iterator& input_begin,const typename std::map<T1,T2>::const_iterator& input_end)
{
double finalSum=0;
typename std::map<T1,T2>::const_iterator iter=input_begin;

for(iter; iter!=input_end; ++iter)
{
    finalSum=finalSum+ (iter)->second;
}

return finalSum;
}

编译错误是： 1>c:\documents and settings\ABC\my documents\visual studio 2010\projects\demo.cpp(41): error C2783: 'double Sum(const std::map::const_iterator &,const std::map: :const_iterator &)' : 无法推导出 'T1' 的模板参数

解决方法：

如果将调用 Sum(iter1,iter2) 替换为 Sum (iter1,iter2)，则编译正常。

我是否首先尝试按照 C++ 标准做一些不可能的事情？

Answer 1

错误其实挺清楚的，如下模板：

template <typename T1,typename T2>
double Sum(const typename std::map<T1,T2>::const_iterator& input_begin,
           const typename std::map<T1,T2>::const_iterator& input_end)

T1 和 T2 类型不能从调用位置的参数推导出来。这在标准中是这样定义的，如果您考虑一下（在一般情况下），这是有道理的。

考虑到你有sometemplate<T>::nested_type 而不是std::map<>::const_iterator，并且调用位置的参数是int。如果编译器必须推断类型，它必须为所有可能的类型 T 在 Universe（无限集）中实例化 sometemplate，并找出其中的嵌套类型 nested_type 是 int 的 typedef .

正如有人在 cmets 中指出的那样，您可以更改模板，以便无需在映射的键和值类型上进行模板化，而是只使用迭代器。

---

委托提取值

这是提供Sum 的单一实现的解决方法，它可以处理顺序容器和关联容器。

namespace detail {
template <typename T> T valueOf( T const & t ) { return t; }
template <typename K, typename V>
V valueOf( std::pair<const K, V> const & p ) {
   return p.second;
}
}
template <typename Iterator>
double Sum( Iterator begin, Iterator end ) {
  double result = 0;
  for (; begin != end; ++begin) {
     result += detail::valueOf(*begin);
  }
  return result;
}

我没有测试过代码，但应该可以。这可能比在Sum 模板上使用 SFINAE 简单得多。