STL容器的迭代器的模板专业化？

tinlyx 发表于 Dev

天花

我试图编写一个类似于std::to_string基本类型以及STL容器迭代器的模板函数。但是我不确定如何编写足够具体的模板以仅标识迭代器。

我到目前为止尝试的是尝试iterator在STL容器中使用typedef

  template<typename... Args, template <typename...> class Container>
  static string to_string(typename Container<Args...>::iterator s) { ...

下面是一个最小的示例。代码可以编译，但是模板函数My::to_string无法匹配上述签名，因此被std::set<int>::iterator视为默认类型。

我的问题是如何以通用方式正确编写此代码，以便模板函数My::to_string可以拾取迭代器，但不要将迭代器与，等其他标准模板类型混淆std::string。

提前致谢。

#include <set>
#include <iostream>
using namespace std;

class My{
  //base case
  template<typename T>
  static string to_string(const T& t) {
    return "basic ";
  }

  //specialization for string
  template <typename Char, typename Traits, typename Alloc>
  static string to_string(const std::basic_string<Char, Traits, Alloc>& s) {
    return (string)s;
  }

  //Problem line: how to write specialization for iterators of standard containers?
  template<typename... Args, template <typename...> class Container>
  static string to_string(typename Container<Args...>::iterator s) {
    return "itor ";
  }
};

int main() {
  int i =  2;
  string str = "Hello";
  set<int> s;
  s.insert(i);
  cout << to_string(i) << ", " << str << ", "
       << to_string(s.begin()) << endl;   //didn't get captured by iterator spec.
}

输出：

basic, Hello, basic

所需的输出：

basic, Hello, itor

如果只关心参数的迭代性，而不关心容器的类型，则可以SFINAE消除其他重载。

首先做出一个is_iterator特征，如以下答案所示：

template <typename T>
struct sfinae_true : std::true_type {};

struct is_iterator_tester {
    template <typename T>
    static sfinae_true<typename std::iterator_traits<T>::iterator_category> test(int);

    template <typename>
    static std::false_type test(...);
};

template <typename T>
struct is_iterator : decltype(is_iterator_tester::test<T>(0)) {};

现在，SFINAE会根据类型是否为迭代器来解决错误的重载：

//base case
template<typename T>
static std::enable_if_t<!is_iterator<T>::value, string> to_string(const T& t) {
  return "basic ";
}

//specialization for string
template <typename Char, typename Traits, typename Alloc>
static string to_string(const std::basic_string<Char, Traits, Alloc>& s) {
  return (string)s;
}

//Problem line: how to write specialization for iterators of standard containers?
template<typename T>
static std::enable_if_t<is_iterator<T>::value, string> to_string(const T& s) {
  return "itor ";
}