4

我正在尝试使用 RAII 创建在流上起作用的对象，直到它们被销毁。例如，我有一个在endl添加时会自行刷新的流。大多数时候我想要这个，但并非总是如此。我希望能够说“不要在 endl 上刷新”，但我也需要它是异常安全的。所以我不能只stream->NoFlush()设置一个班级成员。无论如何，我想知道的是这个。如果我有类似的代码

CStreamModifier no_flush;
stream->NoFlush(no_flush);
// as long as no_flush is in scope I get the behaviour I want

... do some stuff on the stream, without referencing no_flush ...

// no_flush goes out of scope here.

是否允许编译器优化 no_flush 的生命周期？例如，它在第 2 行之后没有使用，但我需要它一直保留到最后。我还没有真正听说过这样的优化，所以我认为我还可以，但我想确定一下。

4

2 回答 2

2

我会这样做：

struct Stream
{
    bool flush = true;
    // ...
};

struct NoFlush
{
    explicit NoFlush(Stream & s)
    : stream(s)
    , prev(stream.flush)
    { stream.flush = false; }

    ~NoFlush()
    { stream.flush = prev; }

    Stream & stream;
    bool prev;
};

现在你可以像这样使用它：

void foo(T arg, S brg, Stream & stream)
{
    NoFlush _(stream);

    // do stuff
}
于 2012-11-29T01:47:16.203 回答
2

不，编译器不允许优化它。当对象超出范围时，将准确调用析构函数。

如果NoFlush按值获取参数，它可以做的是优化它的副本，但这无关紧要。

复制省略是编译器可以执行的唯一影响可观察行为的优化。

于 2012-11-29T01:45:56.653 回答