std::具有指向数据成员的指针的线程

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

如果N==1并且f是指向类的成员数据对象的指针，则访问它。对象的值将被忽略。实际上，执行以下代码：t1.*f如果并且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规则的变幻莫测使其难以同等对待…？(

这不是我实际代码所需要的东西，但这个定义的存在让我怀疑我错过了一些基本的东西，这让我很担心……有人能启发我吗？