C++ 头文件类别(string)—-分析string先导化内存模型

测大小

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

图片 1

测大小

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

图片 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 {...}

看成员

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

图片 3

看成员

光有继承连串还不够,我们还得看看类成员。
注意,这里不需要关爱模版参数,至于为什么,你们自己优质思考喽
>-<)

图片 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字节,则 **_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

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

图片 5

析类型

此处有多少个类型定义相当重大:value_type, pointer, size_type
从源代码上看,这些品种经过了一层又一层的typedef,源头难辨。
因而,大家转而从标准草案来先解读value_type

typedef typename traits::char_type      value_type;

X::char_type    ->      charT
charT           ->      char

此外六个类型也依理分析,最终得出它们的实际上类型分别为:

图片 6

得结果

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

图片 7

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

图片 8

得结果

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

图片 9

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

图片 10