在 C++ 中调用函数而不分配对象

Question

是否可以在不分配内存的情况下使用引用运算符（->）调用函数。 我在某些情况下尝试过这段代码

Foo *fooObject;
fooObject->someFunction;

我对这件事感到困惑。这在 Dev C++ 中运行良好，但在 Visual C++ 中崩溃。

Answer 1

不，在没有分配内存的情况下，永远不可能使用 ->，因为该运算符试图取消引用指向对象的指针......因此该对象必须存在。

指向的对象必须存在……这是“内存分配”，可以在栈或堆上完成。

以下语法...

fooObject->func();

等价于

(*fooObject).func()

为了能够做到*fooObject，fooObject指向的对象必须存在。

在您的代码中

Foo *fooObject;

是一个悬空指针，因为你没有将它指向一个对象。指针值可能为 NULL 或指向某个完全随机的内存块：尊重它会导致您出现问题，因为无法保证您尊重的是什么……这称为 “未定义行为” .

要为您的对象分配内存，您可以像这样在堆栈上执行此操作

Foo fooObject;

然后，如果您愿意，可以使用指向对象的指针...

Foo *fooObjectPTR = &fooObject;

但请注意，分配在堆栈上的对象仅在其范围内时才存在。当它超出范围时，它会被销毁，并且您的指针将再次成为悬空指针，因此不能使用。

或者你可以像这样在堆上分配

Foo *fooObjectPTR = new Foo();

如果你在堆上分配，你必须小心以后使用delete释放分配的内存

Answer 2

您可以在没有实例实际存在的情况下在类上调用静态函数，但是这是通过使用 :: 表示法完成的，然后该函数在任何特定实例的范围之外运行 - 类的静态成员函数没有隐含的this 指针：

class Foo {
public:
  static void someFunction(void) {std::cout << "BOO!\n";};
};

...
int main(...) {
  Foo::someFunction();
  return 0;
}

[class-static] 中的标准状态：“静态成员可以 使用类成员访问语法来引用， 在这种情况下对象表达式 总是被评估。”

与此相反，Microsoft documentation 声明：The left side of a member-selection operator (. or –>) that selects a static member function is not evaluated，这意味着以下内容适用于 VC++，但不适用于符合标准的 C++：

Foo* not_allocated;
not_allocated->someFunction();