Указатели на функции

@Etyuhibosecyu · Регистрация: 13.07.2017

Author24 — интернет-сервис помощи студентам

Допустим, я написал такой указатель на функцию:

C++

1	template<typename... T> int (*pointer)(T... parameters);

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

@Undisputed · 28.10.2018, 13:50

C++

#include <iostream>
 
template<typename... T> 
using pointer = int (*)(T... parameters);
 
template<typename... T>
using other_pointer =  pointer<int, T...>;
 
int f(int, double)
{
    std::cout << "int f(int, double)\n";
    return 0;
}
 
int main()
{
    other_pointer<double> p = f;
    p(1,1.0);
}

@Etyuhibosecyu · 28.10.2018, 15:37 **[ТС]**

А как сделать, чтобы было возможным что-то похожее на такое:

C++

int f(int a1, double a2, std::string a3, ...) {}
int main() {
    pointer<int> p;
    add_parameter<double>(p);
    add_parameter<std::string>(p);
    ...
    p = f;
    int a = p(5, 3.14159, "abc", ...);
}

Как написать функцию add_parameter()?

@TRam_ · 28.10.2018, 15:46

Etyuhibosecyu, динамически добавлять разные наборы параметров в шаблон невозможно. Потому что шаблон (и функции, и класса) предполагает полную параметризацию на момент компиляции кода.

С другой стороны - зачем это всё, когда её с С есть функции с переменным числом аргументов? https://en.cppreference.com/w/... _arguments

@TRam_ зомбяк 1584 / 1218 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	28.10.2018, 15:46	4
	Etyuhibosecyu, динамически добавлять разные наборы параметров в шаблон невозможно. Потому что шаблон (и функции, и класса) предполагает полную параметризацию на момент компиляции кода. С другой стороны - зачем это всё, когда её с С есть функции с переменным числом аргументов? https://en.cppreference.com/w/... _arguments 0