从依赖模板的基类继承构造函数

Question

如果基类的名称依赖于（派生类的）模板参数，我如何继承基类的构造函数？

例子：

#include <type_traits>

struct A {
};

struct B {
};

template <bool Abase>
struct C : public std::conditional_t<Abase, A, B> {
    using std::conditional_t<Abase, A, B>::(std::conditional_t<Abase, A, B>); // Error!
}

int main()
{
    C<true> c;
    C<false> c2;
}

在程序中struct C应该继承A::A或B::B，取决于模板参数bool Abase的值。 编写的程序无法编译。

正确的语法是什么？

Answer 1

你可以先定义一个类型别名。

template <bool Abase>
struct C : public std::conditional_t<Abase, A, B> {
    using base = std::conditional_t<Abase, A, B>;
    using base::base;
};

LIVE