首页 文章

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

提问于
浏览
5

我正在阅读std::thread documentation at cppreference(并不总是100%准确,我知道)并注意到 std::thread 的行为的以下定义,当传递"pointer-to-data-member"(不是"pointer-to-member-function")作为其第一个参数( 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规则的混乱中存在某些因素,这使得难以等同地对待它们......?)

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

1 回答

  • 3

    这是因为通用绑定工具C 11标准不仅定义了线程的启动方式,还定义了 std::bindstd::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派生的类型的对象的引用; - ((* 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标准以这种方式定义INVOKE设施?

    答案是 here .

相关问题