我可以告诉我的类继承自哪个模板实例类吗？

Question

鉴于此代码：

template < int I >
class Foo
{
public:
    int v;
    Foo() { v = I; }
    virtual ~Foo() {}
};

class Bar : public Foo<0>, public Foo<3>
{
public:
    template < int I >
    int getValue() { return Foo<I>::v; }
};

int main() {
    Bar b;
    cout << b.getValue<0>() << endl; // prints 0
    cout << b.getValue<3>() << endl; // prints 3
    cout << b.getValue<4>() << endl; // compiler error
    return 0;
}

是否可以遍历所有 Foo<i> 继承自 Bar 的类？我们可以假设 i 介于 0 和某个最大值 N 之间。在伪代码中：

for ( int i = 0; i < N; i++ )
{
    if ( Bar inherits from `Foo<i>` )
    {
        cout << Foo<i>::v << endl;
    }
}

Answer 1

给你（live example）：

struct _do { template <typename... A> _do(A&&...) { } };

template <int... I>
class Bar_impl : public Foo<I>...
{
public:
    template < int K >
    int getValue() { return Foo<K>::v; }

    template <typename F>
    void loop(F&& f) { _do{(std::forward<F>(f)(getValue<I>()), 0)...}; }
};

using Bar = Bar_impl<0,3>;

现在Bar 实现将基类的所有索引保存在可变参数I... 中，并以可变参数方式派生所有基类Foo<I>...。

函数loop 使用辅助struct _do 遍历所有碱基。您可以将任意函数、lambda 或函数对象f 传递给loop。然后将在 getValue<I>() 上为所有 I... 调用 f，即在每个基类的成员 v 上。

您按如下方式使用它：

void print(int i) { cout << i << " "; }

int main() {
    Bar b;
    b.loop(print); // prints 0 3
    cout << endl;
}

换句话说，你不需要检测一个对象是否是某个类的实例。您通过构造使对象知道它自己的基础。

现在您可能会意识到，如果您将Foo 设为成员类型的模板（而不是int），您就可以开始构建自己的very basic tuple。