请问这个模版怎么特化？

Frahm

1. template<typename Iterator>
   
2. struct iterator_traits {
   
3.   typedef Iterator iterator;
   
4.   typedef typename Iterator::iterator_category iterator_category;
   
5.   typedef typename Iterator::value_type value_type;
   
6.   typedef typename Iterator::difference_type difference_type;
   
7.   typedef typename Iterator::pointer pointer;
   
8.   typedef typename Iterator::reference reference;
   
9. //other non-standard traits
   
10. };
    
11. //这样特化不行，说是不能推导出类型或者有未使用参数
    
12. template<typename T, typename Alloc>
    
13. struct iterator_traits<typename std::vector<T, Alloc>::iterator> {
    
14.   typedef typename std::vector<T, Alloc>::iterator iterator;
    
15.   typedef typename iterator::iterator_category iterator_category;
    
16.   typedef typename iterator::value_type value_type;
    
17.   typedef typename iterator::difference difference_type;
    
18.   typedef typename iterator::pointer pointer;
    
19.   typedef typename iterator::reference reference;
    
20.   //...other non-standard traits
    
21. };

复制代码

我想把iterator_traits根据stl中的容器来特化，比如std::vector, 该怎么做呢？

bruceteen

这种设计本身就不合理，应该根据迭代器的类型（比如 前向、随机 等等）来

csumck

你这不是特化，特化要提供具体的类型的，你整个代码里全是模板类型。
你应该是声明一个继承自原来模板的新模板，这样：
template<typename T, typename Alloc>
struct my_iterator_traits : public iterator_traits<typename std::vector<T, Alloc>::iterator> {
  typedef typename std::vector<T, Alloc>::iterator iterator;
  typedef typename iterator::iterator_category iterator_category;
  typedef typename iterator::value_type value_type;
  typedef typename iterator::difference difference_type;
  typedef typename iterator::pointer pointer;
  typedef typename iterator::reference reference;
  //...other non-standard traits
  //在这里面重载基类模板的方法就可以了
};

//使用的时候这样
my_iterator_traits<T, Alloc> it;

Frahm

回复 2# bruceteen


    我的目的是在原本iterator_category的基础上扩展，但为了一致性，又不能在std内部定义类型，所以我打算重写这个iterator_traits, 和所有的iterator category tag, 但为了兼容原本的stl 容器，所以我打算根据所有的stl容器来特化我的iterator_traits

Frahm

回复 3# csumck


    这样的话，调用接口就不一致了，我以为可以自动推导的

Frahm

回复 3# csumck
奇怪的是我这样写就可以推导出来

1. template<typename T, typename Alloc>
   
2. struct iterator_traits<std::vector<T, Alloc> > {
   
3.   typedef typename std::vector<T, Alloc>::iterator iterator;
   
4.   typedef typename iterator::iterator_category iterator_category;
   
5.   typedef typename iterator::value_type value_type;
   
6.   typedef typename iterator::difference_type difference_type;
   
7.   typedef typename iterator::pointer pointer;
   
8.   typedef typename iterator::reference reference;
   
9.   //...other non-standard traits
   
10. };

复制代码

iterator_traits<std::vector<int> > mty; //这样可以
不过显然，接受的参数不对了
我感觉是typename的问题，但在这里要引出其iterator类型的话不加typename又不行，很矛盾啊

Frahm

我明白问题了，不能根据iterator推导出vector类型，因为iterator是模版中的参数，可能是任何类型，比如int*, 此时仅根据iterator类型无法断定vector类型，可能根本不存在该vector类型。所以结论就是模版特化的时候特化模版参数的类型不能是由一个类型引出(:: )的类型，简单的说就是不能有typename，否则相当于反向推导，无法判别。

Frahm

那么现在的问题是，我该怎么实现特化呢？如何知道一个Iterator是属于哪个Container的呢？

Frahm

我知道了，突然想到，这样就可以了

1. 
   
2. struct my_input_iterator_tag : public std::input_iterator_tag {};
   
3. struct my_output_iterator_tag : public std::output_iterator_tag {};
   
4. 
   
5. struct my_forward_iterator_tag
   
6.   : public std::forward_iterator_tag {};
   
7. 
   
8. struct my_bidirecitional_iterator_tag
   
9.   : public std::bidirectional_iterator_tag {};
   
10. 
    
11. struct my_random_access_iterator_tag
    
12.   : public std::random_access_iterator_tag {};
    
13. 
    
14. 
    
15. template<typename Iterator>
    
16. struct iterator_traits {
    
17.   typedef typename Iterator::iterator_category iterator_category;
    
18.   typedef typename Iterator::value_type value_type;
    
19.   typedef typename Iterator::difference_type difference_type;
    
20.   typedef typename Iterator::pointer pointer;
    
21.   typedef typename Iterator::reference reference;
    
22. };

复制代码

这样就可以兼容stl的容器，而且可以自己拓展iterator category了。

windoze

回复 7# Frahm

这个当然不行啦，比如说：

1. 
   
2. struct MyStruct {
   
3.     typedef int some_type;
   
4. };
   
5. 
   
6. template<typename T>
   
7. struct some_template{ ... };
   
8. 
   
9. template<typename T>
   
10. struct some_template<T::some_type>{ ... };
    

复制代码

万一你用MyStruct::some_type去规约，可这个type实际上就是int，编译器怎么知道T应该是什么？

最主要的问题就是一个type里面定义的type，和外面的type不存在关系，这种东西叫non-dedecued context

C++在这些地方就是一个大坑，没事表往里跳