概念 (C++)

template<LessThanComparable T>  const T& min(const T &x, const T &y)  {    return y < x ? y : x;  }

template<typename T> requires LessThanComparable<T>  const T& min(const T &x, const T &y)  {    return y < x ? y : x;  }

auto concept LessThanComparable<typename T>{  bool operator<(T, T);}

auto concept Convertible<typename T, typename U>{  operator U(const T&);}

在模板中使用涉及多态别的 concept，必须使用泛用形式：

template<typename U, typename T> requires Convertible<T, U>  U convert(const T& t)  {    return t;  }

Concept 可以是其他 concept 的构件。在下例中，InputIterator 的第一个参数 Iter 必须符合 concept Regular：

concept InputIterator<typename Iter, typename Value>{  requires Regular<Iter>;  Value operator*(const Iter&);  Iter& operator++(Iter&);  Iter operator++(Iter&, int);}

另一方面，concept 之间也能带有派生关系。如同类的继承，满足派生 concept 的类型也必须满足基底 concept，语法上也和类继承相同：

concept ForwardIterator<typename Iter, typename Value> : InputIterator<Iter, Value>{  // 在此加上 ForwardIterator 的其它要求}

Concept 中也可宣告关系类型(associated type)，以 typename 宣告。模板使用 concept 时，模板引数必须要提供相关类型的定义。

concept InputIterator<typename Iter>{  typename value_type;  typename reference;  typename pointer;  typename difference_type;  requires Regular<Iter>;  requires Convertible<reference, value_type>;  reference operator*(const Iter&); // 解參考  Iter& operator++(Iter&); // 前置遞增  Iter operator++(Iter&, int); // 後置遞增  // ...}

映射概念

Concept map 可以将类型"映射"到特定的 concept，告知编译器使用的类型是"如何"符合 concept。

concept_map InputIterator<char*>{  typedef char value_type ;  typedef char& reference ;  typedef char* pointer ;  typedef std::ptrdiff_t difference_type ;};

这个 concept_map 定义 char* 符合 concept InputIterator，并且一一声明所需的关系类型。

concept_map 可以宣告成模板，下面的例子声明所有的指针类型都符合 concept InputIterator。

template<typename T> concept_map InputIterator<T*>{  typedef T value_type ;  typedef T& reference ;  typedef T* pointer ;  typedef std::ptrdiff_t difference_type ;};

concept_map 可以作为一个迷你类型，在其中置入函数的定义与其它用来定义类的相关构件。

concept Stack<typename X>{  typename value_type;  void push(X&, const value_type&);  void pop(X&);  value_type top(const X&);  bool empty(const X&);};template<typename T> concept_map Stack<std::vector<T> >{  typedef T value_type;  void push(std::vector<T>& v, const T& x) { v.push_back(x); }  void pop(std::vector<T>& v) { v.pop_back(); }  T top(const std::vector<T>& v) { return v.back(); }  bool empty(const std::vector<T>& v) { return v.empty(); }};

在这里，concept Stack 定义了需要的函数以及关系类型，而 concept_map 定义如何以 std::vector 实现底层的操作，每个 concept Stack 里的函数都可以转接到 std::vector 的函数调用。因此，concept_map能在不改变原类型(类别)的定义下，完成接口转换(interface adaptation)。

最后值得一提的是，一些模板的要求可以使用编译期断言(static assertion)。它们可以验证一些模板的要求，不过实际上是针对不同的问题。

C++0x 提供了公设 (axiom) 用来表达概念的语义属性。举例来说，我们可以用公设 Associativity 来定义概念 Semigroup:

concept Semigroup< typename Op, typename T> : CopyConstructible<T>{  T operator()(Op, T, T);  axiom Associativity(Op op, T x, T y, T z)  {    op(x, op(y, z)) == op(op(x, y), z);  }}

编译器可以利用公设所表达的语义做些原本不被允许的优化，因为这些优化可能会在程序可见的行为上有副作用 (其除了少数的例外，其中之一是回返值优化 (RVO))。在上述的例子中，编译器可能会重新安排 operator() 调用的次序。前提是 Op 和 T 与概念 Semigroup 有映射关系。

公设也能在软件验证，软件测试以及其它程序分析和转换上有所帮助。