C++ 头文件体系(string)—-分析string初叶化内存模型公海赌船710

测大小

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

公海赌船710 1

测大小

此间我们比较4种版本的basic_string模版类,分别是:string, wstring,
u16string, u32string.
固然他们是不同的字符串类型,不过其sizeof的结果却一样,都为40字节(x64下):

公海赌船710 2

看源码

我们都知道,下边4个不等的门类是相同份模版(basic_string)的实例化,因而它们的内存模型都是一样的
这里大家来追踪一下string类型的源代码,源码引用VS2013版的科班string库。

看源码

我们都晓得,下边4个例外的品种是相同份模版(basic_string)的实例化,由此它们的内存模型都是同一的
这里我们来追踪一下string类型的源代码,源码引用VS2013版的科班string库。

看继承

看得出,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 {...}

看继承

看得出,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 {...}

看成员

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

公海赌船710 3

看成员

光有继承体系还不够,大家还得看看类成员。
注意,这里不需要关爱模版参数,至于怎么,你们自己完美想想喽
>-<)

公海赌船710 4

看定义

可知见到,_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字节,则 **_公海赌船710,BUF_SIZE = 16**。
  • 否则,**_BUF_SIZE = 16 /
    sizeof(value_type)**。(留心,这里是整除取商!!!)

析类型

此地有多少个类型定义万分重大:value_type, pointer, size_type
从源代码上看,这个序列经过了一层又一层的typedef,源头难辨。
由此,我们转而从正规草案来先解读value_type

typedef typename traits::char_type      value_type;

X::char_type    ->      charT
charT           ->      char

其他多少个品类也依理分析,最终得出它们的实际上类型分别为:

公海赌船710 5

析类型

此间有几个类型定义非常重大:value_type, pointer, size_type
从源代码上看,那么些序列经过了一层又一层的typedef,源头难辨。
因而,大家转而从正规草案来先解读value_type

typedef typename traits::char_type      value_type;

X::char_type    ->      charT
charT           ->      char

其它多个品种也依理分析,最终得出它们的实际上类型分别为:

公海赌船710 6

得结果

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

公海赌船710 7

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

公海赌船710 8

得结果

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

公海赌船710 9

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

公海赌船710 10

相关文章