类模板继承的“尚未声明”错误[重复]

Question

以下代码：

#include <iostream>

struct A {
    using A_int = int;               // A_int type declared here
    virtual void foo(A_int) = 0;
};

template <typename T>
struct B : public A {

};

template <typename T>
struct C : public B<T> {
    void foo(A_int) override {
        std::cout << "all good\n";
    }
};

int main()
{
  C<int> c;
  c.foo(1);
}

产生这个错误：

15:14: error: 'A_int' has not been declared

不使用模板的相同代码编译得很好。谁能解释一下为什么？

Answer 1

你需要说出A_int来自哪里：

void foo(typename B<T>::A_int) override {
    std::cout << "all good\n";
}

这是demo。

Answer 2

A_int 必须通过类说明符 A:: 访问，所以它变成 A::A_int

#include <iostream>

struct A {
    using A_int = int; 
    virtual void foo(A_int) = 0;
};

template <typename T>
struct B : public A {

};

template <typename T>
struct C : public B<T> {
    void foo(A::A_int) override {
        std::cout << "all good\n";
    }
};


int main()
{
  C<int> c;
  c.foo(1);
}