Théoriquement rien n'empêche le compilateur de le savoir, mais il faudrait avoir une notion de fichier objet pour les headers — pour retenir l'information calculée — qui devraient être distribués avec les bibliothèques. (Il faut connaître le header et le code pour faire la déduction correcte.)
Et, surprise, cette "information calculée" serait une version compilée des marqueurs pure et nothrow dont les gens disaient du mal plus haut. Ça revient exactement à faire de l'inférence de ces marqueurs; et alors pourquoi ne pas laisser aussi l'utilisateur les ajouter explicitement s'il le souhaite ? C'est plus flexible et ça n'enlève rien.
[^] # Re: Y'a-t-il encore besoin de nouveaux langages "bas niveau"?
Posté par gasche . En réponse à la dépêche Le langage D. Évalué à 4.
Et, surprise, cette "information calculée" serait une version compilée des marqueurs
pureetnothrowdont les gens disaient du mal plus haut. Ça revient exactement à faire de l'inférence de ces marqueurs; et alors pourquoi ne pas laisser aussi l'utilisateur les ajouter explicitement s'il le souhaite ? C'est plus flexible et ça n'enlève rien.