Подскажите правильно

Или нет

У тебя вообще не понятно что код делает ))

Н[5,6] - а ты пишешь A[11].

Делаю класс. Один из методов этого класса принимает указатель на функцию, которая сама должна принимать параметр. Так как класс делается универсальным (для применения его без изменений в любом проекте), то описанный метод сделал так:

void Method(void (*callback)(void*), void* callbackParm) ;

Функция, которая передается в метод в качестве параметра callback, через static_cast приводит параметр void* к реально передаваемому типу. Но мне сдается, что это ужасно криво.
Как сделать это правильно? Наверное метод класса Method надо сделать шаблонным? Но тогда и сама функция, передаваемая в метод, должна быть шаблонной...

void Method(void (*callback)(void*), void* callbackParm) ;

Почему она должна быть шаблоннной?

Функция? Вот, кстати, тоже про это подумал... Ведь, да, не должна.

Да, с 20 убивает уже user-declared

То есть, только метод класса делаем шаблонным? Вот так примерно:

template<typename R, typename P>
R Method(R (*callback)(P*), P* callbackParm) ;

template <class Ret, class... Args>
Ret Method(Ret (*callback)(Args&&...), Args&&... args);

void Method(void (*callback)(void*), void* callbackParm) ;

template <typename F, typename... Args>
void method(F f, Args... args) requires std::invokable<F, Args...>;

Perfect forwarding по вкусу

А, там ibm i. Тогда вместо концептов статик ассерт в тело или свинью в тип возврата

Да, ibm i. Концепты не светят, зачем статик ассерт не понял...

Чтобы в случае неверных аргументов получать нормальное сообщение, а не портянку из ошибок компиляции на два монитора

Я еще не писал код с шаблонами с переменным числом аргументов. Не понимаю как могут быть неверные аргументы, если метод шаблонный, он по определению должен уметь принимать аргументы любых типов...

Можно ошибиться при вызове

Шаблон-"вызывальщик" всё переварит, а функция - нет

всем ку, наверно не по теме. Кто-нибуть может поделится чатами по ИБ вирусологии?

Блин... Надо пример. Попробую сейчас накидать, потом покажу, а вы подскажите, где надо вставить статик ассерт.

Он потенциально может. Это не значит, что инстанция возможна для любого множества типов