stl中的size_type,difference_type和value_type，reference

size_type

无符号整数类型，足够保存两个迭代器之间的距离

size_type是unsigned类型,表示容器中元素长度或者下标，vector::size_type i = 0;

标准库string中的成员类型(member type),以实现标准库类型和机器的无关性，能够存下任意string对象的大小，是一种无符号类型。

标准库string的成员函数(size(),查找函数)的返回值类型均为string::size_type。

在用下标访问元素时，string使用string::size_type作为下标类型。

string::size_type它在不同的机器上，长度是可以不同的，并非固定的长度。但只要你使用了这个类型，就使得你的程序适合这个机器与实际机器匹配。与之类似的有vector::size_type。

size_type是由string类类型和vector类类型定义的类型，用于保存任意string对象或vector对象的长度

	string  s("hello world");
	//计算容器中存储元素长度
	string::size_type len = s.size();
	string::size_type len1=s.length();
	cout << "s.size()= " << len << endl;
	cout << "s.length()= " << len1 << endl;
	//下标访问
	string::size_type pos1 = -1;//输出会直接报错，因为是无符号整型
	string::size_type pos = 1;
	//如果将一个负值n赋值给一个无符号整型，该负值n会自动转化为一个比较大的无符号值
	cout << "pos= "<<pos1<< endl;
	cout << "s[pos]= " << s[pos] << endl;

	string  s("hello world");
	//表示两个迭代器之间的距离
	string::size_type len3 = s.end()-s.begin();//如果将一个负值n赋值给一个无符号整型，该负值n会自动转化为一个比较大的无符号值
	string::size_type len4 = s.begin() - s.end();//为负值
	cout << "begin到end迭代器之间的距离为：" << len3 << endl;
	cout << "len4= " << len4 << endl;

c++11新特性标准中，编译器可以通过auto或者decltype来推断变量的类型

	string  s("hello world");
	auto len = s.size();
	cout << "s.size()=" << len << endl;
	decltype(s.size()) len1 = s.size();
	cout << "s.size()= " << len1 << endl;

difference_type

带符号整数类型，足够保存两个迭代器之间的距离

difference_type使用来表示两个迭代器之间的距离的。

	vector<int> v(10, 1);
	vector<int>::difference_type len = v.begin() - v.end();
	vector<int>::difference_type len1 = v.end() - v.begin();
	cout << "begin-end= " << len << endl;
	cout << "end-begin= " << len1 << endl;

value_type

元素类型

value_type 是用来表示迭代器所指对象的类别的。

value_type实际就是传入模板的类型

class p
{
public:
	p() { num = 100; }
	p(int n) :num(n) {};
	int num;
};
void test()
{
	vector<p> v;
	vector<p>::value_type n1(520);//等价于 p n1(520);
	v.push_back(n1);
	cout << v[0].num << endl;
}

reference

元素的左值类型：与value_type&含义相同

	vector<p> v;
	p p1(520);
	vector<p>::reference ref = p1;
	p& ref1 = p1;//等价写法
	cout << "ref.num= "<<ref.num << endl;
	cout << "ref1.num= " << ref1.num << endl;

（以上定义参考c++prime第295页）

写的尽兴处，再额外补充几个

size_t

size_t是unsigned类型，用于指明数组长度或下标，它必须是一个正数，std::size_t.设计size_t就是为了适应多个平台，其引入增强了程序在不同平台上的可移植性。

注意：与size_type不同之处，size_type只适用于容器中，可以理解为容器里面对size_t进行了封装，变成了size_type，容器里面的size_t，并且在使用STL中表明容器长度的时候，我们一般用size_type。

ptrdiff_t

ptrdiff_t是signed类型，用于存放同一数组中两个指针之间的差距，它可以使负数，std::ptrdiff_t.同上，使用ptrdiff_t来得到独立于平台的地址差值.

注意：容器中的difference_type相当于是对ptrdiff_t做的封装，一般在容器中计算两个迭代器之间的距离用difference_type,因为容器底层是对指针的封装,而在计算指针之间的距离时用prtdiff_t.

const value_type

	vector<p> v;
	const vector<p>::value_type n1;//等价于 p n1(520);
	//n1.num = 60;//错误，因为等价于 const p n1，显然不能修改n1的值
	v.push_back(n1);
	cout << v[0].num << endl;

const_reference

与const value_type&等价

vector<p> v;
	p p1(520);
	vector<p>::const_reference ref = p1;//常量引用，不能修改引用指向的值，但是本体可以修改自己
	//cout << ref.num++ << endl; 错误写法，不能修改const引用的ref指向的值
	p1.num = 10;
	cout << "ref= " << ref.num << endl;