'using' 指令如何与模板成员函数一起使用

Question

我正在使用 CRTP，并且基类具有模板功能。如何use 模板派生类中的该成员函数？

template <typename T>
struct A {
  int f();
  template <typename S>
  int g();
};
struct B: public A<B> {
  int h() { return f() + g<void>(); } // ok
};
template <typename T>
struct C: public A<C<T>> {
  // must 'use' to get without qualifying with this->
  using A<C<T>>::f; // ok
  using A<C<T>>::g; // nope
  int h() { return f() + g<void>(); } // doesn't work
};

* 编辑 * 较早的问题Using declaration for type-dependent template name（包括 cmets）表明这是不可能的，并且可能是标准中的疏忽。

Answer 1

我不知道如何解决using 语句的问题（它应该类似于using A<C<T>>::template g;，但这段代码不能用我的编译器编译）。但是您可以通过以下方式之一调用g<void> 方法：

• this->template g<void>()

• A<C<T>>::template g<void>()

有关使用template 关键字的阴暗面的详细信息，请参阅this question 的答案。