c++ - 标准库容器的通用函数模板

Question

我正在尝试编写一个简单的通用函数来迭代容器元素。每个元素都被转换为 std::string(无论如何)并存储在另一个地方。基本版本很简单:

template<class Container>
void ContainerWork(const Container& c)
{
    for(const auto& elem : c) {
        /* convert to string and store*/
    }
}

然后有必要为值类型为 std::string 的容器添加特化并将代码转换为:

template<typename T, template<typename, typename> class Container, class Allocator>
void ContainerWork(Container<T, Allocator> c)
{
    for(const T& elem : c) {
        /* convert to string and store*/
    }
}

template<template<typename, typename> class Container, class Allocator>
void ContainerWork(Container<std::string, Allocator> c)
{
    for(const std::string& elem : c) {
        /* frame elem in quotes*/
    }
}

效果很好，但现在我只能使用顺序容器(vector、list 等)，但我还想使用 set 和 unordered_set。任何想法如何在没有 4 个参数的容器的“复制粘贴”实现的情况下做到这一点？我正在尝试使用 decltype(Container)::value_type 但没有运气。

我可能会使用大部分 c++11 功能(编译器 - VS2012 或 GCC 4.8.x)

Answer 1

这就是为什么所有标准库的算法都适用于迭代器而不是容器。

您可以更改核心函数以处理迭代器而不是容器。这将需要部分特化，函数模板不存在这种特化，因此我们将使用委托(delegate)到类的技巧:

template <typename It>
void DoIteratorWork(It start, It end)
{
  DoIteratorWork_Impl<It, typename std::iterator_traits<It>::value_type>::call(start, end);
}

template <typename It, typename ValueType>
struct DoIteratorWork_Impl
{
  static void call(It start, It end)
  {
    for (; start != end; ++start) {
      // operate on *it
    }
  }
};

template <typename It>
struct DoIteratorWork_Impl<It, std::string>
{
  static void call(It start, It end)
  {
    for (; start != end; ++start) {
      // operate on *it
    }
  }
};

如果你真的想要，你可以围绕它创建一个包装器:

template <class Container>
void DoContainerWork(const Container& c)
{
  using std::begin; using std::end; // enable ADL of begin and end
  return DoIteratorWork(begin(c), end(c));
}