如何为std :: vector专门化模板成员函数<T>

Question

我需要以两种不同的方式定义get方法。 一个用于简单类型T.一个用于std :: vector。

template<typename T>
const T& Parameters::get(const std::string& key)
{
    Map::iterator i = params_.find(key);
    ...
    return boost::lexical_cast<T>(boost::get<std::string>(i->second));
    ...
}

我怎样才能为std :: vector专门化这个方法。 因为代码应该看起来像这样：

template<typename T>
const T& Parameters::get(const std::string& key)
{
    Map::iterator i = params_.find(key);
    std::vector<std::string> temp = boost::get<std::vector<std::string> >(i->second)
    std::vector<T> ret(temp.size());
    for(int i=0; i<temp.size(); i++){
         ret[i]=boost::lexical_cast<T>(temp[i]);
    }
    return ret;    
}

但我不知道如何专门为此功能。 非常感谢。

Answer 1

不要专门化功能模板。

• 为什么不专门化功能模板？
• 模板专业化和重载

相反，使用过载。

编写一个函数模板get_impl来处理一般情况，并重载 （不特殊 ）这个来处理特定的情况，然后从get调用get_impl ：

template<typename T>
const T& Parameters::get(const std::string& key)
{
     //read the explanation at the bottom for the second argument!
     return get_impl(key, static_cast<T*>(0) );
}

这是实际的实现。

//general case
template<typename T>
const T& Parameters::get_impl(const std::string& key, T*)
{
    Map::iterator i = params_.find(key);
    return boost::lexical_cast<T>(boost::get<std::string>(i->second));
}

//this is overload - not specialization
template<typename T>
const std::vector<T>& Parameters::get_impl(const std::string& key, std::vector<T> *)
{
      //vector specific code
}

get的static_cast<T*>(0)只是消除歧义歧义的一种棘手方法。 static_cast<T*>(0)是T* ，并将其作为第二个参数传递给get_impl将帮助编译器选择正确的get_impl版本。 如果T不是std::vector ，将选择第一个版本，否则将选择第二个版本。

Answer 2

呃。 称之为别的什么？ 例如

template<typename T>
const T& Parameters::getVector(const std::string& key)
{
  Map::iterator i = params_.find(key);
  std::vector<std::string> temp = boost::get<std::vector<std::string> >(i->second)
  // T is already a vector
  T ret; ret.reserve(temp.size());
  for(int i=0; i<temp.size(); i++){
     ret.push_back(boost::lexical_cast<typename T::value_type>(temp[i]));
  }
  return ret;  
}

你必须称之为：

foo.getVector<std::vector<int> > ("some_key");

您的问题中没有任何内容排除这一点。

现在，如果你真的需要使用get() ，那么你必须依赖于部分特化结构，因为语言不支持函数部分特化。

这要复杂得多，例如：

template <typename T>
struct getter
{
  const T& operator()(std::string const& key)
  {
    // default operations
  }
};

// Should double check this syntax 
template <typename T>
struct getter<std::vector<T, std::allocator<T> > >
{
  typedef std::vector<T, std::allocator<T> > VecT;
  const VecT& operator()(std::string const& key)
  {
    // operations for vector
  }
};

然后在你的方法成为：

template<typename T>
const T& Parameters::get(const std::string& key)
{
  return getter<T>()(key); // pass the structures getter needs?
}