如何使函数参数容器独立

Question

我正在编写一个实用函数，它将采用元素向量（可以是 string、int、double、char）并将其连接成单个字符串并返回它。它看起来像这样：

template<typename T>
std::string convert2Str(std::vector<T> const& vec) 
{
   std::ostringstream sStream; 
   for (size_t k=0; k<vec.size(); ++k) {
      sStream << vec[k] << " "; 
   }
   return sStream.str(); 
}

我想让这个函数更通用：

• 首先使用迭代器而不是使用 vector 的索引。我试过这个 std::vector::const_iterator it = vec.begin() 在循环之前，编译器给了我一个错误： : 错误：在其之前应有 ; 当我将上述定义更改为 std::vector::const_iterator it = vec.begin() 错误消失。因此，看起来我没有遵循正确的语法，请让我知道它是什么。
• 其次是通过使第一个参数容器独立来使函数更加通用。给定任何容器（vector、list、queue、deque等）我想做同样的事情如上所述。我尝试在 stackoverflow 中搜索此内容，但没有找到满意的答案。

Answer 1

步骤 1，正如您所说，使用迭代器：

template<typename T>
std::string convert2Str(std::vector<T> const& vec) 
{
   typedef std::vector<T> container;
   std::ostringstream sStream; 
   for (typename container::const_iterator it = vec.begin(); it != vec.end(); ++it) {
      sStream << *it << " "; 
   }
   return sStream.str(); 
}

步骤 2，使模板参数成为容器类型而不是元素类型（您可以使用 value_type 获取元素类型：

template<typename container>
std::string convert2Str(container const& vec)
{
   typedef container::value_type T; // if needed
   std::ostringstream sStream; 
   for (typename container::const_iterator it = vec.begin(); it != vec.end(); ++it) {
      sStream << *it << " "; 
   }
   return sStream.str(); 
}

在 C++0x 中，这变得更加简单（并且不需要 typename）：

template<typename container>
std::string convert2Str(container const& vec)
{
   using std::begin;
   using std::end;
   std::ostringstream sStream;
   for (auto it = begin(vec); it != end(vec); ++it) {
      typedef decltype(*it) T; // if needed
      sStream << *it << " "; 
   }
   return sStream.str(); 
}

除其他优点外，std::begin 和 std::end 适用于原始数组。

Answer 2

按照 STL 实践，我建议使用两个迭代器作为输入参数，而不是容器（明显的原因是只能使用容器的一部分，并且通常可以使用迭代器定义的任何序列）

template<typename InputIterator>
std::string convert2Str(InputIterator first, InputIterator last)
{
    std::ostringstream sStream;
    for (InputIterator it = first; it != last; ++it) {
       sStream << *it << " ";
    }
    return sStream.str();
}

：所包含对象的类型，使用

typedef typename std::iterator_traits<InputIterator>::value_type T;

ADDED：
然后，您可以按如下方式使用该函数：

std::vector<int> int_vec;
std::list<float> f_list;
std::deque<std::string> str_deq;

     // put something into the containers here

std::cout<< convert2Str(int_vec.begin(), int_vec.end()) <<std::endl;
std::cout<< convert2Str(f_list.begin(), f_list.end()) <<std::endl;
std::cout<< convert2Str(str_deq.begin(), str_deq.end()) <<std::endl;

请注意，您不能迭代 std::queue；但如果您确实需要它，该标准保证为 DIY 解决方案提供足够的支持。请在此处查看更多信息：std::queue iteration。

Answer 3

如果仅对容器类型进行模板化，这是最简单的；值类型作为 typedef 成员 value_type 存储在所有标准、Boost 和 Qt 容器中。 std::copy 和 ostream_iterator 允许您跳过冗长的迭代器声明。

template <typename Container>
std::string convert2Str(Container const &cont)
{
    std::ostringstream s;
    std::copy(cont.begin(), cont.end(),
              std::ostream_iterator<typename Container::value_type>(s, " "));
    return s.str();
}

typename 对于避免歧义是必要的。当您省略此关键字时，最新版本的 GCC 会向您发出警告。

Answer 4

用这个。您需要 typename 部分来告诉编译器在解析时应该考虑 T::const_iterator 类型，直到您真正知道这是真的实际上调用传递一些具有 const_iterator 成员类型的 T 的函数。

template<typename T>
std::string convert2Str(T const& cont) 
{
    std::ostringstream sStream; 
    for (typename T::const_iterator it = cont.begin(); it != cont.end(); ++it) {
        sStream << *it << " "; 
    }
    return sStream.str(); 
}

Answer 5

我认为这应该有效：

template<typename T>
std::string convert2Str(T const& container) 
{
   std::ostringstream sStream; 
   for (typename T::const_iterator i= container.begin(); i != container.end(); ++i) {
      sStream << *i << " "; 
   }
   return sStream.str(); 
}

演示：http://ideone.com/9pUVV