Подтвердить что ты не робот

Указатели С++ для операторов

Я хочу написать указатель в С++ (или в С++ 0x), который укажет на оператор класса, скажем A или B. Есть ли способ сделать это?

Конечно, есть синтаксис вроде

int (A::*_p) ();

но это не решает эту проблему. Я хочу сделать общий указатель, не указывая для него базовый класс - только указатель на "операторную функцию"

#include <thread>
#include <iostream>

using namespace std;

class A
{
public:
    int operator()()
    {
        return 10;
    }
};

class B
{
public:
    int operator()()
    {
        return 11;
    }
};

int main()
{
 A a;
 int (*_p) ();
 _p = a.operator();
 cout << _p();

 B b;
 _p = b.operator();
 cout << _p();
}
4b9b3361

Ответ 1

Нет, вы не можете этого сделать. Тип класса является частью типа функции-члена оператора.

Тип A::operator()() отличается от типа B::operator()(). Первый имеет тип int (A::*)(), а последний имеет тип int (B::*)(). Эти типы полностью не связаны.

Самое близкое, что вы можете получить, это использовать что-то вроде полиморфной функциональной оболочки С++ 0x function (найденной в С++ 0x, С++ TR1 и Boost) и используя bind для привязки указателя на функцию-член к экземпляру класса:

std::function<int()> _p;

A a;
_p = std::bind(&A::operator(), a);
std::cout << _p();

B b;
_p = std::bind(&B::operator(), b);
std::cout << _p();