- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在学习 isocpp 时,我遇到了一个 FAQ .其中说:“什么是保证静态初始化和静态去初始化的技术?”简短的答案只是暗示:
Short answer: use the Nifty Counter Idiom (but make sure youunderstand the non-trivial tradeoffs!).
到现在为止,我不明白Nifty Counter Idiom是什么意思意思以及它如何解决 Fiasco 问题。我已经知道 Construct On First Use Idiom ,以及它在使用静态对象或静态指针时的副作用(包装在返回引用的全局函数中)
这是一个实际上容易出现 Fiasco 问题的简单示例:
//x.cpp
include "x.hpp" // struct X { X(int); void f(); };
X x{ 10 };
struct Y { Y(); };
Y::Y(){ x.f(); };
//y.cpp
include <iostream>
include "y.hpp" // struct Y { Y(); };
struct X { X(int); void f(); private: int _x; };
X::X(int i) { _x = i; };
void X::f() { std::cout << _x << std::endl; };
Y y;
来自 here ,提到了Nifty Counter Idiom的主要用途
Intent: Ensure a non-local static object is initialized before itsfirst use and destroyed only after last use of the object.
现在我现在需要的是,Nifty Counter Idiom具体是如何解决上面代码中的静态顺序初始化和去初始化的,而不管其他的解决方法如constinit
。假设上面的程序是这样编译的:
~$ g++ x.cpp y.cpp && ./a.out
>> 10
~$ g++ y.cpp x.cpp && ./a.out
>> 0
最佳答案
我认为您提供的链接解释得很好。但这是我的尝试。
// stream.hpp
struct Stream {
Stream ();
~Stream ();
void operator<<(int);
};
extern Stream stream; // global stream object
// stream.cpp
#include "stream.hpp"
Stream::Stream () { /* initialize things */ }
Stream::~Stream () { /* clean up */ }
void Stream::operator<<(int a) { /* write to stream */ }
Stream stream{};
// app.cpp
#include "stream.hpp"
struct X
{
X()
{
stream << 24; // use stream object
}
~X()
{
stream << 1024; // use stream object
}
};
X x{}; // in this static initialization the static stream object is used
C++ 标准不保证 TU 中静态对象的任何初始化顺序。 stream
和 x
在不同的 TU 中,所以 stream
可以先初始化,这很好。或者 x
可以在 stream
之前初始化这很糟糕,因为 x
的初始化使用 stream
尚未初始化。
如果stream
,析构函数也会出现同样的问题。在 x
之前销毁.
它利用了在 TU 中对象按顺序初始化和销毁的事实。但是我们不能有 stream
每个 TU 的对象,所以我们使用了一个技巧,我们改为使用 StreamInitializer
每个 TU 的对象。这streamInitializer
将在x
之前 build 并在 x
之后销毁我们确保只有第一个 streamInitializer
被构造的创建流对象,并且只有最后一个 streamInitializer
被破坏破坏流对象:
// stream.hpp
struct Stream {
Stream ();
~Stream ();
void operator<<(int);
};
extern Stream& stream; // global stream object
struct StreamInitializer {
StreamInitializer ();
~StreamInitializer ();
};
static StreamInitializer streamInitializer{}; // static initializer for every TU
// stream.cpp
#include "stream.hpp"
static int nifty_counter{}; // zero initialized at load time
static typename std::aligned_storage<sizeof (Stream), alignof (Stream)>::type
stream_buf; // memory for the stream object
Stream& stream = reinterpret_cast<Stream&> (stream_buf);
Stream::Stream () { // initialize things }
Stream::~Stream () { // clean-up }
StreamInitializer::StreamInitializer ()
{
if (nifty_counter++ == 0) new (&stream) Stream (); // placement new
}
StreamInitializer::~StreamInitializer ()
{
if (--nifty_counter == 0) (&stream)->~Stream ();
}
我们的app.cpp是一样的
// app.cpp
#include "stream.hpp"
struct X
{
X()
{
stream << 24; // use stream object
}
~X()
{
stream << 1024; // use stream object
}
};
X x{}; // in this static initialization the static stream object is used
现在stream
不是一个值,它是一个引用。所以在这一行 Stream& stream = reinterpret_cast<Stream&> (stream_buf);
没有Stream
对象被创建。只是引用绑定(bind)到驻留在 stream_buf
处的仍然不存在的对象内存。稍后将构造此对象。
每个编译单元都有一个streamInitializer
目的。这些对象以任何顺序初始化,但这并不重要,因为只有其中一个 nifty_counter
将是 0
在那并且只有那一条线上 new (&stream) Stream ();
被执行。这一行实际上创建了 stream
内存位置的对象 stream_buf
.
现在为什么行是X x{};
在这种情况下可以吗?因为这个TU的streamInitializer
对象在 x
之前初始化,这确保了 stream
在 x
之前初始化.对于 stream.hpp
的每个 TU 都是如此在使用 stream
之前已正确包含对象。
相同的逻辑适用于析构函数,但顺序相反。
不同TU中的静态对象可以按任意顺序初始化。如果来自一个 TU 的静态对象在其构造函数或析构函数中使用来自另一个 TU 的另一个静态对象,则会出现问题。
在 TU 中,对象按顺序构造和销毁。
在漂亮的 connter 习语中:
stream
是对该内存位置的对象的引用streamInitializer
在使用 stream
的每个 TU 中创建对象对象。streamInitializer
将创建流对象,第一个被初始化x
之前的 TU 中至少 streamInitializer
因为那个 TU 已经初始化了。这意味着至少有一个 streamInitializer
被构建,这意味着 stream
在 x
的构造函数之前构造.包含为简洁起见而省略的守卫
关于c++ - C++ Nifty Counter 习语如何保证静态初始化和静态去初始化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/70305902/
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎不是关于 a specific programming problem, a softwar
有没有办法保证您的系统托盘图标被删除? 添加系统托盘图标: Shell_NotifyIcon(NIM_ADD, &m_tnd); 删除系统托盘图标: Shell_NotifyIcon(NIM_DELE
是否保证(-x) % m,其中x和m在c++中为正standard (c++0x) 为负数,等于 -(x % m)? 我知道它在我知道的所有机器上都是正确的。 最佳答案 除了Luchian的回答,这是
可能还有其他方法可以作为示例,但这不是我要问的重点。 我正在这样做: (future (clojure.java.shell/sh "sleep" "3" :dir "/tmp")) 启动对Shell
可以使用 XREAD(或者可能是另一个命令)以原子方式检测数据是否写入 Redis 流? 进一步来说: 假设您在一个进程中将一些数据添加到 Redis 流中,并看到数据已通过某个自动生成的 key 成
Kotlin 协程是否提供任何“发生之前”保证? 例如,在这种情况下,写入 mutableVar 和随后在(可能)其他线程上读取之间是否存在“发生之前”保证: suspend fun doSometh
我正在开发一个跟踪行程的应用程序。在搜索了这件事之后,我得出结论,实现这一点(持续跟踪用户的位置)的最好方法是使用前台服务。在某些情况下工作得很好,但在其他一些情况下(即使关闭 DOZE),我得到一些
我正在使用 ORM (sqlalchemy) 从 PG 数据库中获取数据。我想避免在我手工编写的 SQL 语句中指定所有表列名称*。 到目前为止,我的假设是返回的列按照用于创建数据库表的 DDL 语句
在 setState 的文档中这样说: setState() does not immediately mutate this.state but creates a pending state tr
我有一个与不同硬件接口(interface)的简单应用程序。对于每个硬件,我针对一个独特的监视器函数生成了一个 pthread_t,总共有 6 个线程:1 个管理线程和 5 个工作线程。 每个线程都有
目前,我有 private ThreadLocal shortDateFormat = new ThreadLocal() { @Override protected DateFormat i
我有一个使用 SolrCloud 将文档写入 Solr 的 Java 作业。输入数据被转换为不同实体的映射,然后将每个实体写入与其实体类型对应的 Solr 集合。 我的代码如下: public voi
我们使用嵌入式设备通过串行到以太网转换器将数据包从串行端口发送到服务器。我们使用的一家制造商 Moxa 将始终以与构建它们相同的方式发送数据包。意思是,如果我们构建一个大小为 255 的数据包,它将始
我是从 C++ 转到 Java 的。在 C++ 世界中,我们关注异常安全,并注意到变元器可以在变元器本身或其委托(delegate)的方法抛出异常时提供不同的保证(最小、强、不抛出)。实现具有强异常保
我想将来自 SAAJ 的 SOAPConnectionFactory 和 MessageFactory 类与多个线程一起使用,但事实证明我不能假设它们是线程安全的。一些相关的帖子: javax.xml
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 5 年前。 Improve
关于正确性,我找不到以下代码片段没有设计缺陷的证据/反证据。 template class MyDirtyPool { public: template std::size_t ad
对于这个问题,我找到了不同的答案,我知道一定有一个确定的答案。 C 中四种主要数据类型的最小分配内存大小是多少? int , double , float , 和 char是我在想什么。做 signe
我正在使用 Kafka Producer,我的应用程序将具有相同键的各个 ProducerRecords 发送到单个分区中,然后这些 ProducerRecords 在发送到代理之前进行批处理(使用
您好,我是服务器端编程 (java) 的新手,正在阅读 SendRedirect 与 Forward 之间的区别。来自 Post-redirect-get pattern它解释说这将阻止通过点击刷新按
我是一名优秀的程序员,十分优秀!