C++0x auto 无法推断向量<int>成员函数指针的类型

Question

使用 GCC 4.7.0 （g++ -std=c++0x test.cpp） 编译以下简单C++代码会给出编译错误消息： 错误：无法从 '& std：：vector<_Tp， _Alloc>：:p ush_back>' 推断出 'auto'

我的问题是为什么在这个简单的情况下自动无法推断出成员函数指针的类型？

#include <iostream>
#include <vector>
int main(void) {
    // works 
    void (vector<int>::*pb)(const vector<int>::value_type&)
        = &vector<int>::push_back;
    // not work
    auto pbb = std::mem_fn(&vector<int>::push_back);
    return 0;
}

Answer 1

C++11 为采用 rvalue 参数的 vector::push_back 添加了重载。 mem_fn无法推断出您希望获取地址的两个重载中的哪一个，因此您需要添加一个强制转换来消除歧义。

auto pbb = std::mem_fn(static_cast<void (vector<int>::*)(const vector<int>::value_type&)>(&vector<int>::push_back));

---

请注意，应尽可能避免在标准库中获取类的成员函数的地址。允许实现添加额外的重载、带有默认参数的参数等，这将使代码不可移植。

§17.6.5.5/2 [成员函数]

对于 C++ 标准库中描述的非虚拟成员函数，实现可以声明一组不同的成员函数签名，前提是对成员函数的任何调用都将从此标准中描述的声明集中选择重载，其行为就像选择了该重载一样。[ 注意：例如，实现可以添加具有默认值的参数，或者将成员函数替换为具有两个或多个具有等效行为的成员函数的默认参数，或者 为成员函数名称添加其他签名。—尾注 ]

Answer 2

您需要提供一个类型参数来清除重载：

std::mem_fn<void(const int&)>(&vector<int>::push_back);

或

std::mem_fn<void(int&&)>(&vector<int>::push_back);