c++ - "construct on first use"习语在任何情况下都会失败吗？

Question

我正在使用一些静态库构建我的程序(实际上是测试)。
这个库包含一个文件，我在里面有这样的功能:

string& GetString() {
    static string strFilename;
    return strFilename;
}

void PrintToScreen() {
    printf("String: %s\n", GetString().c_str())
}

然后在我的 main.cpp(图书馆外)我正在做:

GetString() = "abc";
printf("String: %s\n", GetString().c_str());
PrintToScreen();

我得到了这个输出:

String: abc
String:

所以看起来像是对该函数的第二次调用 (但是从库中的不同文件完成) 以某种方式清除以前的值，重新初始化它，或者使用它自己的拷贝。
我将 GetString 函数更改为使用"new"，但结果完全相同(顺便说一句。程序永远不会崩溃)。
但我不明白 hot 这可能吗？
知道我做错了什么吗？

----------------------------更新---------------- --------------

1. 测试是在单线程环境下完成的。
2. 它在某些平台上工作，在某些平台上不工作(在 Windows、MacOS 和 AIX 上工作，在 linux、HP_UX、Solaris、FreeBSD 上不工作...)
3. 我在执行期间验证了 strFilename 的地址(GetString 中的 printf)，看起来它是一个没有重复的变量(地址始终相同)
4. 但是，在最终的库中使用 nm 我得到了类似的东西:

<我> 0000000000000030 T _Z16GetLogprintfFilev
0000000000000008 b _ZGVZ16GetLogprintfFilevE16strLogprintfFile
0000000000000018 b _ZZ16GetLogprintfFilevE16strLogprintfFile
U _Z16GetLogprintfFilev

在我的基础库中使用 nm(由最终库使用)我得到:

<我> 0000000000000030 T _Z16GetLogprintfFilev
0000000000000008 b _ZGVZ16GetLogprintfFilevE16strLogprintfFile
0000000000000018 b _ZZ16GetLogprintfFilevE16strLogprintfFile

Answer 1

是的，这在静态链接时是很有可能的。

例子:

 libA.a   // contains GetString()
          // Contains. PrintToScreen()
          // Here the reference has been resolved.

 libX.so  // Contains a call to GetString()
          // This library is linked with libA.a
          // Thus pulls in the function GetString() into this library.

 libY.so  // Contains a call to PrintToScreen()
          // This library is linked with libA.a
          // Thus pulls in the function PrintToScreen and GetString() into this library.

 a.out    // linked against libY.so libX.so
          // This has two distinct versions of GetString()

在上面的示例中，如果 a.out 包含调用 got getString() ，则将调用哪个版本的 getString() 是特定于操作系统的。在大多数系统上，使用单个共享库的加载顺序，但在其他系统上，它将对共享库进行深度优先搜索(即 lib X 加载 XA XB，Y 加载 YA YB。搜索顺序可以是 X XA XB Y YA YB或 X Y XA XB YA YB)。您需要查阅每个 OS 共享库文档以了解如何在运行时搜索符号。

这里的解决方案是只链接共享库(大多数情况下的默认设置)。
这样你就只会得到一个 libA 的拷贝(假设你将 libA 设为共享库)并且它的内容只会加载到运行时一次(没有拷贝)。

注意:这不是语言层面的失败。
这是由超出 C/C++ 语言范围的链接引起的失败。