C++ 类实例上的静态成员方法调用

Question

这是一个小测试程序：

#include <iostream>

class Test
{
public:
    static void DoCrash(){ std::cout<< "TEST IT!"<< std::endl; }
};

int main()
{
    Test k;
    k.DoCrash(); // calling a static method like a member method...

    std::system("pause");

    return 0;
}

在 VS2008 + SP1 (vc9) 上它编译得很好：控制台只显示“TEST IT!”。

据我所知，不应在实例化对象上调用静态成员方法。

1. 我错了吗？ 从标准的角度来看，这段代码正确吗？
2. 如果这是正确的，为什么会这样呢？ 我找不到为什么允许它，或者可能是为了帮助在模板中使用“静态或非静态”方法？

Answer 1

该标准规定不需要通过实例调用该方法，但这并不意味着您不能这样做。 甚至有一个使用它的例子：

C++03, 9.4 static Members

类 X 的静态成员可以使用
限定 ID 表达式 X::s; 这是
不必使用类成员访问语法（5.2.5）来引用
到静态成员。 静态成员
可能
使用类成员访问语法来引用，其中
如果对象表达式是
已评估。

class process {
public:
   static void reschedule();
};

process& g();

void f()
{
   process::reschedule(); // OK: no object necessary             
   g().reschedule(); // g() is called
}

Answer 2

静态函数不需要实例化对象来调用，因此

k.DoCrash();

完全相同

Test::DoCrash();

其行为与使用范围解析运算符 (::) 来确定类内的静态函数

。 请注意，在这两种情况下，编译器都不会将 this 指针放入堆栈中，因为静态函数不需要它。

Answer 3

2）如果是正确的，为什么？ 我找不到为什么允许它，或者可能是为了帮助在模板中使用“静态或非静态”方法？

它在多种情况下可能很有用：

• [您建议的模板中的“是否静态”方法：]当可以为模板指定许多类型，并且模板随后想要调用成员：提供静态函数的类型可以使用与成员函数相同的符号来调用 - 前者可能更有效（没有 this 指针来传递/绑定），而后者允许多态（虚拟）成员数据的分派和使用

• 最小化代码维护

  • 如果一个函数从需要特定于实例的数据演变为不需要它 - 因此被设为静态以允许轻松的无实例使用并防止意外使用实例数据 - 所有现有客户端使用点无需费力更新

  • 如果类型发生更改，var.f() 调用将继续使用 var 类型的函数，而 Type::f()< /code> 可能需要手动更正

  


• 当您有一个返回 a 的表达式或函数调用时值并且想要调用（可能或总是）static 函数，. 表示法可能会阻止您使用 decltype 或支持模板来访问该类型，这样

• 有时变量名只是更短、更方便，或者以更自记录的方式命名

Answer 4

静态方法也可以使用类的对象来调用，就像在 Java 中一样。 尽管如此，您不应该这样做。 使用作用域运算符，如 Test::DoCrash(); 也许您会想到命名空间：

namespace Test {
    void DoCrash() {
        std::cout << "Crashed!!" << std::endl;
    }
};

它只能由 Test::DoCrash(); 从该命名空间外部调用，如果该函数未使用 using 指令/声明 显式导入到调用者的作用域中。