模板类看不到继承的模板成员

让我考虑一个从基本模板类派生的模板类。基类包含模板成员。在这种情况下,通常可以使用指针从派生类访问基类的成员 this 是的。但是,当基成员本身是模板函数时,情况似乎并非如此。

考虑以下代码

#include <iostream>

template <class T>
struct base {
  T x;
  base() { x = 10; }
  template <unsigned int N>
  void increment() { x += N; }
};

template <class T>
struct deriv : public base<T> {
  using base<T>::base;

  void p()
  {
    using namespace std;
    cout << this->x << endl;
    base<int>::increment<1>();
    // The following statement causes the compile error:
    // expected primary-expression before ‘)’ token
    // this->increment<1>();
    // Also the following statement gives error
    // base<T>::increment<1>();
    cout << this->x << endl;
  }
};

int main()
{
  using namespace std;

  base<int> A;
  cout << A.x << endl;
  A.increment<1>();
  cout << A.x << endl;

  deriv<int> B;
  B.p();

  return 0;
}

在 main 设置模板成员的例程 increment 从类型的变量调用 base 是的。这没什么问题。 另一方面,成员函数 p() 的 deriv 类尝试访问模板函数 增量 从基部继承的。使用指针 这 如上面的注释行所示

this->increment<1>();

给出编译错误

expected primary-expression before ‘)’ token

在尝试了一段时间之后,我发现可以像上面的代码一样,访问 增量 通过scope运算符执行功能

base<int>::increment<1>();

然而,它显式地实例化了 基础 具有 T=int 是的。如果我想打电话给 增量 继承的成员 base<T> ,具有泛型 T 分类为

base<T>::increment<1>();

我得到的错误和上面一样。

我正在使用GCC 8.1.1

问题是:为什么使用指针 这 编译器无法解析继承的成员函数 增量 是吗?如何实例化继承的模板函数 增量 ,从继承的类 基础 是吗?

编辑:我添加了另一个编译失败的情况,最好指定问题。

编辑:程序中的小修正,同样的问题。