模板类继承的子类定义错误

Question

我正在定义可以将函数作为模板参数的类A。 B 类继承 A 类。但是，有错误B: use of class template requires template argument list 和多个其他错误。我在想B 类的声明出错了。但是，我没有为 B 类使用任何模板。有人可以评论吗？

#include <iostream>

void f_global()
{
    std::cout << "top level function\n";
}

template<typename F>
class A
{
public:
    F f1;
    A(F fun1) : f1(fun1) {}
    void fa();
};

template<typename F>
void A<F> :: fa()
{
    std::cout << "From A<F>::fa()\n";
    f1();
}

template<typename F>
class B : public A<F> //error
{
public:
    void fb();
};

void B::fb() //error
{
    std::cout << "From B::fb()\n";
    A::f1(); //Can access f1()?
}
int main()
{
    A obja(f_global); //error?
    obja.fa();
    B objb;
    objb.fb();
}

Answer 1

首先，解释您要达到的目标通常很有用。这里有很多非常聪明的人，他们会为你的问题想出与你完全无关的解决方案。

现在，我试图猜测您想要实现的目标。由于您从fb 调用fa，我假设B 是template。如果不是，那么至少 fb 应该是一个模板函数。但是，由于您没有将要执行的函数作为参数传递给fb，所以我终于猜到您的class B 打算成为template。

所以，你的全局函数没问题：

void f_global()
{
    std::cout << "top level function\n\n";
}

您的class A 没问题，但为了清楚起见，我将F 用作函数类型，将F* 用作函数指针（*），我还将function 存储为@987654334 @ 成员。但是，为了尊重您问题中的代码，我将其保留为 public 成员。

编辑 (*) 正如@Phil1970 指出的那样，F 比F* 更通用，因为它适用于 lambdas 和 std::function。

template <typename F>
class A
{
public:
    A(F fun) : _f {fun} {}
    void fa() { std::cout << "From A<F>::fa()\n"; _f(); }
    F _f;
};

如您所见，您的class B 存在问题。首先，如果template <typename F> B继承自template <typename F> A，你应该可以在B<F>的构造函数中构造一个A<F>类型的对象。换句话说，B<F> 应该能够构造A<F>，因此，您应该将函数f_global 传递给class B<F> 的构造函数。

template <typename F>
class B : public A<F>
{
public:
    B(F* fun) : A<F>(fun) {}
    void fb() { std::cout << "From B::fb()\n"; A<F>::_f(); }
    void fb1() { std::cout << "From B::fb1()\n"; this->template _f(); }
    using A<F>::_f;
    void fb2() { std::cout << "From B::fb2()\n"; _f(); }
};

我添加了函数fb1 和fb2 来向您展示如何使用模板推导和关键字using 调用可调用的_f 成员。