2

在我的小部件库中，我想实现某种调用链来初始化用户提供的 VIEW 类，该类可能（！）从另一个类派生，该类添加了一些额外的功能，如下所示：

#include <iostream>

template<typename VIEW>
struct App
{
    VIEW view;
    void init() {view.initialize(); }
};

template<typename DERIVED>
struct SpecializedView
{
    void initialize()
    {
        std::cout << "SpecializedView" << std::endl;
        static_cast<DERIVED*>(this)->initialize();
    }
};

struct UserView : SpecializedView<UserView>
{
    void initialize() {std::cout << "UserView" << std::endl; }
};

int _tmain(int argc, _TCHAR* argv[])
{
    // Cannot be altered to: App<SpecializedView<UserView> > app;
    App<UserView> app; 
    app.init();
    return 0;
}

是否有可能实现某种调用链（如果用户提供的 VIEW 类是从“SpecializedView”派生的），这样输出将是：

console output:

SpecializedView
UserView

当然，使用派生的类型实例化变量 app 很容易，但此代码隐藏在库中，不应更改。换句话说：库代码应该只获取用户派生类型作为参数。

4

1 回答 1

1

您可以编写另一个函数来调用initialize()该类和基类（如果存在）并定义一个initialize()方法：

template <class T>
void callInitialize(T* t) {
    t->initialize();
    IF_EXISTS(base_class<T>::bc::initialize)
        callInitialize<base_class<T>::bc>(t);
}

当然，调用的顺序可以颠倒。

请参阅是否可以编写模板来检查函数的存在？关于实施IF_EXISTS。此外，base_class<T>它不是标准构造，这个答案表明这不能自动完成。语义看起来像这样：

template<T>
struct base_class<T> {
    typedef void bc;
};

template<>
struct base_class<UserView> {
    typedef SpecializedView<UserView> bc;
};

也许您的框架允许以半自动的方式执行此操作。

于 2012-12-18T11:18:31.640 回答