将对象指针作为成员函数的第一个参数传递：它是标准的吗？

Question

以下程序同时使用 gcc 和 clang 进行编译，但这实际上是标准 C++11 还是两个编译器都为了方便而选择支持它？

struct Foo {
    int i;

    void bar() { std::cout << i << std::endl; }
};

int main() {
    std::function<void(Foo*)> method = &Foo::bar;

    Foo myFoo{4};
    method(&myFoo); // prints 4
}

这当然很方便，但我不明白它是如何/为什么起作用的。

Answer 1

是的，这是标准的。 [func.wrap.func.inv] 指定operator()(ArgTypes&&... args)
std::function 调用

INVOKE (f, std::forward<ArgTypes>(args)..., R) (20.8.2)，其中 f 是 *this 的目标对象 (20.8.1)。

_{（其中R是指定的返回类型。）}

[func.require] 定义INVOKE：

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

• (t1.*f)(t2, ..., tN) 当f 是指向类T 的成员函数的指针并且t1 是T 类型的对象或对 T 类型的对象或对派生自的类型的对象的引用 T;

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

• […]

请注意，调用中尾部的R 用于转换为R（function 的返回类型）：

将 INVOKE (f, t1, t2, ..., tN, R) 定义为 INVOKE (f, t1, t2, ..., tN) 隐式转换为 R。

您给出的第一个也是唯一一个参数是指向Foo-object 的指针。因此，对method 的调用会导致调用(void)((*t1).*f)()，当使用给定值写入时，它相当于
((*(&myFoo)).&Foo::bar)()，它相当于myFoo.bar()。