在模板化父类中访问模板化“使用”

Question

我有一个这样的类层次结构：

/* Base templated interface class */
template <class T>
class InterfaceClass {
  public:
    // Normal using sentence
    using InnerType1 = SomeClass<T>;

    // HERE1: Templated using sentence that I want to use in other places
    template<typename SomeType>
    using TplInnerType = SomeOtherClass<InnerType1, SomeType>; 
};

/* Some templated intermediate class inheriting from the interface */
template <typename T>
class Class : InterfaceClass<T> {
  public:
    using BaseType = InterfaceClass<T>;

    // This works
    using typename BaseType::InnerType1;

    // HERE2: This won't work in any form
    using typename BaseType::TplInnerType;
};

/* Then I have some children using the CRTP as: */
class Child1 : Class<Child1> { ... };
class Child2 : Class<Child2> { ... };

我想在后代 (HERE2) 中使用来自 InterfaceClass 的模板化 using 语句 (HERE1)，但我无法让编译器 (C++11 over clang 10) 解析类型。 我按照编译器的建议尝试了许多组合，包括：

  template <typename U> using typename BaseType::TplInnerType<U>;
  template <typename U> using TplInnerType = BaseType::TplInnerType<U>;
  template <typename U> using TplInnerType = typename BaseType::TplInnerType<U>;
  template <typename U> using TplInnerType = BaseType::template TplInnerType<U>;

但是建议让我转了一圈……我尝试做的事情是否可能？

编辑 - 另一个解决方案

除了@Jarod42 answer，它适用于这个玩具示例但不适用于我的真实案例，我找到了另一个有效的解决方案 (sample)：

template <typename T>
class Class : InterfaceClass<T> {
  public:
    using BaseType = InterfaceClass<T>;
    using typename BaseType::InnerType1;
    // This works
    template <typename U>
    using TplInnerType = typename BaseType::template TplInnerType<U>;
};

Answer 1

你应该放弃typename：

template <typename T>
class Class : public InterfaceClass<T> {
public:
  using BaseType = InterfaceClass<T>;
  using typename BaseType::InnerType1;
  using BaseType::TplInnerType;
};

Demo