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

Question

我试图从"设计模式"编译一个例子,我面临以下问题:

我有一个基类MapSite:

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

和派生类房间:

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的特性,我在这里模仿如何在C++ 11中实现make_unique函数？对于我正在编译的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从您传递给它的参数构造该类型的类型.如果你想构建一个Roomwith 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的回答涵盖.