论无符号与带符号的差别，逆转字符串带来的启示

没事写了一下逆转字符串，当然这本来就是很简单的代码，代码如下：

#include<iostream>
#include<string>


int main(int argc,char **argv)
{
	std::string a,b;
	std::cin>>a;
	for(std::string::size_type i = a.size()-1; i >= 0; --i)
	{
		b.push_back(a[i]);
	}
	std::cout<<b<<'\n';
	return 0;
}

乍一看这个代码好像没什么问题，编译也不会有什么问题，但是运行：

123
段错误 (核心已转储)

使用linux的人看见段错误，基本都会明白是容器或者说数组越界了。

用gdb运行：

Breakpoint 1, main (argc=1, argv=0x7fffffffdc08) at main.cpp:14
14	{
(gdb) n
15		std::string a,b;
(gdb) n
16		std::cin>>a;
(gdb) n
123
17		for(std::string::size_type i = a.size()-1; i >= 0; --i)
(gdb) p i
$1 = 4197409
(gdb) n
19			b.push_back(a[i]);
(gdb)  p i
$2 = 2
(gdb) n
17		for(std::string::size_type i = a.size()-1; i >= 0; --i)
(gdb) p i
$3 = 2
(gdb) n
19			b.push_back(a[i]);
(gdb) p i
$4 = 1
(gdb) n
17		for(std::string::size_type i = a.size()-1; i >= 0; --i)
(gdb) p i
$5 = 1
(gdb) n
19			b.push_back(a[i]);
(gdb) p i
$6 = 0
(gdb) n
17		for(std::string::size_type i = a.size()-1; i >= 0; --i)
(gdb) p i
$7 = 0
(gdb) n
19			b.push_back(a[i]);
(gdb) p i
$8 = 18446744073709551615

前面的递减都没什么问题，就是最后一次，i==0时，自减后变成了18446744073709551615，那么明显就是无符号数，原因就是出现在std::string::size_type 类型上，

百度百科给出的解释：由string类类型和vector类类型定义的类型，用以保存任意string对象或vector对象的长度，标准库类型将size_type定义为unsigned类型。

我们为什么不适用int变量来保存string的size呢？

使用int变量的问题是：有些机器上的int变量的表示范围太小，甚至无法存储实际并不长的string对象。如在有16位int型的机器上，int类型变量最大只能表示32767个字符的string对象。而能容纳一个文件内容的string对象轻易就能超过这个数字，因此，为了避免溢出，保存一个string对象的size的最安全的方法就是使用标准库类型string：：size_type().

一点注意：虽然是在学习标准库string的时候巧遇了size_type类型，但是，其实vector库也可以定义size_type类型，在vector库中还有一个difference_type类型，该类型用来存储任何两个迭代器对象间的距离，所以是signed类型的。

友情提示，还有一个size_t:

什么是size_t类型呢？其实本质上和size_type没有多大区别

其实size_t和size_type类似，size_t 类型定义在cstddef头文件中,该文件是C标准库的头文件stddef.h的C++版本.它是一个与机器相关的unsigned类型,其大小足以保证存储内存中对象的大小。用法如下：

bitset<32> bitvec;

size_t sz=bitvec.size();

 另外sizeof操作符的返回值的类型也为size_t哦