摘要： 概念库提供基础库概念们的定义，它们能用于进行模板实参的编译时校验，以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。 标准库中的大多数概念一同加上了语法及语义要求。若符合标准概念的语法要求，则称它被满足，而若满足标准概念并且还符合其语义要求（若存在），则称它被实现。 通常，编译器只能检 阅读全文