vs2019测试sizeof(string)的长度是28

//他的本意应该是想定义时确定一个数组的大小，故这样写了代码
string s;
char c[strlen(s.c_str())]={0}; //都是不对的代码
int a[strlen(s.c_str())]={0};

//这是在vs 2019上运行的结果：
int main()
{
  string s;
    //这里我的本意是让他理解及去梳理strlen(),length(),以及sizeof()这几个求长度函数的差异，却让自己深思一下
  cout << strlen(s.c_str()) << endl;    //0
  cout << s.length() << endl;           //0
  cout << sizeof(s) << endl;            //28
  cout << sizeof(string) << endl;       //28
  return 0;
}
//探索后，发现在linux上运行的结果
#include <stdio.h>
#include <iostream>
#include <string.h>
using namespace std;
int main()
{
  string s;
  cout << strlen(s.c_str()) << endl;    //0
  cout << s.length() << endl;           //0
  cout << sizeof(s) << endl;            //32
  cout << sizeof(string) << endl;       //32
  return 0;
}

//string实际是 类模板 传入char
using string  = basic_string<char, char_traits<char>, allocator<char>>;
//第一步：
//这里实际是关注basic_string 中传入char时类所占内存的大小。
//实际测试：
cout << sizeof(basic_string111<char, char_traits<char>, allocator<char>>) << endl;   //28
//简化basic_string 相关的类中成员，最终类简化后占用内存的成员是：
template <class _Elem, class _Traits = char_traits<_Elem>, class _Alloc = allocator<_Elem>>
class basic_string111 { // null-terminated transparent array of elements
private:
  using _Alty = _Rebind_alloc_t<_Alloc, _Elem>;
  using _Alty_traits = allocator_traits<_Alty>;
  using _Scary_val = _String_val<conditional_t<_Is_simple_alloc_v<_Alty>, _Simple_types<_Elem>,
    _String_iter_types<_Elem, typename _Alty_traits::size_type, typename _Alty_traits::difference_type,
    typename _Alty_traits::pointer, typename _Alty_traits::const_pointer, _Elem&, const _Elem&>>>;
private:
  _Compressed_pair<_Alty, _Scary_val> _Mypair;  //这是实际占用的
};
//第二步：
//这里就需要研究成员变量的的大小了：    _Compressed_pair<_Alty, _Scary_val> _Mypair;
//实际测试：
cout << sizeof(_Alty) << endl;        //1
cout << sizeof(_Scary_val) << endl;   //28
cout << sizeof(_Compressed_pair<_Alty, _Scary_val>) << endl;     //28
//第三步
//接下来需要研究成员大小：    _Compressed_pair<_Alty, _Scary_val>大小为什么是28
//首先获取到 _Compressed_pair 实际也是一个类模板    中间有个成员变量 实际是模板第二个参数
template <class _Ty1, class _Ty2, bool = is_empty_v<_Ty1> && !is_final_v<_Ty1>>
class _Compressed_pair final : private _Ty1 { // store a pair of values, deriving from empty first
public:
    _Ty2 _Myval2;
    using _Mybase = _Ty1; // for visualization
};
//====>所以 _Compressed_pair 的大小，实际上可以确定是第二个模板参数 也就是_Scary_val 的大小。
//====>_Scary_val  实际又是 类模板 
using _Scary_val = _String_val<conditional_t<_Is_simple_alloc_v<_Alty>, _Simple_types<_Elem>,
    _String_iter_types<_Elem, typename _Alty_traits::size_type, typename _Alty_traits::difference_type,
    typename _Alty_traits::pointer, typename _Alty_traits::const_pointer, _Elem&, const _Elem&>>>;
// ====》也就是确定 这个类模板 对应传参实际大小   
template <class _Val_types>
class _String_val111 : public _Container_base {
public:
  // length of internal buffer, [1, 16]:
  static constexpr size_type _BUF_SIZE = 16 / sizeof(char) < 1 ? 1 : 16 / sizeof(char);  
  union _Bxty { // storage for small buffer or pointer to larger one
    _Bxty() noexcept {} // user-provided, for fancy pointers
    ~_Bxty() noexcept {} // user-provided, for fancy pointers
    value_type _Buf[_BUF_SIZE];
    pointer _Ptr;
    char _Alias[_BUF_SIZE]; // TRANSITION, ABI: _Alias is preserved for binary compatibility (especially /clr)
  } _Bx;
  typename size_t _Mysize;        // 4个字节 typedef unsigned int     size_t;
  typename _Val_types::size_type _Myres;  // 4个字节 实际是模板参数传参对应的size_type 类型  实际还是size_t
};
//第四步：实际上就是分析_String_val111 所占大小
//为了确定_Val_types::size_type 的类型及长度    跟踪一下模板参数：conditional_t 
_String_val111<conditional_t<_Is_simple_alloc_v<_Alty>, _Simple_types<char>,
    _String_iter_types<char, typename _Alty_traits::size_type, typename _Alty_traits::difference_type, typename _Alty_traits::pointer, typename _Alty_traits::const_pointer, char&, const char&>>>
//可以确定他实际是  _Simple_types<char>中对应的size_type    
 template <class _Value_type>
struct _Simple_types1 { 
  using value_type = _Value_type;
  using size_type = size_t;   //===》实际是这个  也是unsigned int
  using difference_type = ptrdiff_t;
  using pointer = value_type*;
  using const_pointer = const value_type*;
};
//分析后可以确定   
//_String_val111 类中，成员变量的长度是 union (16) + size_t(4) +_Val_types::size_type(4)  +基类成员中有一个指针（4） = 28