Article sur les template constraints

[Niark13]

Bonjour,

Walter Bright signe un article sur les template constraints, qui sont à D2.0 ce que les concepts devaient être à C++ 0x :

http://www.drdobbs.com/blog/archives...RSKHWATMY32JVN

Le principe est de permettre à l'auteur d'un template d'empêcher l'instanciation de celui-ci si les arguments passés ne correspondent pas à certains critères afin d'éviter de se retrouver avec une foule de message d'erreurs abscons et sans réelle indication sur la cause réelle du problème.
Il revient aussi sur l'utilisation de typeof, que personnellement je trouve loin d'être intuitive, donc 'est toujours bon à prendre.

[ponce]

J'ai l'impression que ça couvre à 100% (et plus avec la CTFE dit Alexandrescu) le champ d'utilisation des concepts + concept maps + axioms.

Ce qui est intéressant aussi c'est que si une contrainte est violée ca retire la fonction de l'overload set, du coup ca permet de spécialiser une fonction avec la même signature (si j'ai bien compris).