可以“首次使用时构建”习语在任何情况下都会失败？

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 函数更改为使用“新”，但结果完全相同（顺便说一句。程序永远不会崩溃）。
但我不明白这可能吗？
知道我做错了什么吗？

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

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 包含调用 getString()，则将调用 getString() 的哪个版本是特定于操作系统的。在大多数系统上，使用单个共享库的加载顺序，但在其他系统上，它将对共享库进行深度优先搜索（即lib X加载XA XB，Y加载YA YB。搜索顺序可以是X XA XB Y YA YB或 XY XA XB YA YB)。您需要查阅每个操作系统共享库文档以了解如何在运行时搜索符号。

这里的解决方案是仅链接共享库（大多数情况下的默认值）。
这样，您只会获得 libA 的一份副本（假设您将 libA 设为共享库），并且其内容仅加载到运行时一次（没有副本）。

注意：这不是语言级别的失败。
这是由超出 C/C++ 语言范围的链接引起的失败。

Answer 2

实际上，示例中缺少一个想法。它应该看起来像这样：

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

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

奇怪。无论如何，我将其重构为如下所示：

extern "C" {
  string* GetString() {
    static string strFilename;
    return &strFilename;
  }

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

现在它可以正常工作了。
对我来说，编译器没有抱怨仍然很奇怪。
感谢大家的贡献，现在问题已经解决了。

- - - - - - - - - - - - - - - - - 编辑 - - - - - - - - -------------------

后来我又遇到了这个问题，所以没有得到正确的解决。
真正的问题是一些已初始化的单例
与此同时，在类构造函数中：

GetString() = "";

所以，简单的问题，但真的很难跟踪......