关的一组公设 (axiom) 被提出作为 C++ 模板系统的扩充。它们被设计用来增进编译器发现问题代码所产生的错误讯息，并让程序员能在他们所编写的样板中定义样板参数所具备的属性。这些属性让代码能指引编译器做某些优化(除了增进可读性之外)，同时也可能透过形式验证工具来检验实作与规格是否相符以增进可靠性。2009年7月，因为概念被认为还未准备好进入 C++0x，C++0x 委员会决定从标准草案中将其移除。目前有些非正式的计划以某种形式将概念再次纳入标准，但仍未有正式的决定。一个针对概念的初步实作是。Sec