将指针绑定到 C++ 中的成员运算符

它们有什么意义呢？
我从未将它们用于任何用途，而且我根本不认为自己需要使用它们。
我是否遗漏了一些关于它们的信息，或者它们几乎毫无用处？

编辑：我对它们了解不多，所以可能有必要对它们进行描述......

PMF（指向成员函数的指针）类似于普通（静态）函数指针，不同之处在于，因为非静态成员函数需要this要指定的对象，PMF 调用语法（.* or ->*）允许this要指定的对象（在左侧）。

下面是使用 PMF 的示例（注意带有“magic”的行）.*正在使用的运算符：(lhs.*opit->second)(...)，以及创建 PMF 的语法，&class::func):

#include <complex>
#include <iostream>
#include <map>
#include <stack>
#include <stdexcept>
#include <string>

namespace {
    using std::cin; using std::complex; using std::cout;
    using std::invalid_argument; using std::map; using std::stack;
    using std::string; using std::underflow_error;

    typedef complex<double> complexd;
    typedef complexd& (complexd::*complexd_pmf)(complexd const&);
    typedef map<char, complexd_pmf> opmap;

    template <typename T>
    typename T::reference top(T& st) {
        if (st.empty())
            throw underflow_error("Empty stack");
        return st.top();
    }
}

int
main()
{
    opmap const ops{{'+', &complexd::operator+=},
                    {'-', &complexd::operator-=},
                    {'*', &complexd::operator*=},
                    {'/', &complexd::operator/=}};

    char op;
    complexd val;
    stack<complexd> st;

    while (cin >> op) {
        opmap::const_iterator opit(ops.find(op));
        if (opit != ops.end()) {
            complexd rhs(top(st));
            st.pop();
                                        // For example of ->* syntax:
            complexd& lhs(top(st));     // complexd* lhs(&top(st));
            (lhs.*opit->second)(rhs);   // (lhs->*opit->second)(rhs);
            cout << lhs << '\n';        // cout << *lhs << '\n';
        } else if (cin.unget() && cin >> val) {
            st.push(val);
        } else {
            throw invalid_argument(string("Unknown operator ") += op);
        }
    }
}

[Download https://gist.githubusercontent.com/cky/871303/raw/8129852ff8d333fd71336edd6f6a9c841b505fed/rpn.cc]

这是一个简单的 RPN 计算器，使用复数而不是实数（主要是因为std::complex是具有重载运算符的类类型）。我已经测试过这个clang http://clang.llvm.org/;您的里程可能因其他平台而异。

输入应采用以下形式(0,1)。空格是可选的，但可以添加空格以提高可读性。