c++ - 仅提供模板参数 "char"的 basic_string 如何工作，而 basic_string 是一个有参数模板

Question

我这样定义一个字符串对象:

string test;

我想知道STL是怎么实现string的，发现string是basic_string，像这样:

typedef basic_string<char>    string;

但是 basic_string 是这样的模板:

template<typename _CharT, typename _Traits, typename _Alloc>
class basic_string
{
  typedef typename _Alloc::template rebind<_CharT>::other _CharT_alloc_type;

  // Types:
public:
  typedef _Traits                       traits_type;
  typedef typename _Traits::char_type           value_type;
  typedef _Alloc                        allocator_type;
  typedef typename _CharT_alloc_type::size_type     size_type;
  typedef typename _CharT_alloc_type::difference_type   difference_type;
  typedef typename _CharT_alloc_type::reference     reference;
  typedef typename _CharT_alloc_type::const_reference   const_reference;
  typedef typename _CharT_alloc_type::pointer       pointer;
  typedef typename _CharT_alloc_type::const_pointer     const_pointer;
  typedef __gnu_cxx::__normal_iterator<pointer, basic_string>  iterator;
  typedef __gnu_cxx::__normal_iterator<const_pointer, basic_string>
                                                        const_iterator;
  typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
  typedef std::reverse_iterator<iterator>           reverse_iterator;
  ......
}

我只是想知道 basic_string 是如何工作的，它只提供一个模板参数“char”，而 basic_string 实际上是一个有参数的模板

template<typename _CharT, typename _Traits, typename _Alloc>

Answer 1

std::basic_string 有默认的模板参数。按照标准，声明是:

template<class charT, class traits = char_traits<charT>,
  class Allocator = allocator<charT> >
class basic_string