【英语版】国际标准 ISO/IEC TS 19217:2015 EN 信息技术 程序设计语言 C++ 概念扩展 Information technology — Programming languages — C++ Extensions for concepts.pdf

ISO/IECTS19217:2015EN信息科技—编程语言—C++扩展以概念的信息科技—编程语言—C++扩展了概念(ENISO/IECTS19217)是一个技术规范，旨在扩展C++编程语言，以支持面向概念编程的概念，特别是在函数和类型中。该规范使用了一个概念库（conceptlibrary）来描述支持概念的功能。这些功能通常涉及一些概念上的条件（concepts），它们可以被视为类型条件的函数，例如输入/输出、继承等。使用概念库可以帮助开发人员更容易地使用特定功能集的概念和规范来检查它们的设计，并在编写代码时自动验证代码。这样可以确保代码更加灵活和易于维护。这个标准适用于那些希望使用C++进行概念编程的开发人员和工程师。