为什么s [0]是C++中空字符串s的空字符串？

Question

C++ Primer告诉我s[s.size()]应该是不可预知的。

但我尝试了很多次，并将其插入到其他代码中，s[0]始终是一个空字符串。但是，s不是空字符串时，尝试访问s[size()]将引发错误。

为什么空字符串是特殊的？

Answer 1

成员对字符串的访问会产生字符，而不是字符串。

C++ 11个保证s[s.size()]是0 C++ 17甚至允许你写入到s[s.size()]，只要你正在写的值0：

[关于operator[](size_type pos)：]

需要：pos <= size()。

返回：*(begin() + pos) if pos < size()。否则，返回对 charT对象的引用，其值为charT()，其中将对象修改为除charT()以外的任何值都会导致未定义的行为。

（charT()是standardese为 “零”。）

此前C++ 17的最后一句不包含词语 “比charT()之外的任何值”。这是过分限制的，例如，禁止将strcpy转换成正确大小的字符串。