C++ 头文件体系(string)—-分析string开始化内存模型

看成员

光有继承序列还不够,大家还得看看类成员。
注意,这里不需要关注模版参数,至于为啥,你们自己可以考虑喽
>-<)

图片 1

看定义

可知看到,_Container_base12类只包含一个指南针(指向一个代理类,那里大家不追究),大小永远为1个字长
因而,我们最紧要来看望_String_val类的分子定义:

1. enum
     {  // length of internal buffer, [1, 16]
      _BUF_SIZE = 16 / sizeof (value_type) < 1 ? 1
         : 16 / sizeof (value_type)};

  union _Bxty
    {   // storage for small buffer or pointer to larger one
    value_type _Buf[_BUF_SIZE];
    pointer _Ptr;
    char _Alias[_BUF_SIZE]; // to permit aliasing
    } _Bx;

2. size_type _Mysize;   // current length of string
3. size_type _Myres;    // current storage reserved for string

其中,_BUF_SIZE概念了缓冲区的长短:

  • 若value_type类型小于1字节,则 **_BUF_SIZE = 16**。
  • 否则,**_BUF_SIZE = 16 /
    sizeof(value_type)**。(留心,这里是整除取商!!!)

看定义

可以见到,_Container_base12类只包含一个指针(指向一个代理类,这里我们不追究),大小永远为1个字长
因而,大家着重来探视_String_val类的积极分子定义:

1. enum
     {  // length of internal buffer, [1, 16]
      _BUF_SIZE = 16 / sizeof (value_type) < 1 ? 1
         : 16 / sizeof (value_type)};

  union _Bxty
    {   // storage for small buffer or pointer to larger one
    value_type _Buf[_BUF_SIZE];
    pointer _Ptr;
    char _Alias[_BUF_SIZE]; // to permit aliasing
    } _Bx;

2. size_type _Mysize;   // current length of string
3. size_type _Myres;    // current storage reserved for string

其中,_BUF_SIZE概念了缓冲区的长度:

  • 若value_type类型小于1字节,则 **_BUF_SIZE = 16**。
  • 否则,**_BUF_SIZE = 16 /
    sizeof(value_type)**。(留心,这里是整除取商!!!)

测大小

此处我们比较4种版本的basic_string模版类,分别是:string, wstring,
u16string, u32string.
尽管他们是见仁见智的字符串类型,然则其sizeof的结果却一样,都为40字节(x64下):

图片 2

得结果

综上,字符串类型内存模型如下:

图片 3

终极让我们拿string类型来证实一下(><良心保证,下图为代码运行结果,非纯数字打印):

图片 4

得结果

综上,字符串类型内存模型如下:

图片 5

终极让我们拿string类型来表明一下(><良心保证,下图为代码运行结果,非纯数字打印):

图片 6

析类型

这边有多少个类型定义非常首要:value_type, pointer, size_type
从源代码上看,这一个品种经过了一层又一层的typedef,源头难辨。
因而,大家转而从正式草案来先解读value_type

typedef typename traits::char_type      value_type;

X::char_type    ->      charT
charT           ->      char

其他多个体系也依理分析,最终得出它们的莫过于类型分别为:

图片 7

看成员

光有继承序列还不够,我们还得看看类成员。
注意,这里不需要关注模版参数,至于怎么,你们自己完美思考喽
>-<)

图片 8

看源码

俺们都通晓,下边4个不同的体系是无异于份模版(basic_string)的实例化,由此它们的内存模型都是千篇一律的
这里我们来追踪一下string类型的源代码,源码引用VS2013版的科班string库。

析类型

这边有多少个类型定义很是重大:value_type, pointer, size_type
从源代码上看,这多少个品种经过了一层又一层的typedef,源头难辨。
由此,咱们转而从正式草案来先解读value_type

typedef typename traits::char_type      value_type;

X::char_type    ->      charT
charT           ->      char

其他五个品种也依理分析,最终得出它们的莫过于类型分别为:

图片 9

看继承

看得出,basic_string的接续系列卓殊复杂(脚下无关部分自己用...代替了)。

1. typedef basic_string<char, char_traits<char>, allocator<char> >
    string;
                ↓↓↓
2. class basic_string
    : public _String_alloc<!is_empty<_Alloc>::value,
        _String_base_types<_Elem, _Alloc> > {...}
                ↓↓↓
3. class _String_alloc
    : public _String_val<typename _Alloc_types::_Val_types> {...}
                ↓↓↓
4. class _String_val
    : public _Container_base {...}
                ↓↓↓
5. typedef _Container_base12 _Container_base;
                ↓↓↓
6. struct _Container_base12 {...}

看源码

咱俩都清楚,下边4个不等的花色是同一份模版(basic_string)的实例化,由此它们的内存模型都是千篇一律的
这里我们来追踪一下string类型的源代码,源码引用VS2013版的正规化string库。

测大小

这边大家比较4种版本的basic_string模版类,分别是:string, wstring,
u16string, u32string.
即使他们是例外的字符串类型,然则其sizeof的结果却一样,都为40字节(x64下):

图片 10

看继承

看得出,basic_string的继承体系卓殊复杂(脚下无关部分自己用...代替了)。

1. typedef basic_string<char, char_traits<char>, allocator<char> >
    string;
                ↓↓↓
2. class basic_string
    : public _String_alloc<!is_empty<_Alloc>::value,
        _String_base_types<_Elem, _Alloc> > {...}
                ↓↓↓
3. class _String_alloc
    : public _String_val<typename _Alloc_types::_Val_types> {...}
                ↓↓↓
4. class _String_val
    : public _Container_base {...}
                ↓↓↓
5. typedef _Container_base12 _Container_base;
                ↓↓↓
6. struct _Container_base12 {...}

相关文章