Я недавно узнал, что я не могу:

Но я также недавно узнал, что яМожно вызовdecltype чтобы получить тип возврата указанной функции

Итак, неопределенная функция:

int foo(char, short);

Я хотел бы знать, есть ли способ, которым я могу сопоставить типы параметров с типами вtuple, Это, очевидно, вопрос метапрограммирования. То, для чего я действительно стреляю - этоdecltypeargs в этом примере:

enable_if_t<is_same_v<tuple<char, short>, decltypeargs<foo>>, int> bar;

Может ли кто-нибудь помочь мне понять, какdecltypeargs может быть обработан?