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

Question

我正在阅读cppreference中的std :: thread文档 （并不总是100％准确，我知道）并注意到std::thread在传递“指向数据成员”时的行为的以下定义（不是“指向成员函数的指针（）作为其第一个参数（ f ）和所需类的对象作为其第二个参数（复制到线程本地存储后的t1 ）：

如果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工作方式。

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

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

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

忽略DECAY_COPY作用（与问题无关），这是第20.8.2段定义INVOKE伪函数的方式：

定义INVOKE（f，t1，t2，...，tN）如下：

- （t1。* f）（t2，...，tN）当f是指向类T的成员函数的指针时，t1是类型为T的对象或对类型为T的对象的引用或对t的引用源自T的类型的对象;

- （（* t1）。* f）（t2，...，tN）当f是指向类T的成员函数的指针时，t1不是前一项中描述的类型之一;

- 当n == 1时，t1。* f，f是指向类T的成员数据的指针，t1是类型为T的对象或对类型为T的对象的引用或对从中派生类型的对象的引用吨;

- （* t1）。* f当N == 1且f是指向类T的成员数据的指针时，t1不是前一项中描述的类型之一;

- 在所有其他情况下f（t1，t2，...，tN）。

现在问题变成：

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

答案就在这里 。