Concept代表:一组类(也可以是类模板)必须满足的一组条件。
当某个类(Class)满足一组条件(Concept)时,可以说这个类(Class)就是这个Conecpt的一个模型(Model)。
泛型编程中个各个“元素”的关系图:
![clip_image001 clip_image001](http://hi.csdn.net/attachment/201104/26/0_13038311059HLH.gif)
一个类型可以同时满足几个Concept,例如:正规类型
正规类型是指必须同时满足如下三个Concept:Assignable、Default Constructiable、Equality Comparable。也即:
如果 x=y,则 x==y
内建类型int是正规类型。