在gcc 库中，模板basic_stringbuf 是从basic_streambuf 派生而来的。在基类basic_streambuf中，已经声明了char_type、traits_type等类型名称。为什么它们在子类 basic_stringbuf 中重复声明？

相关代码贴在下面

// c++/4.2.1/streambuf
template<typename _CharT, typename _Traits>
    class basic_streambuf 
    {
    public:
      //@{
      /**
       *  These are standard types.  They permit a standardized way of
       *  referring to names of (or names dependant on) the template
       *  parameters, which are specific to the implementation.
      */
      typedef _CharT                    char_type;
      typedef _Traits                   traits_type;
      typedef typename traits_type::int_type        int_type;
      typedef typename traits_type::pos_type        pos_type;
      typedef typename traits_type::off_type        off_type;
      //@}

      //@{
      /**
       *  @if maint
       *  This is a non-standard type.
       *  @endif
      */
      typedef basic_streambuf<char_type, traits_type>   __streambuf_type;
      //@}
…
};

// c++/4.2.1/sstream
template<typename _CharT, typename _Traits, typename _Alloc>
    class basic_stringbuf : public basic_streambuf<_CharT, _Traits>
    {
    public:
      // Types:
      typedef _CharT                    char_type;
      typedef _Traits                   traits_type;
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 251. basic_stringbuf missing allocator_type
      typedef _Alloc                        allocator_type;
      typedef typename traits_type::int_type        int_type;
      typedef typename traits_type::pos_type        pos_type;
      typedef typename traits_type::off_type        off_type;

      typedef basic_streambuf<char_type, traits_type>   __streambuf_type;
      typedef basic_string<char_type, _Traits, _Alloc>  __string_type;
      typedef typename __string_type::size_type     __size_type;
…
};

更新:

char_type 已经在父类中声明为公共(public)成员。子类可以直接使用。我的问题是为什么 gcc 不按如下方式实现 basic_stringbuf

template<typename _CharT, typename _Traits, typename _Alloc>
    class basic_stringbuf : public basic_streambuf<_CharT, _Traits>
    {
    public:
      // Types:
      //typedef _CharT                  char_type;
      //typedef _Traits                     traits_type;
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // 251. basic_stringbuf missing allocator_type
      typedef _Alloc                        allocator_type;
      //typedef typename traits_type::int_type      int_type;
      //typedef typename traits_type::pos_type      pos_type;
      //typedef typename traits_type::off_type      off_type;

      typedef basic_streambuf<char_type, traits_type>   __streambuf_type;
      typedef basic_string<char_type, _Traits, _Alloc>  __string_type;
      typedef typename __string_type::size_type     __size_type;
…
};

编辑:

谢谢 K-ballo。我觉得你的回答很有道理。我尝试了下面的代码。类型名称 char_type 不能在子类中使用。

template<typename _CharT>
class Base
{
public:
    typedef _CharT char_type; 
};

template<typename _CharT>
class Child : public Base<_CharT>
{
private:
    char_type _M_Data; // FAIL: Unknown type name 'char_type'
};

最佳答案

你试过吗？基类basic_streambuf<_CharT, _Traits>是依赖类型，编译器不知道 basic_streambuf 的特化(如果有的话)在实际类型被实例化之前，这个基础会一直存在。因此，基类的定义在派生类中不可见。要使依赖基类中声明的类型可见，通常会做 typedef typename base_class::some_type some_type; , gcc 只是决定像 base 一样重新定义它们。

它简化为一个事实 char_type ，虽然在父类中声明为公共(public)成员，但不能被子类直接使用。它必须将其用作

 typename basic_streambuf< _CharT, _Traits >::char_type

关于c++ - 为什么在 gcc 库中重复声明相同的类型，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8094277/