Determinación de los tipos de parámetros de una función indefinida
Recientemente he aprendido que no puedo:
Tomar la dirección de una función indefinidaTome la dirección de una función en plantilla con un tipo para el que no podría compilarPero también he aprendido recientemente que yopuede llamadadecltype para obtener el tipo de retorno de dicha función
Entonces, una función indefinida:
int foo(char, short);
Me gustaría saber si hay una manera de poder hacer coincidir los tipos de parámetros con los tipos de untuple. Obviamente, esta es una pregunta de meta programación. Lo que realmente estoy disparando es algo comodecltypeargs en este ejemplo:
enable_if_t<is_same_v<tuple<char, short>, decltypeargs<foo>>, int> bar;
¿Alguien puede ayudarme a entender cómodecltypeargs podría ser elaborado?