来自 std::basic_string 的私有继承

Question

我一直在尝试了解有关私有继承的更多信息，并决定创建一个继承自 std::basic_string 的 string_t 类。我知道很多人会告诉我从 STL 类继承是一个坏主意，如果我想扩展它们的功能，最好只创建接受对这些类实例的引用的全局函数。我同意，但正如我之前所说，我正在尝试学习如何实现私有继承。

这是该类到目前为止的样子：

class string_t :
#if defined(UNICODE) || defined(_UNICODE)
  private std::basic_string<wchar_t>
#else
  private std::basic_string<char>
#endif
{
public:
  string_t() : basic_string<value_type>() {}

  string_t( const basic_string<value_type>& str ) 
    : basic_string<value_type>( str ) {}

  virtual ~string_t() {}

  using std::basic_string<value_type>::operator=; /* Line causing error */

  std::vector<string_t> split( const string_t& delims )
  {
    std::vector<string_t> tokens;

    tokens.push_back( substr( 0, npos ) );
  }
};

我收到以下错误：

1>c:\program files\microsoft visual studio 9.0\vc\include\xutility(3133) : error C2243: 'type cast' : conversion from 'const string_t *' to 'const std::basic_string &' exists, but is inaccessible
1>        with
1>        [
1>            _Elem=wchar_t,
1>            _Traits=std::char_traits,
1>            _Ax=std::allocator
1>        ]

1>        c:\program files\microsoft visual studio 9.0\vc\include\xutility(3161) : see reference to function template instantiation 'void std::_Fill(_FwdIt,_FwdIt,const _Ty &)' being compiled
1>        with
1>        [
1>            _Ty=string_t,
1>            _FwdIt=string_t *
1>        ]

1>        c:\program files\microsoft visual studio 9.0\vc\include\vector(1229) : see reference to function template instantiation 'void std::fill(_FwdIt,_FwdIt,const _Ty &)' being compiled
1>        with
1>        [
1>            _Ty=string_t,
1>            _FwdIt=string_t *
1>        ]

1>        c:\program files\microsoft visual studio 9.0\vc\include\vector(1158) : while compiling class template member function 'void std::vector::_Insert_n(std::_Vector_const_iterator,unsigned int,const _Ty &)'
1>        with
1>        [
1>            _Ty=string_t,
1>            _Alloc=std::allocator
1>        ]

1>        c:\work\c++\string_t\string_t.h(658) : see reference to class template instantiation 'std::vector' being compiled
1>        with
1>        [
1>            _Ty=string_t
1>        ]

最后一个错误中的行号 (658) 指向 split() 函数定义的左大括号。如果我注释掉 using std::basic_string::operator=; 行，我可以消除该错误。据我了解，using关键字指定赋值运算符在string_tprivate范围带到public范围>。

为什么我会收到此错误以及如何修复它？

另外，我的 string_t 类不包含它自己的单个数据成员，更不用说任何动态分配的成员了。因此，如果我不为此类创建析构函数，并不意味着如果有人使用基类指针删除 string_t 的实例，则基类析构函数会被称为？

当我为 string_t 定义析构函数时，以下代码会引发异常，但当我在使用 VS2008 编译时注释掉该析构函数时，以下代码会正常工作。

basic_string<wchar_t> *p = new string_t( L"Test" );
delete p;

Answer 1

不幸的是，你已经遗漏了足够多的内容，以至于不确定你如何获得你所注意到的错误消息（而且我们不知道你编译它时第 657 行是什么，这并没有帮助......）。

当前可能出现的是 substr() 返回 std::string，并且编译器不确定如何将其转换为 string_t （这就是你要求它存储在向量中）。您可能需要/想要添加一个 ctor 来处理此问题，例如：

string_t(std::string const &init) : std::string(init) {}

这让编译器知道如何将 substr() 返回的字符串转换为 string_t可以按您的要求推入向量。

Answer 2

您的默认构造函数不应是显式的。我认为明确性可能是它无法将 std::string 转换为 string_t 的原因，但您从代码片段 :vP 中删除了该构造函数。

该程序在 GCC 4.2 上编译并运行良好：

#include <iostream>
#include <string>
#include <vector>
using namespace std;

class string_t :
#if defined(UNICODE) || defined(_UNICODE)
  private std::basic_string<wchar_t>
#else
  private std::basic_string<char>
#endif
{
public:
  string_t() : basic_string<value_type>() {}

  string_t( const basic_string<value_type>& str )
    : basic_string<value_type>( str ) {}

  virtual ~string_t() {}

  using std::basic_string<value_type>::operator=; /* Line causing error */

  std::vector<string_t> split( const string_t& delims )
  {
    std::vector<string_t> tokens;

    for ( size_t pen = 0, next = 0; next != npos; pen = next + 1 ) {
        next = find_first_of( delims, pen );
        if ( pen != next ) tokens.push_back( substr( pen, next - pen ) );
    }
    return tokens;
  }

  template<class os>
  friend os &operator<<(os &, string_t const&);
};

template< class os_t >
os_t &operator<<( os_t &os, string_t const &str ) {
        return os << static_cast< string >(str);
}

int main( int argc, char ** argv ) {
        vector<string_t> mytoks = string_t( argv[1] ).split( string( "_" ) );

        for ( vector<string_t>::iterator it = mytoks.begin(); it != mytoks.end(); ++ it ) {
                cerr << * it << endl;
        }
        return 0;
}

Answer 3

您需要提供合适的转换构造函数：

 string_t(const std::basic_string<value_type>&);

否则，当您添加元素时，编译器不知道如何从 std::basic_string<> 构造 string_t到 string_t 的向量。

关于更新：
如果 operator=() 是私有的，则 using 声明没有任何帮助。为什么不直接实现您自己的 operator=() 并转发分配：

string_t& operator=(const string_t& s) 
{
    basic_string<value_type>::operator=(s); 
    return *this; 
}

这样它就适合我了。