C++——成员函数的限定

今天在逛知乎的时候看见了一个问题，原文链接如下请问C++标准库函数not_fn为什么要这么实现？ - 知乎

看了一个知乎答者的解释

非静态成员函数参数列表后的修饰符是成员函数的限定，在类对象处于不同的值类别（const non-const const & const &&等）时会选择不同的函数调用。 

这个在学习C++的时候已经学习到了，但是没想到竟然还会有带引用的形式。

我们看一下的代码和其运行结果

class Integer
{
private:
    int val;
public:
    Integer(int a = 0) : val(a) { }
    int operator()() &
    {
        cout << "use &" <<endl;
        return val;
    }
    int operator()() const&
    {
        cout << "use const &" <<endl;
        return val;
    }
    int operator()() &&
    {
        cout << "use &&" <<endl;
        return val;
    }
    int operator()() const &&
    {
        cout << "use const &&" <<endl;
        return val;
    }
};
int main()
{
    Integer a(10);
    auto & ref_a = a;
    a();
    ref_a();

    const Integer const_a(10);
    const_a();

    cout << "--------" << endl;

    std::move(a)();
    static_cast<const Integer &&>(std::move(a))();
    return 0;
}

 

 可以看见，对于不同的值状态，调用了不同的版本。另外，假如我们这样写，编译器会这样的报错

class Integer
{
private:
    int val;
public:
    Integer(int a = 0) : val(a) { }
    int operator()() &
    {
        cout << "use &" <<endl;
        return val;
    }
    int operator()()
    {
        cout << "use &" <<endl;
        return val;
    }
};

Cannot overload a member function without a ref-qualifier with a member function with ref-qualifier '&'

不能重载没有 ref-qualifier 的成员函数和带有 ref-qualifier '&' 的成员函数

也就是说，不能重载带引用和不带引用的两个版本。对于左值引用和对于右值引用都是一样的。