概念 (C++)
维基百科,自由的 encyclopedia
在针对 C++ 进行修订的 C++0x 中,概念 (concept) 和与其相关的一组公设 (axiom) 被提出作为 C++ 模板系统的扩展。它们被设计用来增进编译器发现问题代码所产生的错误消息,并让程序员能在他们所编写的模板中定义模板参数所具备的属性。这些属性让代码能指引编译器做某些优化(除了增进可读性之外),同时也可能透过形式验证工具来检验实现与规格是否相符以增进可靠性。
此条目需要补充更多来源。 (2015年10月25日) |
2009年7月,因为概念被认为还未准备好进入 C++0x,C++0x 委员会决定从标准草案中将其移除。目前有些非正式的计划以某种形式将概念再次纳入标准,但仍未有正式的决定。一个针对概念的初步实现是ConceptGCC(波兰语:ConceptGCC)。