Вызов глобальной функции из объекта класса

[Darthriddikc]

Здравствуйте! Допустим, к примеру, имеется класс, который может хранить в себе адрес на функцию, а также метод, который вызовет эту функцию...

#include <iostream>
 
typedef void (*NEXT_Func)();
 
class caller{
    NEXT_Func nextFunc;
public:
    caller(NEXT_Func next){
        nextFunc=next;
    }
    void call(){
        nextFunc();
    }
};
 
void func1(){
    std::cout<<"!!!QwErTy!!!"<<std::endl;
}
 
int main(){
    caller Caller1(func1);
    Caller1.call();
    return 0;
}

Объекты данного класса могут хранить и вызывать только void функции, которые без параметров... Если я хочу, чтоб объект делал всё тоже самое, но, допустим, с функцией с 2-мя параметрами, да ещё и возвращающая int, то, в данном случае, я делаю указатель на int функцию c 2-мя параметрами, дописываю в класс 2 переменные в которых будут храниться значения параметров, переделываю конструктор соответствующим образом, а также вызов функции в методе...
И вот у меня вопрос, есть ли такая возможность реализовать этот класс, чтобы он был универсален и не зависим от количества параметров и типа возвращающего значения функции, которые ему пытаются "втюхать", то есть, чтобы не приходилось его переделывать под разные варианты?

[Son Of Pain]

Самый простой способ - использовать variatic templates из C++11:

#include <functional>
#include <iostream>

class caller {
	std::function<void()> nextFunc;

public:
	template<class func, class... args>
	caller(const func &f, const args &...a)
		:nextFunc(std::bind(f, a...)) {}

	void call()
	{
		nextFunc();
	}
};

void func1()
{
	std::cout << "Void called!\n";
}

void func2(int a, int b)
{
	std::cout << "Func2: they called me with a=" <<  a << " and b=" << b << "\n";
}

int main()
{
	caller c1(func1);
	caller c2(func2, 5, 10);
	c1.call();
	c2.call();
}

Но со старыми компиляторами это не будет работать. Для них тоже есть стремные техники, в принципе, можешь погуглить про emulation of variatic templates.

[waleri]

Есть, но это упражнение не для слабонервных.
Почитайте про шаблон tuple...

[_Bers]

Сообщение от Darthriddikc

И вот у меня вопрос, есть ли такая возможность реализовать этот класс, чтобы он был универсален и не зависим от количества параметров и типа возвращающего значения функции, которые ему пытаются "втюхать", то есть, чтобы не приходилось его переделывать под разные варианты?

Да. Такая возможность есть.

В рамках 2003 стандарта использовались перегрузки/специализации шаблонов.

В рамках 2011 стандарта используются variatic templates.

Подробности вы можете узнать исследовав коды:

std::tuple
std::function
std::bind
make_shared_ptr