为什么C++17中的全局内联变量和静态内联成员需要保护?

2022-04-16 00:00:00 inline c++ c++17

从C++17开始,可以使用inline关键字初始化头中的全局变量和静态成员。虽然我理解为什么函数中的静态变量需要保护(因为初始化即使在多线程上下文中也应该只发生一次),但我不明白为什么这些新的内联变量也要保护(您可以在这里看到:https://godbolt.org/z/YF8PeQ)。我认为在任何情况下,所有全局变量和静态成员的初始化都是在程序执行开始时(甚至在main()之前)进行的,所以现在没有必要考虑多线程。你能解释一下吗?


解决方案

包含该定义并使用它的每个文件都将尝试初始化该变量。即使这是连续发生的,而不是并发的,您仍然需要一种方法来将变量标记为已初始化,以便只有第一次出现时才会初始化它,以后尝试初始化它也不会有任何效果。

此外,您还可以在main启动之前拥有多个线程。全局变量的构造函数(以及由这些构造函数调用的函数)可以派生新线程。

因此您可以有多段代码,它们都在main之前执行,都试图初始化同一个变量。这就是守卫的作用。

相关文章