C++模板方法

Question

我写了一个简化版的 STL basic_string 类：

template<typename chrT>
class strT
{
protected:

    chrT * m_pcBuf;

    size_t m_nLen;

public:

    strT( void );

    strT( const chrT * pcStr );

    strT( const strT<chrT> & rsStr );

    virtual ~strT( void );

    virtual inline size_t len( void ) const;

    virtual int cmp( const strT<chrT> & rsStr ) const;

    virtual inline const chrT & operator [] ( size_t nPos ) const;

    virtual inline chrT & operator [] ( size_t nPos );

    virtual bool & operator == ( const strT<chrT> & rsStr ) const;

    virtual bool & operator != ( const strT<chrT> & rsStr ) const;

    virtual bool & operator < ( const strT<chrT> & rsStr ) const;

    virtual bool & operator > ( const strT<chrT> & rsStr ) const;

    virtual bool & operator <= ( const strT<chrT> & rsStr ) const;

    virtual bool & operator >= ( const strT<chrT> & rsStr ) const;

    virtual inline strT<chrT> & operator = ( const strT<chrT> & rsStr );

    virtual inline operator chrT * ( void );

protected:

    void _alloc( size_t nLen );

    void _realloc( size_t nLen );

public:

    static const size_t none;
};

template<typename inchr, typename outchr>
strT<outchr> convert( const strT<inchr> & rsIn );

typedef strT<char> str;
typedef strT<wchar_t> wstr;

目前，如果我想在 char 和 wchar_t 之间进行转换，我可以这样做：

int main( void )
{
    str as = "foo";
    wstr ws = convert<char, wchar_t>( as );
}

但我希望有一个允许进行此类转换的模板方法，而不是这种功能方法。这很可能是错误的，但这是我想做的：

template<typename chrT>
class strT
{
    // ...

public:

    template<typename outchr>
    virtual strT<outchr> convert( void ) const;

    // ...
}

template<typename chrT, typename outchr>
strT<outchr> strT<chrT>::convert<outchr>( void ) const
{
    // ...
}

然后：

int main( void )
{
    str as = "foo";
    wstr ws = as.convert<wchar_t>();
}

请问可以吗？

感谢您的帮助！

PS : 忘了说我不想使用 C++11 的特性。

Answer 1

为什么不添加一个模板化的构造函数？

template<typename chrT>
class strT
{
public:
    template<typename otherT>
    strT(otherT* o) { ... }
}

要实现转换，您可以针对chrT 和otherT 的不同可能性专门构造构造函数

Answer 2

这几乎是可能的——你可以有一个成员函数模板，但它不能是virtual。因此，如果您觉得这没问题，请从声明中删除 virtual，然后就可以了。

要了解为什么成员函数模板不能是virtual，想想最常见的虚成员函数实现——虚函数表。那是一张指向函数的指针表，为每个虚函数存储一个指针。一个虚拟成员函数模板需要存储多少个指针？一种用于convert<char>，一种用于convert<wchar_t>，一种用于convert<int>，一种用于convert<int*>，一种用于convert<int**>，一种用于convert<std::vector<int> >，一种用于...

问题是可以从模板中实例化任意多个函数。没有办法为它们进行动态调度。 （请注意，类似的问题也出现在所有其他动态调度实现中——一个模板可能是无限多的函数）