C++ 静态 const 类成员初始化

Question

我想拥有一个自身具有 static 成员的类，但我不知道该怎么做。这可能吗？

我得到错误：

只有静态常量整数数据成员可以在类中初始化

代码：

namespace misc
{
    class CData
    {
    public:
        CData( ) { };
        CData( int d );

        CData& operator = ( const CData& d );

        static const CData FIRST = CData( 512 ); //how?

    private:
        int data;
    };
}

由于我经常使用FIRST，我想使用misc::CData::FIRST 静态访问它，而无需在范围内的某处声明它。这有可能吗？

Answer 1

... 无需在范围内的某处声明它。这有可能吗？

不，如果不声明它是不可能的（您已经在类声明中尝试过这样做）。您可能的意思是，没有在您的类声明之外定义它。答案再次是否定的。
对于这种情况，您必须将声明和定义分开（它仅适用于像 int 这样的原始整数类型，以便直接在类声明中初始化它们）。

首先在你的类声明中有一个简单的声明（通常类似于CData.hpp）

namespace misc {
    class CData {
    public:
        CData( ) { };
        CData( int d );

        CData& operator = ( const CData& d );

        static const CData& FIRST;

    private:
        int data;
    };
}

然后在单独的编译单元中定义它（通常类似于CData.cpp）

namespace misc {
    const CData& CData::FIRST = CData( 512 );
}

Answer 2

对于非整数数据，这样的东西是首选，因为它避免了static initialization fiasco.

static const CData FIRST()
{
    static CData first(512); //only initialized once, when first requested

    return first;
}

Answer 3

... 无需在范围内的某处声明它。是不是由 有机会吗？

没有。

C++ 标准 n3337 § 9.4.2/2

静态数据成员

静态数据成员在其类定义中的声明不是 定义，并且可能是除 cv 限定之外的不完整类型 空白。静态数据成员的定义应出现在 包含成员的类定义的命名空间范围。 (...)

你可以在类中声明一个静态数据成员：

namespace misc {
    class CData {
    public:
        //...
        static const CData FIRST;  // declaration
        //...
}

并在（完全）其中一个 .cpp 文件中定义它：

namespace misc {
    CData CData::FIRST = CData( 512 );  // definition
}

这是首选解决方案，但是您需要将此定义排除在您的班级之外。如果它是一个整数类型，你可以在类中定义成员

C++ 标准 n3337 § 9.4.2/3 说

如果非易失性 const 静态数据成员是整数或 枚举类型，其在类定义中的声明可以指定 一个大括号或相等初始化器，其中每个初始化器子句是 赋值表达式是一个常量表达式 (...)