c++ - 如果基类构造函数不是 constexpr，我能否使派生类的构造函数为 constexpr？

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 功能 How to implement make_unique function in C++11?对于我正在编译的 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。如果你想用 n 构造一个 Room 那么你可以使用

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