L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source.
C'est bien le souci.
Les templates sont censés être génériques, donc deviner le type. C++11 a sauvé ce qu'il restait de ma santé mentale, au point que je l'ai adopté en 2008 pour mes projets perso... et je n'ai toujours pas adopté le C++17 en 2020!
C++11 (et clang aussi, ne pas oublier clang putain) a considérablement amélioré ces horreurs d'erreurs de templates (même si le gcc que j'utilise est toujours à la traîne sur le sujet).
[^] # Re: Typage structurel
Posté par freem . En réponse au journal C++ Hell/Heaven et les concepts. Évalué à 2.
C'est bien le souci.
Les templates sont censés être génériques, donc deviner le type. C++11 a sauvé ce qu'il restait de ma santé mentale, au point que je l'ai adopté en 2008 pour mes projets perso... et je n'ai toujours pas adopté le C++17 en 2020!
C++11 (et clang aussi, ne pas oublier clang putain) a considérablement amélioré ces horreurs d'erreurs de templates (même si le gcc que j'utilise est toujours à la traîne sur le sujet).