模板模板成员继承带有“using”

以下类实现 CRTP。我想要上课Derived使用提供的构造函数Base，所以我写using。但是，我收到错误消息“只能从直接基类继承构造函数”。等价于成员变量x.

template<template<typename, size_t> typename G, typename F, size_t U>
struct Base
{
    double x;
    Base(double x) : x{ x } {}
    double gimme_x()
    {
        return (*static_cast<G<F, U>*>(this)).gimme_x();
    }
};

template<typename F, size_t U>
struct Derived : Base<Derived, double, U>
{
    using Base<Derived, double, U>::Base;
    using Base<Derived, double, U>::x;

    double gimme_x()
    {
        return x + 1.8;
    }
};

这个问题可以通过改变 template-template 的实现来缓解Base仅使用常规模板。

template<typename G, typename F, size_t U>
struct Base
{
    double x;
    Base(double x) : x{ x } {}
    double gimme_x()
    {
        return (*static_cast<G*>(this)).gimme_x();
    }
};

template<typename F, size_t U>
struct Derived : Base<Derived<F, U>, double, U>
{
    using Base<Derived<F, U>, double, U>::Base;
    using Base<Derived<F, U>, double, U>::x;

    double gimme_x()
    {
        return x + 1.8;
    }
};

虽然第二个看起来有点冗长，但在本例中它似乎应该与第一个相同。有什么区别以及为什么第一个实施失败？

可避免的更简单的解决方法注入类名 https://en.cppreference.com/w/cpp/language/injected-class-name是使用全名::Derived.

template<typename F, size_t U>
struct Derived : Base<Derived, double, U>
{
    using Base<::Derived, double, U>::Base;
    using Base<::Derived, double, U>::x;

    double gimme_x()
    {
        return x + 1.8;
    }
};

Demo https://godbolt.org/z/KtiUoI

代码可以使用 gcc/clang 正确编译Demo http://coliru.stacked-crooked.com/a/1210f14c7ef72411.

这是一个 msvc bug，如

在以下情况下，注入的类名称被视为类模板本身的模板名称：

• 其后是
• 它用作与模板模板参数相对应的模板参数
• 它是友元类模板声明的详细类说明符中的最终标识符。