c++ - 为什么静态成员函数_declared_是静态的，而在C++中却是_defined_？

Question

这是一个最小的工作示例：

啊：

class A{
        static int a_member_function();
};

A.cpp

#include "A.h"
int A::a_member_function(){return 5;}


int main(){ return 1;}

这段代码编译并运行，但是，在我看来：

static int A::a_member_function(){return 5;}

可以很容易地用于定义类 A 的静态成员函数。事实上，有这个要求似乎实际上是相当有用的，因为它会提醒 .cpp 文件的读者 a_member_function 是静态的。

但是，这显然不起作用：

error: cannot declare member function ‘static int A::a_member_function()’ to have static linkage [-fpermissive]

那么为什么它不起作用呢？这个决定背后的原因是什么？

score 24 · Accepted Answer

背后的原因是 C++ 精神试图尽量减少其关键字的数量并保持与 C 的向后兼容性：static在那个位置具有完全不同的含义。

这一切都可以追溯到 C。C 中的“静态”函数是编译单元（.c 文件）独有的函数。它们不能被其他编译单元访问（这是在 C 中进行封装的一种方式）。这种用法在 C++ 中仍然有效。您也可以对全局变量执行相同的操作以限制其范围。

虽然，在 C++ 中，您还希望static出于不同的原因声明成员函数：这些函数属于类，但不需要运行所述类的实例（我敢打赌，您已经知道，我只是想完整）。

将成员函数定义为static会导致矛盾：该函数必须在其翻译单元之外访问。

在 C 和 C++ 之间还有另一种关键字重用的情况，即autoC++11 中的关键字，但它不太可能成为问题。

注意： 同样的事情发生virtual在声明中而不是定义中的关键字。

1 回答 1