我有这段代码：
// my.h
#ifndef MY_HEADER
#define MY_HEADER
int create_uid();
#endif
// my.cpp
#include "my.h"
static int _next_uid = 0;
int create_uid()
{
return _next_uid++;
}
我希望内联create_uid()函数，同时保持_next_uid变量对程序全局可见，以便使变量唯一。
我的问题是：
inline语句是否需要将_next_uid变量在编译单元外可见？注意：此处的解答似乎没有明确回答这些问题。
_next_uid，那么只需将以下内容放入您的头文件中：inline int create_uid()
{
static int _next_uid = 0;
return _next_uid++;
}
_next_uid 副本。 - Narann_next_uid 变量保持为 静态的”？这听起来像一个 X-Y 问题。你应该明确指定你正在尝试解决什么问题。 - Daniel Langr_next_uid成为整个程序/库的唯一ID。一种全局变量。编辑：看起来您的编辑实际上是有效的！ - Narann简短回答。不行。以下代码
// my.h
static int _next_uid = 0;
inline int create_uid() {
return _next_uid++;
}
这段代码可能会编译成功，但如果在多个翻译单元中使用，则会导致未定义的行为。这是因为不同翻译单元中的_next_uid变量是不同的实体。因此create_uid()的定义也是不同的。然而：
如果一个具有外部链接的内联函数在不同的翻译单元中有不同的定义，则其行为是未定义的。[1]
相反，您可以在函数中使用本地作用域静态变量，就像@DanielLangr在其他答案中所示。这样做的缺点是该变量不能在函数外部访问。或者，正如@wohlstad在其中一条评论中提到的那样，您可以使用C++17内联变量。
// my.h
inline int _next_uid = 0;
inline int create_uid() {
return _next_uid++;
}
static 和 inline 将产生与仅使用 static 相同的效果 [3]，这会导致我上面提到的未定义行为。摘要：
如果你将inline next_id()的实现放在单个c文件中，即该函数在单个编译单元中，则它将无法工作。因此，main找不到inline next_id()，会出现undefined reference错误。
如果你在一个共享头文件中声明inline next_id()，则可以编译它，这样每个编译单元都能正确找到inline next_id()。
在我的情况下，在进程的虚拟地址空间的.DATA段中，只有一个全局变量的实例。输出的数字是连续的。
示例：
Makefile 8:
all:
c++ -c main.cpp
c++ -c second.cpp
c++ -c share.cpp
c++ main.o second.o share.o -o main
clean:
rm -f main.o second.o share.o main
main.cpp 12：
#include <cstdio>
#include "share.hpp"
#include "second.hpp"
int main(){
printf("[main] %d\n", next_id());
consume_id();
printf("[main] %d\n", next_id());
consume_id();
printf("[main] %d\n", next_id());
return 0;
}
second.hpp 1：
void consume_id();
second.cpp 7:
#include <cstdio>
#include "share.hpp"
void consume_id(){
printf("[scnd] %d\n", next_id());
}
share.hpp 4：
#pragma once
int next_id();
share.cpp 7：
static int _next_id = 0;
int next_id()
{
return _next_id++;
}
结果输出：
[main] 0
[scnd] 1
[main] 2
[scnd] 3
[main] 4
但如果它被改成：
share.cpp 4：
inline int next_id()
{
return _next_id++;
}
未定义对 `next_id()' 的引用
如果更改为
share.hpp 7：
#pragma once
static int _next_id = 0;
inline int next_id()
{
return _next_id++;
}
工作
编辑：
似乎是未定义的行为
我正在使用 `gcc 版本 11.2.0（Ubuntu 11.2.0-19ubuntu1）
在我的情况下
您将拥有 static int _next_id 的副本，但仅在对象文件中。在内存中只有一个。
objdump -d main > main.s
main.s 143：
00000000000011b3 <_Z7next_idv>:
11b3: f3 0f 1e fa endbr64
11b7: 55 push %rbp
11b8: 48 89 e5 mov %rsp,%rbp
11bb: 8b 05 53 2e 00 00 mov 0x2e53(%rip),%eax # 4014 <_ZL8_next_id>
11c1: 8d 50 01 lea 0x1(%rax),%edx
11c4: 89 15 4a 2e 00 00 mov %edx,0x2e4a(%rip) # 4014 <_ZL8_next_id>
11ca: 5d pop %rbp
11cb: c3 ret
这里的函数_Z7next_idv只在内存中出现了1次。
main.s 147:
11bb: 8b 05 53 2e 00 00 mov 0x2e53(%rip),%eax # 4014 <_ZL8_next_id>
_next_id 的标签是 _ZL8_next_id，在内存中也只出现了1次。
create_uid()函数中的_next_id变量时，它多次打印相同的值。我怀疑将static int _next_id = 0;放在头文件中会在每个编译单元中重复定义它。 - Narannstatic 所要做的事情，即启用内部链接。https://dev59.com/VWUp5IYBdhLWcg3wf3us?rq=1 - R2RT_next_id实体，它们不再相同。无论如何，如果我使用或不使用优化编译上面的程序，我会得到不同的结果。这通常是UB的指示。 - Jakob Stark
_next_uid是全局命名空间范围内的保留标识符，因为它以下划线开头。您不允许在那里声明它。 - user17732522inline，那个函数只能在一个翻译单元中定义，这意味着编译器无法将其代码内联到其他翻译单元中。 - Daniel Langr