用委托构造函数构造函数

constexpr with delegating constructors

本文关键字：构造函数      更新时间：2023-10-16

我必须执行以下代码:

class IP4Address
{
    public:
    constexpr IP4Address();
    constexpr IP4Address(uint32_t a_IP, uint16_t a_Port);
    private:
    uint32_t m_IP;
    uint16_t m_Port;
};
constexpr IP4Address::IP4Address():
    IP4Address(0, 0)
{
}
constexpr IP4Address::IP4Address(uint32_t a_IP, uint16_t a_Port):
    m_IP(a_IP),
    m_Port(a_Port)
{
}

导致以下错误(Visual Studio 2015):

error C2476: 'constexpr' constructor does not initialize all members
note: 'IP4Address::m_IP' was not initialized by the constructor
note: 'IP4Address::m_Port' was not initialized by the constructor

是无效的c++吗?我做错了什么吗?或者这可能是一个编译器错误?

这是MSVC 2015中的一个bug。c++ 11文档§7.1.5 4以一种非常清晰的方式说:

4。constexpr构造函数的定义必须满足以下约束:

4.1类不能有任何虚基类

4.2每个形参类型都应为文字类型

4.3其函数体不能是一个function-try-block;

此外，其函数体必须为= delete，或者满足以下约束:

4.4其函数体必须为= default，或者其函数体的复合语句必须满足constexpr函数的函数体约束;

4.5每个非变非静态数据成员和基类子对象都必须初始化

4.6如果类是具有可变成员的联合(9.5)，则只应初始化其中一个成员;

4.7如果类是类似联合的类，但不是联合，则对于其每个具有变体成员的匿名联合成员，只应初始化其中一个;

4.8对于非委托构造函数，每个被选择用于初始化非静态数据成员和基类子对象的构造函数都应该是constexpr构造函数;

4.9对于委托构造函数，目标构造函数必须是constexpr构造函数。

你的类符合所有标准。Clang和GCC也接受你的源代码，所以如果我忽略了什么我会很惊讶。

相关文章：