内联函数的局部静态/线程局部变量？

Question

如果我在不同翻译单元中定义的内联函数中有一个静态局部变量或 thread_local 局部变量，那么在最终程序中，标准是否保证它们具有相同的地址？

// TU1:
inline int* f() { static int x; return &x; }
extern int* a;
void sa() { a = f(); }

// TU2:
inline int* f() { static int x; return &x; }
extern int* b;
void sb() { b = f(); }

// TU3:
int *a, *b;
void sa();
void sb();
int main() { sa(); sb(); return a == b; }

上面的总是返回 1 吗？

Answer 1

是的，它总是同一个对象。作者：[dcl.fct.spec]/4：

具有外部链接的inline 函数在所有翻译单元中应具有相同的地址。 extern inline 函数中的 static 局部变量始终引用同一个对象。在 extern inline 函数体中定义的类型在每个翻译单元中都是相同的类型。