模板类上的类型继承[重复]

Question

我试图在子类中定义新函数时使用父模板类中的类型，但我无法编译它。

但是，如果 myecho 未定义（子类中未使用回调），它会编译和执行

我已经试过了：

• 无定义 int myecho(T arg, 回调 cbk)

• 使用范围 int myecho(T arg, Foo::callback cbk) int myecho(T arg, Foo::callback cbk)

• 使用 sintax 使用 Foo::callback;

#include <cstdio>
#include <iostream>
#include <functional>

template <class T>
class Foo
{
public:
  using callback = std::function<int (T param)>;

  Foo() = default;
  virtual ~Foo() = default;

  int echo(T arg, callback cbk) { return cbk(arg);}
};

template <class T>
class _FooIntImp : public Foo<T>
{
public:
  using Foo<T>::echo;

  _FooIntImp() = default;
  virtual ~_FooIntImp() = default;

  int myecho(T arg, callback cbk)
  {
    return 8;
  }
};

using FooInt = _FooIntImp<int>;

int mycallback( int param )
{
  return param * param;
}

int main(int argc, char* argv[] )
{

  FooInt l_foo;

  std::cout << "Out "<<l_foo.echo(43,mycallback) << std::endl;
  return 0;
}

Answer 1

你可以写成

int myecho(T arg, typename Foo<T>::callback cbk)
//                ^^^^^^^^^^^^^^^^^
{
  return 8;
}

或者通过using介绍名字。

using typename Foo<T>::callback;
int myecho(T arg, callback cbk)
{
  return 8;
}