Le besoin d'écrit dans l'article est généralement géré par du duck-typing dans les langages dynamiques ou du structural typing dans les langages
statiques [...] C'est ce que fais Go par exemple
Certains des besoins oui, mais l'un des avantages décrits pour std::size() est de s'utiliser facilement avec static_assert.
Au delà du duck typing/structural typing, le C++ essaie de fournir des outils pour vérifier à la compilation certains erreurs lors de l'utilisation de bibliothèques. Ce sont les exemples donnés avec expects ou static_assert.
Pour voir la différence: Google pytype implémente des validations statiques pour Python (potentiellement plus restrictives que le système de types du language). C'est à mon sens un besoin auquel Go réponds moins bien.
[^] # Re: Hum hum...
Posté par un_brice (site web personnel) . En réponse à la dépêche C++17 libère size(), data() et empty(). Évalué à 1.
Certains des besoins oui, mais l'un des avantages décrits pour
std::size()est de s'utiliser facilement avecstatic_assert.Au delà du duck typing/structural typing, le C++ essaie de fournir des outils pour vérifier à la compilation certains erreurs lors de l'utilisation de bibliothèques. Ce sont les exemples donnés avec
expectsoustatic_assert.Pour voir la différence: Google pytype implémente des validations statiques pour Python (potentiellement plus restrictives que le système de types du language). C'est à mon sens un besoin auquel Go réponds moins bien.