Question

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

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

我已经尝试过：

无定义 int myecho（T arg，callback 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;
}

模板类的类型继承

1 个答案: