c - 为什么在 LKM 中使用静态函数是一种约定

Question

我最近一直在研究这个问题，并查看了各种文章和 stackoverflow 帖子，但我似乎无法找到一个直接的答案。创建内核模块时，我看到大多数代码如下所示：

#include <linux/init.h>
static int test_init(void) {return 0;}
static void test_exit(void) {;}
module_init(test_init);
module_exit(test_exit);

我发现的一个可能原因是这样做会增加将恶意代码注入正在运行的模块的难度。
另一个是名称空间的混乱程度较低，但这不会只是您正在链接和编译的内核模块的上下文中的问题，而没有其他问题？如果insmod实际上像 ld 那样将代码链接到内核中，那么我可以看到名称冲突会如何弄乱系统。这是原因吗？

我想不出任何其他原因，我希望在我盲目地开始使用约定之前澄清这一点。

先感谢您

score 6 · Accepted Answer

如果在 .c 文件之外不需要函数，则应在该 .c 文件中将其声明为静态。

这只是很好的封装。

它避免了名称冲突并让读者知道您的意图。

score 3 · Accepted Answer

如果编译器决定内联静态函数的所有调用实例，则编译器不需要输出该函数的目标代码，因为它知道所有实例都已内联。但是，如果您不将其声明为静态，则编译器无法确定它不是从其他地方调用的。

此外，将某些内容声明为静态会阻止其进入全局名称空间。这在没有名称修饰的 C 中很重要，因此只能有一个具有同一个名称的函数（即使它作用于不同的类型）。因此，您可以为静态函数使用短函数名称，因为它们不会与其他任何人发生冲突。

没有特定于内核或操作系统的内容。只是良好的编程习惯。

2 回答 2