Void как подстановочный тип шаблона

@Solevar · Регистрация: 31.05.2016

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

Есть шаблон функции такого типа:

C++

template <typename myClass, typename in_t, typename out_t, typename smth_t>
void foo(myClass myObj, out_t& (myClass::*fooPtr)(in_t), smth_t smth_arg)
{
//код
}

Он работает корректно, пока fooPtr не является указателем на метод класса myClass, не берущий входных аргументов. В последнем случае выдает ошибку "No matching function for call to...". Значит ли это, что в таком случае компилятор "не может" вывести тип in_t как void?

Как можно решить проблему без написания еще одного шаблона специально "для указателей на методы без аргументов"?

@DU3 · 23.09.2017, 01:38

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

C++

template <typename myClass, typename out_t, typename... in_t>
void foo(myClass myObj, out_t (myClass::*fooPtr)(in_t...))
{
}
 
class Bar
{
public:
    void bar1() {}
    void bar2(int) {}
};
 
int main()
{
    Bar b;
    foo(b, &Bar::bar1);
    foo(b, &Bar::bar2);
}

@DrOffset · 23.09.2017, 19:07

Solevar, можно еще вот так на эту задачу зайти:

C++

template <typename myClass, typename func_t, typename smth_t>
void foo(myClass myObj, func_t (myClass::* fooPtr), smth_t smth_arg)
{
}
 
struct A
{
    void foo1() {}
    void foo2(int) {}
};
 
int main()
{
    A a;
    foo(a, &A::foo1, 1);
    foo(a, &A::foo2, 1);
}

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

Значит ли это, что в таком случае компилятор "не может" вывести тип in_t как void?

Да.

	23.09.2017, 19:07