让std::once_flag成为成员(非静态成员）可以吗

Is it ok to make std::once_flag a member (non static member)

本文关键字：静态成员 once std flag 成员      更新时间：2023-10-16

我需要为当前对象进行一些计算并延迟缓存结果（根据第一次请求）。很明显，我可以用互斥体来完成，但我只是好奇是否可以将std::once_flag作为成员并使用它来初始化这个实例。我把它用于单体，但不用于普通物体。

按照你的建议去做是有可能的。如果once_flag在尝试使用它之前得到了正确的构造（a），它应该可以很好地工作，并且可以通过将它作为类中的成员变量来保证，比如：

#include <iostream>
#include <mutex>
class MyClass {
    public:
        MyClass() {
            std::cout << "Constructingn";
        }
        void DoSomething() {
            std::call_once(m_lazyInit, []() {
                std::cout << "Lazy initn";
            });
            std::cout << "Doing somethingn";
        }
    private:
        std::once_flag m_lazyInit;
};
int main() {
    MyClass x;
    x.DoSomething(); // Sequential but would also work concurrently.
    x.DoSomething();
    return 0;
}

在那之后的任何时候，无论调用DoSomething():多少次，都只会为对象成功调用一次惰性初始化代码

Constructing
Lazy init
Doing something
Doing something

从您的评论来看，似乎您担心它会占用大量资源，并且使用具有成员布尔值的静态（类级别）互斥来做同样的事情可能不那么费力。这样，可能的重负载线程内容就被限制为一项，而不是每个对象一项（只替换上面代码中的类）：

class MyClass {
public:
    MyClass() : m_lazyInitFlag(true) {
        std::cout << "Constructingn";
    }
    void DoSomething() {
        {   // Limit lock duration to as short as possible.
            std::lock_guard<std::mutex> lazyInit(m_lazyInitMutex);
            if (m_lazyInitFlag) {
                std::cout << "Lazy initn";
                m_lazyInitFlag = false;
            }
        }
        std::cout << "Doing somethingn";
    }
private:
    static std::mutex m_lazyInitMutex;
    bool m_lazyInitFlag;
};
std::mutex MyClass::m_lazyInitMutex;

然而，我会不那么担心。组装您的标准库的人员将尽可能最大限度地优化它，并且几乎可以肯定地考虑到您需要每个对象call-once()可调用的可能性。

此外，像静态互斥体成员标志选项这样的解决方案引入了更多争用，因为您只能在整个类中运行一个可并发调用的，而不是在每个对象中运行一。

这也意味着，如果您希望使用可能失败的可调用程序，则需要使用try..catch块自行处理，而不是使用call_once()提供的自动处理。

我的建议是只使用call_once()功能，因为这实际上是的预期用例。只有当可能出现性能问题时才担心，此时，您可以研究其他解决方案。

换句话说，YAGNI:）

（a）正如Barry在评论中指出的那样，您在复制或移动对象时也会受到限制，因为不可复制、不可移动的once_flag成员会阻止这种情况。

因此，如果需要来复制或移动对象，您可能需要使用另一个选项。

相关文章：