使用模板更改类型的变通方法

时间:2013-08-11 12:30:17

标签: c++ templates compile-time typetraits

考虑这个委托类:

template <class DELEGATECLASS, class METHODPTRSPEC>
class CLDelegate
{
public:
    CLDelegate();
    CLDelegate( DELEGATECLASS* instancePtr, METHODPTRSPEC methodPtr );
    CLDelegate( const CLDelegate& rhs );

    DELEGATECLASS* pInstance_;
    METHODPTRSPEC pMethod_;
};

//-----------------------------------------------------------------------------
//
template <class DELEGATECLASS, class METHODPTRSPEC>
CLDelegate<DELEGATECLASS, METHODPTRSPEC>::CLDelegate()
    : pInstance_( nullptr )
    , pMethod_( nullptr )
{}

//-----------------------------------------------------------------------------
//
template <class DELEGATECLASS, class METHODPTRSPEC>
CLDelegate<DELEGATECLASS, METHODPTRSPEC>::CLDelegate( DELEGATECLASS*
        instancePtr, METHODPTRSPEC methodPtr )
    : pInstance_( instancePtr )
    , pMethod_( methodPtr )
{}

//-----------------------------------------------------------------------------
//
template <class DELEGATECLASS, class METHODPTRSPEC>
CLDelegate<DELEGATECLASS, METHODPTRSPEC>::CLDelegate( const CLDelegate& rhs )
    : pInstance_( rhs.pInstance_ )
    , pMethod_( rhs.pMethod_ )
{}

我想在另一个类中使用这个委托,但是我必须有整个类的模板参数,这是我不想要的,像这样:

template<class DELEGATECLASS, class METHODPTR>
class SomeClass
{
public:
    IOVFUCam();
    ~IOVFUCam();

    // Data Members
private:
    ...
    const CLDelegate<DELEGATECLASS, METHODPTR>& del_;
};

因为我不想在整个类上使用模板参数,我想知道是否可以在我的类中创建一个虚拟委托并更改其类型(在编译时?):

struct EmptyType
{};

class SomeClass
{
public:
    template<class DELEGATECLASS, class METHODPTR>
    IOVFUCam( CLDelegate<DELEGATECLASS, METHODPTR> del )
     : del_(del)
    {};

    ~IOVFUCam();

    // Data Members
private:
    ...
    const CLDelegate<EmptyType, EmptyType>& del_;
};


FrameHandler handler;
CLDelegate<FrameHandler,
           void(FrameHandler::*)( IOBuffer::Ptr )>
           del( &handler, &FrameHandler::ProcessImage );
SomeClass obj( del );

我很快就读到了Alexandrescu写的有关TypeTraits的内容,我想知道这是否适用于我的问题或其他技术?

非常感谢!

1 个答案:

答案 0 :(得分:1)

你见过std :: allocator吗?它有一个'rebind'类型,允许std :: allocator在编译时给你一个std :: allocator。

template <class DELEGATECLASS, class METHODPTRSPEC>
class CLDelegate
{
public:
    template<class D, class M>
    struct rebind {
        typedef CLDelegate<D, M> type;
    };

    CLDelegate();
    CLDelegate( DELEGATECLASS* instancePtr, METHODPTRSPEC methodPtr );
    CLDelegate( const CLDelegate& rhs );

    DELEGATECLASS* pInstance_;
    METHODPTRSPEC pMethod_;
};

这样,如果您已经有CLDelegate类型,则可以使用以下代码来获取不同的CLDelegate类型。

typename MyDelType::rebind<NewDel, NewSpec>::type

那是你在找什么?