stl源码剖析一书上的 traits的特化版本的疑问

[bsnry]

问题：照着书上写了一个简单的traits， 发现作者提供的特化版本理解不了。

template <class T>
struct MyIter {
	typedef T value_type;
	T* ptr;
	MyIter(T* p = 0) : ptr(p) {}
	T const & operator*() const { return *ptr; }
};


template <class T>
struct MyTraits {				//page 87 页的版本
	typedef typename T::value_type value_type;
};

template<class T>				//这个是我自己写的
struct MyTraits<T*>		//解决原生指针
{
	typedef typename T::value_type value_type;
};

/*

page 88页 提供 MyTraits<T*>的 特化版本如下：

template<class T>
struct MyTraits<T*>		
{
	typedef typename T value_type;
};

另外还有这么一段文字：于是，原生指针int* 虽然不是一种class type, 亦可透过traits取其value type.........


问题在于： 我提供的traits的特化版本和作者的不一样， 为什么作者会这样写？ 当使用一个MyTraits的使用，类型肯定是迭代器MyIter进行匹配，

，另外MyIter中定义了类型，那么 我的应该没有错啊。

*/



//多一层次的traits
template<class T>
typename MyTraits<T>::value_type TestFunc( T iter)
{
	return *iter;
}

[深圳小北]

lz 弄懂了告诉我啊

[pengzhixi]

迭代器里面也有value_type的typedef啊

[深圳小北]

stl 源码第一次看，看得云里雾里的

[bsnry]

[Quote=引用 1 楼 pengzhixi 的回复:]
迭代器里面也有value_type的typedef啊
[/Quote]

是对的，MyIter 中确实有个typedef T value_type


我自己的的 traits特化版本：
template<class T>
struct MyTraits<T*>
{
typedef typename T::value_type value_type; //正因为迭代器有个typedef ，所以这样定义，很自然啊
};



page 88页 提供 MyTraits<T*>的 特化版本如下：

template<class T>
struct MyTraits<T*>
{
typedef T value_type; // 就比较奇怪了，当MyTraits< 迭代器指针> 这样使用的时候，就成了typedef 迭代器指针 value_type; 很明显作者的版本和我写的，差异非常大啊。
};

[iamnobody]

首先楼主对迭代器的定义还不懂吧.


指针是一种迭代器.这个traits作为得到迭代器的信息的辅助类,应该也支持指针.

MyTraits<int*>::value_type 应该是int ,因为这是整型指针指向的数据的类型.也就是value_type的含义.

但是你的写法 MyTraits<int*>::value_type 会出错.

[downmooner]

我觉得stl最终会毁在typedef上....

[mosal]

原生指针 就是所谓原生态内置类型指针 而非一个自定义类型指针或自定义类型中的指针变量

[bsnry]

[Quote=引用 4 楼 mingliang1212 的回复:]
首先楼主对迭代器的定义还不懂吧.


指针是一种迭代器.这个traits作为得到迭代器的信息的辅助类,应该也支持指针.

MyTraits<int*>::value_type 应该是int ,因为这是整型指针指向的数据的类型.也就是value_type的含义.

但是你的写法 MyTraits<int*>::value_type 会出错.
[/Quote]

终于有人说到点子上了， 多谢

我根据你说的， 修改了一下，并付了一个 使用：

template <class T>
struct MyIter {
	typedef T value_type;
	T* ptr;
	MyIter(T* p = 0) : ptr(p) {}
	T const & operator*() const { return *ptr; }
	
};


template <class T>
struct MyTraits {
	typedef typename T::value_type value_type;
};

template<class T>
struct MyTraits<T*>		//解决原生指针
{
	typedef  T value_type;
};


//多一层次的traits
template<class T>
typename MyTraits<T>::value_type TestFunc( T iter)
{
	return *iter;
}

int main()
{
	int* p= new int(200);

	MyTraits<int*>::value_type iter2= TestFunc(p);		// 解决原生指针

	int data=20;

	MyIter<int> iter3(&data);

	MyTraits<MyIter<int>>::value_type iter4=TestFunc(iter3);


	return 0;
}

[mosal]

typedef typename T::value_type value_type; //针对迭代器类中的value_type
typedef typename T value_type; //针对原生指针的value_type 都是为了得到一个type最后最为指针解引用的返回类型

[深圳小北]

楼主，我也在看stl源码剖析，，咱两一起研究