なぜstd :: stringは空のrepであるのですか？

Question

GNUのstd::string実装では、_S_empty_rep_storageは次のように定義されています。

template<typename _CharT, typename _Traits, typename _Alloc> 
    typename basic_string<_CharT, _Traits, _Alloc>::size_type 
    basic_string<_CharT, _Traits, _Alloc>::_Rep::_S_empty_rep_storage[ 
    (sizeof(_Rep_base) + sizeof(_CharT) + sizeof(size_type) - 1)/sizeof(size_type) 
    ]; 

charではなくsize_typeという用語で定義されるのはなぜですか？

template<typename _CharT, typename _Traits, typename _Alloc> 
    _CharT 
    basic_string<_CharT, _Traits, _Alloc>::_Rep::_S_empty_rep_storage[ 
    sizeof(_Rep_base) + sizeof(_CharT) 
    ]; 

のように定義されていないのはなぜですか？

参考：私が自分の文字列クラス （これはstd::stringが満たしていないさまざまな要件を持つ）を実装しているので、私が求めているのは なので、できるだけ多くのことを理解したいのですがstd::stringが実装されています。

Answer 1

特に、charではなくwchar_tを使用している場合は、_CharTのサイズが異なる場合があります。

私は質問の一部にしか答えていないことを認識しています。私はRep_baseのものがどういう形で定義されているのかよく分かりませんが、一般的にはSTLを使ってどうやって動作するか心配しないことが最善です。それだけで幸せになります。

基本的なバグを見つけられない可能性が非常に高いためです。

Answer 2

アラインメントと丸め。 + sizeof(size_type) - 1)/sizeof(size_type)部分は、次に高い数字のsize_type要素に切り上げられます。