Question

提供以下计划，

hello.h

#ifndef HELLO_
#define HELLO_

template <typename T>
class hello
{
  T _data;
public:
  hello(T t)
  : _data(t) {}
};

template <typename T>
class world : public hello<T>
{
  T _data;
public:
  world(T t)
  : hello<T>(t) {}
};

#endif

main.cc

#include <iostream>
#include "hello.h"

using namespace std;

class Foo
{
  int _x;
public:
  Foo(int x) : _x(x) {}
};

int main()
{
  Foo f(1);
  world<Foo> w(f);

  return 0;
}

我用c ++ 11编译它，编译器给出了以下错误消息：

In file included from main.cc:2:0:
hello.h: In instantiation of ‘world<T>::world(T) [with T = Foo]’:
main.cc:16:22:   required from here
hello.h:19:15: error: no matching function for call to ‘Foo::Foo()’
   : hello<T>(t) {}
               ^
main.cc:10:3: note: candidate: Foo::Foo(int)
   Foo(int x) : _x(x) {}
   ^
main.cc:10:3: note:   candidate expects 1 argument, 0 provided
main.cc:6:7: note: candidate: constexpr Foo::Foo(const Foo&)
 class Foo
       ^
main.cc:6:7: note:   candidate expects 1 argument, 0 provided
main.cc:6:7: note: candidate: constexpr Foo::Foo(Foo&&)
main.cc:6:7: note:   candidate expects 1 argument, 0 provided

我必须在模板定义中遗漏一些东西，但我不确定它在哪里。对于int或double这样的原始类型，它可以正常工作。它不适用于我定义的类别，例如Foo。

Answer 1

在world<T>

template <typename T>
class world : public hello<T>
{
  T _data;
public:
  world(T t)
  : hello<T>(t) {}
};

因为在这种情况下T（Foo）不是默认构造的。我想这是错误添加的，因为T _data;中有另一个hello<T>。删除它，你的代码应该运行良好。像这样：

template <typename T>
class world : public hello<T>
{
public:
  world(T t)
  : hello<T>(t) {}
};

Demo

与您在主要内容中提出的错误无关：

world<Foo> w();

这将w声明为没有参数的函数，并返回world<Foo>。

我想这不是你想要的（如果我错了，请原谅我）。我想这就是你想要的：

world<Foo> w(f);

或

world<Foo> w{f};

Answer 2

来自父类的私有数据被封装，并且它们确实存在。在子类中重复定义具有相同变量名的数据会产生这样的错误，无论它是关于模板类还是普通类。

c ++调用模板构造函数来实例化

2 个答案: