C++ STL 代码执行问题

[漂浮一生]

类模板的定义：

template <class T, size_t N>
struct block {
	typedef T					value_type;

	typedef value_type*			pointer;
	typedef const value_type*	const_pointer;
	typedef value_type&			reference;
	typedef const value_type&	const_reference;
	
	typedef ptrdiff_t			diference_type;
	typedef size_t				size_type;

	typedef pointer				iterator;
	typedef const_pointer		const_iterator;

	iterator begin() { return data; };
	iterator end() { return data + N; };

	const_iterator begin() const { return data; };
	const_iterator end() const { return data + N; };

	reference operator [](size_type n) { return data[n]; };
	const_reference operator [](size_type n) const { return data[n]; };

	size_type size() const { return N; };

	T data[N];
};

测试程序：

	block<int, 10> A;

	for (int i = 0; i < 10; i++) 
	{
		A[i] = i;
	}

	//模板中并没有对++ 及*操作符重载，为什么下面的运行没有问题？？
	//系统是如何处理的？？？
	block<int, 10>::iterator iter;
	for (iter = A.begin(); iter != A.end(); ++iter)
	{
		cout << *iter << " ";
	}

看的是侯捷的 泛型编程与STL

[漂浮一生]

发完帖子就突然想明白了，iter和data是同一个类型，data的类型是在申明的时候给出的，++和*操作符没有任何问题，

[勤奋的小游侠]

typedef T value_type; typedef value_type* pointer; typedef pointer iterator; 看这三句，准确来说应该是一个T*指针

[赵4老师]

理解和讨论之前请先学会如何观察！ 计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构…… 对学习编程者的忠告： 多用小脑和手，少用大脑、眼睛和嘴，会更快地学会编程！ 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步Debug版对应汇编一行！ 单步Debug版对应汇编千行不如单步Release版对应汇编一行！ 单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后，就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。 VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）

[mujiok2003]

引用 1 楼 a515360208 的回复:

发完帖子就突然想明白了，iter和data是同一个类型，data的类型是在申明的时候给出的，++和*操作符没有任何问题，

意思你可能明白了。 iter的类型是T*, 且T不是void， iter支持++和* data的类型是 T [N], 和iter的类型不相同，但是数组可以转化为指针。