为什么string的size()为0，代码依然不崩溃

contestjia

1. #include <iostream>
   
2. #include <string>
   
3. using std::string;
   
4. 
   
5. int main(){
   
6.         string a;
   
7.         std::cout << "size:" << a.size() << " "
   
8.                           << "capacity:" << a.capacity() << std::endl;
   
9.         std::cout << a[3] << std::endl;
   
10.         return 0;
    
11. }

复制代码

代码如上，很简短
为什么a.size() 和 a.capacity()都为0，但依然能使用a[3]访问string的元素，虽然值不对，但也没崩溃

action08

难道现在的编译器系统都很健壮，另外a如果是数组肯定会蹦跶

windoze

绝大多数STL实现里的string自带SSO，特别小的string（一般是16个字节以下）是直接放在string对象里而不是heap上的，也就是说string里至少自带了一点点容量，即使它的capacity显示为0，你访问这个部分是不会崩的。以libc++为例，它的basic_string是这么实现的：

1. 
   
2. class basic_string {
   
3.     // ...
   
4.     enum {__min_cap = (sizeof(__long) - 1)/sizeof(value_type) > 2 ?
   
5.                       (sizeof(__long) - 1)/sizeof(value_type) : 2};
   
6. 
   
7. 
   
8.     struct __long
   
9.     {
   
10.         size_type __cap_;
    
11.         size_type __size_;
    
12.         pointer   __data_;
    
13.     };
    
14. 
    
15.     string __short {
    
16.         union
    
17.         {
    
18.             unsigned char __size_;
    
19.             value_type __lx;
    
20.         };
    
21.         value_type __data_[__min_cap];
    
22.     };
    
23. 
    
24.     union __ulx{__long __lx; __short __lxx;};
    
25. 
    
26. 
    
27.     // ...
    

复制代码

当字符串特别短的时候用的是__short，这里面有个数组直接放string的内容，当字符串足够长的时候才会用__long，这里面有个指针指向heap里分配的内存。
__min_cap在value_type是char的时候等于7，也就是说std::string里自带7个字节的容量。

cjaizss

错误的代码未必会导致错误的结果

contestjia

回复 4# cjaizss

谢谢，应该这个错误是未定义的

contestjia

回复 3# windoze

ok，谢谢了

cokeboL

我是来看猫哥的。

Tyn_Star

回复 3# windoze

厉害厉害！

fender0107401

回复 3# windoze

阿猫，牛逼啊！

shang2010

回复 7# cokeboL

猫哥怎么了，感觉以前2010那段没关注