ConceptC++ Specification

ConceptC++ is an extension to the C++ Programming Language that introduces first-class support for Generic Programming. It is the first attempt to introduce complete support for Generic Programming into a mainstream programming language. ConceptC++ is a strong candidate for inclusion into the upcoming ISO C++ Standard, dubbed C++0x. The Open Systems Laboratory at Indiana University is developing a prototype compiler for ConceptC++, ConceptGCC.

The latest specification of concepts is available in the concepts proposals to the ISO C++ Standard committee and is implemented in the development version of ConceptGCC. We also main a concepts issues list containing known and potential problems with the concepts specification. The latest versions of the concepts proposals to the ISO C++ Committee are available in PDF format:

• N2501: Proposed wording for concepts (Revision 4)
• N2196: Wording for range-based for loop
• N2081: Concepts proposal (slightly dated, but contains a solid introduction)
• N2502: Core Concepts for the C++0x Standard Library
• N2500: Iterator Concepts for the C++0x Standard Library
• N2036: Concepts for the C++0x Standard Library: Approach
• N2037: Concepts for the C++0x Standard Library: Introduction
• N2322: Concepts for the C++0x Standard Library: Utilities (Revision 2)
• N2085: Concepts for the C++0x Standard Library: Containers
• N2323: Concepts for the C++0x Standard Library: Iterators (Revision 2)
• N2084: Concepts for the C++0x Standard Library: Algorithms
• N2041: Concepts for the C++0x Standard Library: Numerics [Errata]

Upcoming Proposals