C++模板方法

C++ template method

本文关键字：模板方法 C++      更新时间：2023-10-16

我写了一个简化版的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功能。

这几乎是可能的 - 你可以有一个成员函数模板，但它不能virtual。因此，如果这对您来说没问题，请从声明中删除virtual，您就设置好了。

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

问题是可以从模板实例化任意许多函数。没有办法为他们做动态调度。(请注意，在所有其他动态调度实现中也会出现类似的问题 - 模板只是潜在的无限多个函数(

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

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

若要实现转换，可以将构造函数专用于chrT和otherT的不同可能性

相关文章：