Separar tipo de função com função especializada

A resposta paraessa questão [https://stackoverflow.com/q/38457112/2642059]separa um tipo de função usando um modelo de classe: template <typename T> struct function_args {}; template <typename R, typename... Args> struct ...

Reabrir um modelo ActiveRecord que é fornecido por uma gema

Como adiciono um método ao tipo de tabela?

Manipulador de sinal genérico QObject

Existe alguma maneira de detectar se uma função existe e pode ser usada em tempo de compilação?

Editar: A resposta curta para a minha pergunta é que eu tinha uma visão errada do que a SFINAE pode fazer e não verifica o corpo da função:o sfinae instancia...

transponha os argumentos booleanos da função template para os argumentos da função de tempo de execução com a metaprogramação de template

A metaprogramação estática é possível em Java?

Melhor introdução à metaprogramação de modelos C ++? [fechadas]

Como você escreve código cuja lógica está protegida contra futuras enumerações adicionais?

Estou com dificuldade para descrever esse problema. Talvez seja por isso que estou tendo dificuldade em encontrar uma boa solução (as palavras simplesmente não estão cooperando). Deixe-me explicar via código: // original code enum Fruit { Apple, ...

metaprogramação de modelos: (característica para?) dissecando um modelo especificado nos tipos T <T2, T3 N, T4,…>