为模板类专门化模板函数

Question

我有一个索引器功能，并试图将其专门用于标准容器类型，但出现错误。我确信这要么简单，要么不可能，但我不记得是哪一个了。我更喜欢将它们作为函数对象，但我也无法使其工作。是否可以为模板类

namespace std { //declarations of predefined indexable types
    template <class T, class A> class vector;
    //others are here too, but all have the same issue 
}
//default indexer
template <class T>
double indexer(const T& b) { //this seems to work fine
    return b.getIndex();
}
// base types
template<> double indexer<char>(const char& b) { return double(b); }
//other primitives are here too, and work fine
// standard library
template<class T, class A> 
double indexer<std::vector<T,A>>(const std::vector<T,A>& b) 
{ return b.empty() ? 0 : indexer(*b.cbegin()); } //line with error

错误消息专门化模板函数：

error C2768: 'indexer' : illegal use of explicit template arguments

我希望这是专门化与重载，因为我有一个函数 A ，它接受函数对象/指针模板参数，并且重载函数 A 使用默认索引器调用第一个 A。

template<class T, class function>
double A(T a, function F) { return F(a);} //complicated
template<class T>
double A(T a) {return A(a, indexer<T>);} //default wrapper

这似乎很可能是一个重复的问题，但我似乎找不到一个。

Answer 1

您不能部分特化模板函数，只能特化模板类。

使用重载代替：

namespace std { //declarations of predefined indexable types
       template <class T, class A> class vector;
}
//default indexer
template <class T>
double indexer(const T& b) { return b.getIndex(); }

double indexer(const char& b) { return double(b); }

template<class T, class A>
double indexer(const std::vector<T,A>& b)
{ return b.empty() ? 0 : indexer(*b.cbegin()); }

Answer 2

由于函数不能部分专业化，因此我可以用函数对象替换索引器函数。这似乎工作正常，解决了我所有的问题。

namespace std { //declarations of predefined indexable types
    template <class T, class A> class vector;
}
template <class T>
struct indexer { 
    double operator()(const T& b) const 
    { return b.getIndex(); } 
};
template<> struct indexer<char> { 
    double operator()(const char& b) const 
    { return double(b); } 
};
template<class T, class A> struct indexer<std::vector<T,A>> { 
    double operator()(const std::vector<T,A>& b) const 
    { return b.empty() ? 0 : indexer(*b.cbegin()); } 
};

template<class T, class function>
double A(T a, function F) { return F(a);} //complicated
template<class T>
double A(T a) {return A(a, indexer<T>());} //default wrapper

Answer 3

这是一个仅基于重载的解决方案，使用 C++11 样式的可变参数模板：

template <typename T>
T print(const T & t)
{
  std::cout << t << std::endl;
  return t;
}

template <template <typename...> class Container, typename ...Args>
typename Container<Args...>::value_type print(const Container<Args...> & v)
{
  typedef typename Container<Args...>::value_type T;

  if (v.empty()) std::cout << "nil" << std::endl;
  else std::cout << *v.begin() << std::endl;

  return v.empty() ? T() : *v.begin();
}

如果您想要更花哨并且可以访问 is_container 类型特征（例如取自 漂亮打印机），您可以使用特定于容器的容器重载enable_if：

template <template <typename...> class Container, typename ...Args>
typename std::enable_if<is_container<Container<Args...>>::value,
                        typename Container<Args...>::value_type>::type
print(const Container<Args...> & v)
{
  /* ... */
}