Question

我正在尝试从“设计模式”编译一个示例，我面临以下问题：

我有一个基类MapSite：

class MapSite{
public:
    MapSite();
    virtual ~MapSite(); 
    virtual void Enter() = 0;
};

和派生类Room：

class Room : public MapSite final{

private:
    unsigned int room_number;

public:
    Room(unsigned int rn) : room_number(rn) {};

    virtual void Enter() override;
};

从另一个班级我想调用函数

virtual std::unique_ptr<Room> MakeRoom(unsigned int n) {return make_unique<Room(n)>();}

当我这样做时，我收到以下错误：

error: temporary of non-literal type ‘Room’ in a constant expression
  virtual std::unique_ptr<Room> MakeRoom(unsigned int n) {return unique::make_unique<Room(n)>();}

所以我认为问题可能是构造函数必须是constexpr才能从另一个函数调用Room的构造函数，但是将构造函数设置为：

constexpr Room(unsigned int rn) : room_number(rn) {};

会产生此错误：

error: call to non-constexpr function ‘MapSite::MapSite()’
  constexpr Room(unsigned int rn) : room_number(rn) {};

我的基本问题是我是否可以创建派生类构造函数constexpr，即使基类构造函数不是。或者，如果有更好的概念来解决这个问题。

PS：make_unique是一个c ++ 14的特性，我在这里用{+ 3}}来模拟c ++ 11，我正在编译

Answer 1

这里的问题不是Room需要constexpr构造函数，而是将值传递给需要类型的模板。在

virtual std::unique_ptr<Room> MakeRoom(unsigned int n) {return make_unique<Room(n)>();}

Room(n)部分尝试构建Room并将其用作make_unique的模板参数。这不是你想要做的。 make_unique需要一个类型，因为它会根据您传递给它的参数构造该类型的std::unique_ptr。如果您想使用Room构建n，请使用

virtual std::unique_ptr<Room> MakeRoom(unsigned int n) {return make_unique<Room>(n);}

Answer 2

如果基类构造函数不是constexpr，我可以创建派生类contexpr的构造函数吗？

不，你不能。

constexpr函数不能调用非constexpr函数。构造函数必须调用所有子对象（包括base-subobjects）构造函数。因此，所有子对象构造函数必须是constexpr，否则完整的对象构造函数可能不是constexpr。

那就是说，你原来的问题是分开的，并且被NathanOliver的回答所覆盖。

如果基类构造函数不是constexpr，我可以创建派生类constexpr的构造函数吗？

2 个答案: