c – 如果基类构造函数不是constexpr,我可以创建派生类constexpr
我试图从“设计模式”编译一个例子,我面临以下问题:
我有一个基类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特性,我在这里模拟了How to implement make_unique function in C++11? for c 11,我正在编译它 解决方法
你不能. constexpr函数不能调用非constexpr函数.构造函数必须调用所有子对象(包括base-subobjects)构造函数.因此,所有子对象构造函数必须是constexpr,否则完整的对象构造函数可能不是constexpr. 也就是说,你原来的问题是分开的,并由NathanOliver的回答涵盖. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |