【C++】string是否以'\0'结尾

我今天做leetcode题的时候发现一个趣事。一个string的对象的s的[]可以取到string的size(), 即s[s.size()]。string对象的size()本应该是这个对象的大小，这个对象的区间范围应该是[0,size()-1]才对， 为什么这个对象可以取到 s[s.size()]。并且没有报错。我百思不得其解。

我本来以为string不是以’\0’结尾的，是因为string类的对象有一个接口是c_str()。 接口原型是：const char * c_str() const ;这个接口的作用就是 将str转换成c形式的字符串。返回一个指向数组的指针，该数组是包含一个空值终止的字符序列。终止符就是（’\0’）.

所以我一直认为string类的对象是不含‘\0’的。 可是今天的程序并没有报错。所以我又试着写了几个测试的代码。来颠覆我以前所谓的认为。

情况一

正常的情况，for循环取到string对象的size()的前一个位置，所以要<s.size().

int main()
{
	string s("abcde");
	for (int i = 0; i < s.size(); i++)
	{
		cout << s[i] << "*";
	}
	cout << endl;
	system("pause");
}

结果：

情况二

我们紧接着改一下代码， 使变量i可以取到s.size()。 使它<=s.size()

int main()
{
	string s("abcde");
	for (int i = 0; i <= s.size(); i++)
	{
		cout << s[i] << "*";
	}
	cout << endl;
	system("pause");
}

结果：

我们可以看见我们取到了s[s.size()]这个位置的值，这里看到的就是一个空值，相当于一个空格。但是它是空格吗？按理说不是s对象的范围不应该是【0，s.size()-1】吗？ 为什么会取到s.size() ? 不是已经越界了吗？我们继续往下看。

情况三

我们再往后取，取到s.size()+1 。让变量i取到s.size()+1 , 我们看看结果是什么？

int main()
{
	string s("abcde");
	for (int i = 0; i <= s.size()+1; i++)
	{
		cout << s[i] << "*";
	}
	cout << endl;
	system("pause");
}

结果：

这一次就发生了越界的情况，同理，你取到s.size()+1, s.size()+2，以及往后都是越界， 你们也可以自己下去试一下。

验证

那么问题来了？ 最后一个字符是什么？ 是’\0’还是空格呢 ？？ 我们再来改一下代码验证一下

int main()
{
	string s("abcde");
	if (s[s.size()] == ' ')
	{
		cout << "空格" << endl;
	}
	if (s[s.size()] == '\0')
	{
		cout << "末尾结束符'\\0’" << endl;
	}
	cout << endl;
	system("pause");
}

结果：

所以说，string对象都是以’\0’ 结尾的，只是string类的size()还是可以存放size()个数据。只是编译器在string类下标为size()的地方加上了‘\0’，标识string类对象的size()大小有多少