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来处理一般情况，并使用重载（而不是 specialize ）来处理特定情况，然后调用{{1来自get_impl的：

get

这是实际的实现。

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 }中的static_cast<T*>(0)只是消除呼叫歧义的一种棘手方法。 get的类型为static_cast<T*>(0)，并将其作为第二个参数传递给T*，这将有助于编译器选择get_impl的正确版本。如果get_impl不是T，则会选择第一个版本，否则将选择第二个版本。

Answer 2

呃。称之为别的什么？ e.g。

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?
}

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

2 个答案: