We can already do more with constraints/concept checking templates than could be done with the various language extensions proposed for C++ and similar languages.

• 通过约束／概念检查模板，我们已经可以比用为C++和相似的语言提议的各种各样的语言扩展做得更多。