迭代可变参数模板类的基类

Question

如何遍历可变参数模板类的所有基类并为每个基类调用一个函数。

这是一个最小的例子：

struct A { void foo() { std::cout << "A" << std::endl; } };
struct B { void foo() { std::cout << "B" << std::endl; } };
struct C { void foo() { std::cout << "C" << std::endl; } };

template<typename... U>
struct X : public U...
{
    void foo() {
        static_cast<U*>(this)->foo()...; // ??? should call `foo` for all `U`
    }
};

int main() {
    X<A,B,C> x;
    x.foo();
}

Answer 1

你通常不能没有 C++17 的折叠表达式。那里的省略号无效，星号后面的省略号会创建一个指针模板参数列表。要重复适当的模式，省略号必须位于语句的末尾，而这在此处不起作用。我发现this article 是扩展包的好资源。

相反，有一个技巧，它不需要构建任何递归的东西：

int arr[] = {(static_cast<U*>(this)->foo(), 0)...};

这会调用每个函数，然后将结果与逗号运算符一起使用以生成所需的ints。不幸的是，这可能会导致未使用的变量警告。解决此问题的一种最小方法是使用std::array（或可以使用初始化列表初始化的某个类）并将创建其中一个未命名的结果的结果转换为void（转换为void有点常见一般用于防止警告的技术）。

Answer 2

这是一种方法：

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

struct A { void foo() { std::cout << "A" << std::endl; } };
struct B { void foo() { std::cout << "B" << std::endl; } };
struct C { void foo() { std::cout << "C" << std::endl; } };

template<typename... U>
struct X : public U...
{
    void foo() { thru{(U::foo(), 0)...}; }
};

但如果您关心调用的顺序，请注意here 中讨论的已知 gcc 错误。