将私有成员指针设置为与NULL相同的类？

Question

我在一个 C++ 库中遇到了以下结构：

在 myClass.h 中

class myClass {
public:
static myClass* Instance();
.
.
private:
static myClass* _instance;
.
.
};

---

在 myClass.cpp 中

myClass* myClass::_instance = NULL;

// followed by the all other functions..

myClass::myClass() {
    .
    .
}

myClass* myClass::Instance() {
    if (_instance == NULL) {
        .
        .
    }
    .
    .
}

---

那么在任何函数之外将 _instance 设为 NULL 指针有什么用呢？这行代码什么时候执行？

谢谢。

编辑： 添加主函数。 myClass.cpp 中的实例函数检查指针的值。仍然不明白指针何时设置为 NULL。

int _tmain(int argc, T_CHAR* argv[]) {

myClass* instance = myClass::Instance();

.
.
.

return 0;
}

Answer 1

那么在任何函数之外将_instance 设为NULL 指针有什么用？

静态数据成员通常必须在包含它们的类的命名空间中定义，在一个源文件中；它们受单一定义规则的约束，因此在任何使用它们的程序中都必须有一个定义。就是这个定义。

使用NULL 对其进行初始化确保它最初为空，以便Instance() 函数可以确定该实例是否已创建。这并不是绝对必要的，因为与所有静态变量一样，无论您是否显式提供初始化程序，它都会被零初始化。

这行代码什么时候执行？

在静态初始化期间，在程序中的任何其他代码之前；因为它是一个带有常量初始化器的普通类型。

Answer 2

我曾经偶然发现过这样的事情。这类似于单例。原因（正如执行此操作的人所解释的那样）是他特别想在第一次 getInstance() 函数调用时初始化实例，并且他想确保 ​​_instance 指针首先被初始化为 NULL （而不是来自一些垃圾内存）以便检查

if (_instance == NULL)

在函数中正常工作。

我不确定这里是否是这种情况，但有可能。

Answer 3

myClass* myClass::_instance = NULL;

代码尝试初始化静态成员变量。

Answer 4

这是一个初始化，确保指针从程序一开始就以值NULL 开始生命。¹

它给指针一个无效的，但可识别和可测试值，然后在程序中稍后将一些有用的指针值分配给它。这样，您可以安全地测试指针以查看它是否已被赋予所述有用值。

在这种情况下，由于您显示的是单例，因此“稍后”表示“当首次请求 myClass 的实例时”使用您未显示的一些 myClass::getInstancePlease() 函数。

使用函数-static 实例而不是类-static 指向某个[可能是动态分配的]实例的指针来实现单例更为常见。

_{¹ 作为具有静态存储时长的对象，它无论如何都会这样做；因此，除了记录程序员的意图之外，这种初始化实际上完全没有意义。}

Answer 5

静态关键字意味着它被类实例化的所有对象共享。因此，您需要在任何函数之外对其进行初始化。静态声明它是在类的所有实例之间共享的类变量。它与实例变量相反，每个实例都有自己的副本。要访问类变量，有两种方法。 1) a_class::static_variable 2) a_class a; a.static_variable。初始化必须在源文件 (.cpp) 中而不是在头文件中。 因为它是一个静态变量，编译器只需要创建它的一个副本。如果不这样做，则会出现链接错误。如果它在头文件中，您将在包含头文件的每个文件中获得一个副本，因此从链接器获取多重定义的符号错误。

静态数据成员不是给定类类型对象的一部分；它们是单独的对象。因此，静态数据成员的声明不被视为定义。数据成员在类范围内声明，但在文件范围内执行定义。