具有类模板 typedef 参数的函数模板

Question

以下代码是我在大型项目中尝试做的一个示例：

#include <iostream>
#include <vector>

// standard template typedef workaround
template<typename T> struct myvar {typedef std::vector<T> Type;};

template<typename T>
T max(typename myvar<T>::Type& x)
// T max(std::vector<T>& x)
{
  T y;
  y=*x.begin();
  for( typename myvar<T>::Type::iterator it=x.begin(); it!=x.end(); ++it )
    if( *it>y ) 
      y=*it;
  return y;
} 

int main(int argc, char **argv)
{
  myvar<int>::Type var(3);
  var[0]=3;
  var[1]=2;
  var[2]=4;
  std::cout << max(var) << std::endl;
  return 0; 
} 

当我尝试编译它时，我得到：

>g++ delme.cpp -o delme
delme.cpp: In function ‘int main(int, char**)’:
delme.cpp:25: error: no matching function for call to ‘max(std::vector<int, std::allocator<int> >&)’

但是，如果我注释掉第 8 行并取消注释第 9 行，它会正确编译并给出：

>g++ delme.cpp -o delme
>./delme 
4

有人能解释一下为什么使用typename myvar<T>::Type& 的max() 函数模板定义不被视为‘max(std::vector<int, std::allocator<int> >&)’ 的匹配项，有没有办法在不使用底层std::vector<T>& 类型的情况下使其匹配？

Answer 1

从嵌套类型推导出封闭类型（或封闭类型的任何属性）是不可能的。它是 C++ 中所谓的 non-deduced context 的例子之一。

虽然模板函数声明本身是合法的，但由于无法执行模板参数推导，您将无法仅将函数调用为max(var)。在您的情况下，编译器将无法确定std::vector<int> 类型的参数x 意味着T 是myvar<int>。

你总是必须明确地为max 指定模板参数，如

std::cout << max<int>(var) << std::endl;

如何解决此问题取决于您通过引入封闭的myvar 模板试图实现的目标。

Answer 2

您是否考虑过使用std::max_element 而不是自己编写代码？它需要一个开始和结束迭代器，我相信在这里可以满足您的要求。