所谓concept，是一组“描述某个型别”的条件。当某个型别满足所有这样的条件，我们便说它是该concept的一个model。举例来说，char* 便是Input Iterator的model。