J'ai le problème suivant: Je veux obtenir le type de résultat de Merci d'avance. appelable qui prend Taillef ... (n_i) De nombreux arguments du type t comme entrée, par exemple, appelable (1,2,3) en cas de t == int et taille de ... (n_i) == 3 . Comment cela peut-il être mis en œuvre?
3 Réponses :
Nous pouvons utiliser un alias de type pour accrocher à l'expansion de n_i code>, mais redonner toujours t code>. template <class T, std::size_t>
using eat_int = T;
template< typename callable, typename T , size_t... N_i>
void foo()
{
using callable_out_type = std::result_of_t< callable(eat_int<T, N_i>...) >;
// ...
}
Vous pouvez écrire les aides suivants puis dans votre foo vous écrivez
Pourquoi ne pas simplement utiliser:
using callable_out_type = std::result_of_t< callable(std::enable_if_t<(N_i, true), T>...) >;
Peut-être regarder
std :: INTEGER_SEFENCEsera utile.