允许类模板的模板参数在派生类中可见

Question

我想在继承类模板时保留其参数参数的可见性。基类将有大量的模板参数，所以我不想在派生类模板中一直要求那些。使用类型别名是唯一的方法吗？

例如，这不起作用，但如果我将所有内容换成注释行，它就会起作用：

#include <iostream>

template<typename one, typename of, typename very, typename many, typename tparams>
class first {
// public:
//  using A = one; //needs to be uncommented to work
};

template<typename class_instance>
class second : public class_instance {
    typename class_instance::one m_data;
    //typename class_instance::A m_data; // would work if we uncommented
};


int main() {

    second<first<int,int,int,int,int>> thing;

    return 0;
}

Answer 1

您可以使用可变参数template template parameter 来简化操作。将second 更改为

template<template<typename...> typename class_instance, typename... Params>
class second  {
public:
    template <std::size_t I>
    using param_t = std::tuple_element_t<I, std::tuple<Params...>>;
    param_t<1> foo;
};

你可以像这样使用它

int main() {
    second<first, int, double, float, long, long long> foo{};
    foo.foo = 42.1;
    std::cout << foo.foo;
}

哪个输出

42.1

正如您在live example 中看到的那样。

是的，您现在使用的是一个数字，这可能不值得，但它消除了很多样板。如果你真的想要，你甚至可以将 enum 添加到 second 并像这样使用它

template<template<typename...> typename class_instance, typename... Params>
class second  {
public:
    enum { one, of, very, many, tparams };
    template <std::size_t I>
    using param_t = std::tuple_element_t<I, std::tuple<Params...>>;
    param_t<of> foo;
};