8

在《C++ Concurrency in Action》第 3.3.1 节中，在介绍类成员的线程安全延迟初始化 usingstd::call_once()时，给出了以下示例：

#include <mutex>

struct connection_info
{};

struct data_packet
{};

struct connection_handle
{
    void send_data(data_packet const&)
    {}
    data_packet receive_data()
    {
        return data_packet();
    }
};

struct remote_connection_manager
{
    connection_handle open(connection_info const&)
    {
        return connection_handle();
    }
} connection_manager;


class X
{
private:
    connection_info connection_details;
    connection_handle connection;
    std::once_flag connection_init_flag;

    void open_connection()
    {
        connection=connection_manager.open(connection_details);
    }
public:
    X(connection_info const& connection_details_):
        connection_details(connection_details_)
    {}
    void send_data(data_packet const& data)
    {
        std::call_once(connection_init_flag,&X::open_connection,this);
        connection.send_data(data);
    }
    data_packet receive_data()
    {
        std::call_once(connection_init_flag,&X::open_connection,this);
        return connection.receive_data();
    }
};

int main()
{}

从其文档中，第三个参数是传递给函数的参数X::open_connection()。为什么在没有输入参数的情况下调用时this需要指针？std::call_once()X::open_connection()

std::call_once(connection_init_flag,&X::open_connection,this);

PS：删除this指针会导致C2064错误：

error C2064: term does not evaluate to a function taking 0 arguments

更新：在介绍类似功能时，此问题在“C++ Concurrency in Action”一书的第 4.2.1 节中进一步明确解决，即std::async：

如果第一个参数（应该是 的第二个参数std::call_once）是指向成员函数的指针，则第二个参数（应该是 的第三个参数std::call_once）提供应用成员函数的对象（直接或通过指针，或包裹在std::ref) 中，其余参数作为参数传递给成员函数。否则，第二个（应该是 的第三个std::call_once）和后续参数作为参数传递给指定为第一个参数的函数或可调用对象。

4

2 回答 2

17

为什么调用 std::call_once() 时需要这个指针？

因为open_connection是非静态数据成员。它必须在某事上被调用，并且某事是同一个实例，由this（从技术上讲，非静态成员函数有一个隐含的第一个参数this.）

它可以用不同的实例调用，尽管在这种情况下这没有意义：

X x;
std::call_once(connection_init_flag, &X::open_connection, &x);
于 2014-04-21T12:21:53.417 回答
8

juanchopanza 是正确的，我想补充一点，如果您用严格等效的 lambda 替换参数或代码片段，您实际所做的可能会更清楚：

std::call_once(connection_init_flag, [&]{ open_connection(); } );
// or 
std::call_once(connection_init_flag, [this]{ open_connection(); } );

这也完全等同于：

std::call_once(connection_init_flag, [this]{ this->open_connection(); } );
于 2014-04-21T19:42:38.047 回答