Impossible de déduire le paramètre modèle 'N'

Question

J'ai essayé de réduire à son minimum:

#include <array> 

template <std::size_t N> 
void f(int, std::array<int, N> const & = 
     std::array<int, 0>()) { 
} 


int main() { 
    f(10); 
} 

array_test.cpp: 4: 6: Note: déduction argument de modèle/substitution a échoué: array_test.cpp: 10: 9: note: impossible de déduire le paramètre de modèle 'N' f (10);

Pourquoi cela échoue-t-il? Je ne comprends pas: il devrait être déductible de l'argument par défaut. J'ai besoin d'une solution de contournement.

Answer 1

Vous devez donner une valeur par défaut à N, pas au tableau:

template <std::size_t N = 0> 
void f(int, std::array<int, N> const & = 
     std::array<int, N>()) { 

} 

Quant à savoir pourquoi le N ne peut être déduit de la valeur par défaut, voir Why can't the compiler deduce the template type from default arguments?.