Определение типов параметров неопределенной функции
Я недавно узнал, что я не могу:
Взять адрес неопределенной функцииВозьмите адрес шаблонной функции с типом, для которого она не сможет скомпилироватьсяНо я также недавно узнал, что яМожно вызовdecltype
чтобы получить тип возврата указанной функции
Итак, неопределенная функция:
int foo(char, short);
Я хотел бы знать, есть ли способ, которым я могу сопоставить типы параметров с типами вtuple
, Это, очевидно, вопрос метапрограммирования. То, для чего я действительно стреляю - этоdecltypeargs
в этом примере:
enable_if_t<is_same_v<tuple<char, short>, decltypeargs<foo>>, int> bar;
Может ли кто-нибудь помочь мне понять, какdecltypeargs
может быть обработан?