如何声明静态变量但不定义它

Question

有时我们需要预先声明一个静态变量然后使用它。 但是这个声明的变量名可能是错误的，编译器无法检测到，哎呀！

示例：

/* lots of codes */
static some_type some_name; /* pre-declaration */
                            /* but it may define "some_name" */
/* use some_name */

/* lots of codes */

static some_type someName = initialization; /* definition */
/* use someName */

/* lots of codes */

“some_name”和“someName”不同，我们在开始时使用了错误的变量。 如果预声明语句没有定义任何东西，编译器就会检测到错误。

那么，如何声明静态变量而不定义它呢？如何将预声明更改为新的预声明，以使编译器可以检测到错误的名称？

Answer 1

gcc 将在您描述的情况下发出警告：

./x.c:3010: warning: 'someName' defined but not used

解决方案：执行您当前正在执行的操作，但不要忽略编译器警告；）

编辑：

使用您的更新的问题：不，我不相信有一种方法可以简单地声明静态变量（而不定义它）。

常见的解决方案是确保所有全局范围变量仅声明一次，并在需要时使用初始化程序。

Answer 2

static some_type some_name; /*definition */

静态变量some​​_name已被初始化为0；它是定义，而不仅仅是声明。

IMO，静态变量不能仅使用 extern 说明符在 C 中声明，因为它的链接始终是内部的。

Answer 3

在 C 语言中不可能创建具有内部链接的对象的非定义声明（即术语中的“预声明”）。

您可以尽可能接近的是一个暂定定义，这就是您在示例中的内容。但如果出现拼写错误，暂定定义将隐式产生独立定义，而不是链接器错误。

Answer 4

一点背景知识：

正如其他人指出的那样，静态变量具有内部链接，这意味着它们只能在同一“编译单元”或源文件中使用。这意味着您不能在头文件中声明它，在一个编译单元中为其赋值，并期望该值出现在另一个编译单元中。

当您初始化全局变量（静态或非静态）时，编译器只是将初始值放入可执行文件中为该变量分配的内存位置。换句话说，它总是有一个初始值。当然，您可以稍后使用赋值语句覆盖该值。

建议：

如果您确实不知道编译时变量的值，那么您应该在初始化函数中动态分配它。

static some_type some_variable; /* = 0 by default */

/* some code */

void MyInitializations()
{
    some_variable = some_value;
}

如果您想在一个地方声明变量，例如头文件，并在源文件中定义它，那么您应该使用“extern”声明，它告诉编译器不必担心变量在哪里。链接器将找到变量的位置，就像在另一个文件中查找函数并填写地址一样。

标头：

extern some_type some_variable;

源文件 1：

void UseSomeVariable()
{
    x = some_variable;
}

源文件 2：

some_type some_variable = some_value;

/* possible also uses some_variable */

如果您只想在一处声明变量并在另一处定义它，请不要使用“static”关键字。这样做的缺点是您不能在不同的编译单元（.c 文件）中使用相同的全局变量，也不能在头文件中使用它。

Answer 5

您需要预先声明变量吗？如果没有，则将初始值设定项放在唯一的声明上。如果您的初始值设定项不是常量（这需要 C++，而不是 C、IIRC），那么我可以理解为什么您需要在使用它的某些函数之前预先声明它。但是初始化程序所需的一切都可以在它之前预先声明。

因此，将常量定义和静态变量放在每个文件的顶部，以便静态初始化器可以紧接在常量之后。那么你就不需要单独的初始化行。

在任何其他情况下，caf 是对的：值得让您的代码使用 gcc 进行编译，只是为了从其警告中受益。我已经为 C++ 中的 MFC GUI 的 g++ 做到了这一点。 （编译，而不是运行！）

据我所知，C 没有办法编写弱定义，如果稍后没有带有初始值设定项的定义，该定义将产生错误。由于变量位于 BSS 部分，因此始终存在隐式 0。

Answer 6

在 C++ 中（不是 C），可以使用 未命名命名空间 而不是静态。像这样声明：

namespace {
    extern some_type some_name;
}

extern 使此成为非定义，但是由于未命名的命名空间，some_name 无论如何都有内部链接，就好像声明为 static （参考：https://en.cppreference.com/w/cpp/语言/storage_duration#Linkage）。

对应的定义简单来说就是这样：

namespace {
    some_type some_name = initialization;
}

Answer 7

如果我理解你的问题，也许你只是没有以正确的方式面对它。

使用 extern SomeType someVar_; 会不会更好，它对你的程序说，我知道这个变量将会被知道，但我现在不想告诉你它是什么。

因此，您可以在一个单独的文件中声明您的变量，例如

static SomeType SomeVar_;

在您的文件中，放置

extern SomeType SomeVar_

并且将初始化放在您想要的任何位置。