Question

我试图写一个template class defining a super type idiom的变体。类Inherit引入类型Super来表示可能非常长的超类型，并且还需要知道派生类型New来做一些我没有显示的额外的东西这里。

如果传递给New的类型不是模板，但是模板失败，则此方法正常。以下是使用clang++-3.8 -std=c++1y -Wall编译的完整示例（gcc提供相同的输出）：

struct SomeBase {};

template<class New, class Base>
struct Inherit : Base {
    using Super = Inherit<New, Base>;
};

struct NonTemplate : Inherit<NonTemplate, SomeBase> {
    using X = Super;
    // compiles and is nice and short
};

template<class T>
struct Template : Inherit<Template<T>, SomeBase>
{
    using A = Super;
    // error: unknown type name 'Super'; did you mean 'NonTemplate::Super'?

    using B = typename Super;
    // error: expected a qualified name after 'typename'

    using C = Inherit::Super;
    // error: 'Inherit' is not a class, namespace, or enumeration

    using D = typename Inherit<Template<T>, SomeBase>::Super;
    // compiles, but what's the point?
};

int main() {
    return 0;
}

如果我不需要New参数，我也可以使用Inherit模板，但我确实需要New。我可以使用选项D来编译代码，但这会破坏整个目的。

我有两个问题：

阻止类型名称Super的语言问题究竟是什么？在课堂上Template知道，为什么在NonTemplate案例中有所不同？
有没有人想知道解决这个问题的好方法？

Answer 1

问题是Inherit<Template<T>, SomeBase>是依赖基类，即类依赖于模板参数。依赖基类中的名称对于非限定查找是隐藏的，因此您需要限定名称。

typename是必需的，因为Inherit<Template<T>, SomeBase>::Super是一个从属名称，编译器需要你告诉它它命名一个类型，因为它只能在实例化时确定。

有关typename关键字的深入说明，请参阅Where and why do I have to put the “template” and “typename” keywords?。

对于解决方案，您可以将Super分解为类型特征：

template<class New, class Base>
struct Inherit : Base {
};

namespace detail {
    template <class New, class Base>
    Inherit<New,Base> Super (const Inherit<New, Base>&);
}
template <class T>
using Super = decltype(detail::Super(std::declval<T>()));

这使得使用更加简单：

template<class T>
struct Template : Inherit<Template<T>, SomeBase>
{
    using D = Super<Template>;
};

如果您发现自己需要多个基类，可以概括它：

namespace detail {
    template <template <typename...> class T, class... Args>
    T<Args...> Super (const T<Args...>&);
}
template <template <typename...> class Base, class Derived>
using Super = decltype(detail::Super<Base>(std::declval<Derived>()));

template <typename T>
using InheritSuper = Super<Inherit,T>;

template<class T>
struct Template : Inherit<Template<T>, SomeBase>
{
    using D = InheritSuper<Template>;
};

C ++找不到继承自当前模板类的模板基类中定义的类型

1 个答案: