带有指向数据成员的指针的std :: thread

Question

我正在阅读cppreference中的std :: thread文档(并不总是100%准确,我知道),并注意到以下定义为std::thread传递"指向数据成员指针"时的行为(不是"指针指向 - member-function")作为它的第一个参数(f)和所需类的对象作为它的第二个参数(t1在复制到thread-local-storage之后):

如果N == 1并且f是指向类的成员数据对象的指针,则访问它.忽略对象的值.实际上,执行以下代码:t1.*f if和t1的类型是T,引用T或引用从T派生的类型(*t1).*f否则.

现在,我不打算std::thread以这种方式使用,但我对这个定义感到沮丧.显然,唯一发生的事情是访问数据成员并忽略值,这似乎根本就没有任何可观察到的副作用,这意味着(据我所知)它可能也是一个无操作.(我可能会遗漏一些明显的东西......？)

起初,我认为这可能是一个错误打印,并且意味着数据成员被访问然后被调用(因为它可能是一个可调用的对象,即使它不是一个函数)但我在GCC中使用以下代码对其进行了测试-4.7确实没有电话:

#include <iostream>
#include <thread>

struct S 
{
    void f() {
        std::cout << "Calling f()" << std::endl;
    }

    struct {
        void operator()() {
            std::cout << "Calling g()" << std::endl;
        }
    } g;
};

int main(int, char**)
{
    S s;
    s.f(); // prints "Calling f()"
    s.g(); // prints "Calling g()"

    std::cout << "----" << std::endl;

    auto x = &S::f; // ptr-to-mem-func
    auto y = &S::g; // ptr-to-data-mem

    (s.*x)(); // prints "Calling f()"
    (s.*y)(); // prints "Calling g()"

    std::cout << "----" << std::endl;

    std::thread t(x, &s);
    t.join();
    // "Calling f()" printed by now
    std::thread u(y, &s);
    u.join();
    // "Calling g()" not printed

    return 0;
}

这个定义有什么目的似乎没有任何成就吗？为什么不将"指向数据成员可调用指针"的行为传递给"指向成员函数的指针",并将"指向数据成员 - 不可调用的指针"传递给错误？实际上,似乎这是实现它的最简单方法,因为调用"指向数据成员可调用指针"具有与在其他上下文中调用"指向成员函数的指针"相同的语法(除非在模板专业化和SFINAE规则的混乱中存在某些因素,这使得难以等同地对待它们......？)

这不是我需要的实际代码,但这个定义存在的事实让我怀疑我遗漏了一些基本的东西,这让我担心......有人可以启发我吗？

Answer 1

这是因为 C++11 标准中的通用绑定工具不仅定义了线程的启动方式，还定义了线程的启动方式std::bind和启动方式。std::function工作方式。

\n\n

事实上，C++11 标准的第 30.3.1.2/3 段指定了类的可变参数构造函数std::thread：

\n\n

\n

template <class F, class ...Args> explicit thread(F&& f, Args&&... args);

\n\n

作用：构造一个线程类型的对象。新的执行线程INVOKE (DECAY_-\n COPY ( std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)通过调用来执行\n DECAY_COPY通过在构造线程中评估此调用的任何返回值都将被忽略。[...]

\n

\n\n

忽略DECAY_COPY什么（与问题无关），这就是第 20.8.2 段定义的INVOKE伪函数的：

\n\n

\n

定义INVOKE (f, t1, t2, ..., tN)如下：

\n\n

\xe2\x80\x94 (t1.*f)(t2, ..., tN) 当 f 是指向类 T 的成员函数的指针且 t1 是 T 类型的对象或对对象的引用时类型 T 或对派生自 T 类型的对象的引用；

\n\n

\xe2\x80\x94 ((*t1).*f)(t2, ..., tN) 当 f 是指向类 T 的成员函数的指针并且 t1 不是\n 中描述的类型之一时上一项；

\n\n

\xe2\x80\x94 t1.*f 当 N == 1 且 f 是指向类 T 的成员数据的指针且 t1 是 T 类型的对象或对 T 类型的对象的引用或对从 T 派生的类型的对象；

\n\n

\xe2\x80\x94 (*t1).*f 当 N == 1 且 f 是指向类 T 的成员数据的指针且 t1 不是上一项中描述的类型之一时；

\n\n

\xe2\x80\x94 f(t1, t2, ..., tN) 在所有其他情况下。

\n

\n\n

现在问题变成：

\n\n

\n

为什么 C++11 标准INVOKE以这种方式定义该设施？

\n

\n\n

答案就在这里。

\n