一、concepts
概念,一般把concepts翻译成这个关键词。为什么会有这种语法出现,这其实仍然离不开模板编程的复杂性和易错性。学习C++模板编程的,都会有一个初步的印象,模板好啊,省了写好多重复的代码。可是,有没有考虑过,是不是这些代码在任何环境下,都可以自由替换。会不会在替换某些特殊的变量时,用在某些场景中,会出现意外,甚至崩溃。
不言而喻,那么如何控制这个问题呢?早期使用过SFINAE(匹配失败并不是一个错误(Substitution failure is not an error)),它可以在编译期帮助你发现问题。但是如果进一步要进行语义的检查,就需要提出新的方式了。Concepts能提供编译期的校验和基于类型属性的函数转发,用官网上的话来说“每个概念都是一个谓词,于编译期求值并成为以之作为一项约束模板接口的一部分”。学过离散数学或者组合数学的人,可能能谓词比较明白,说普通一点,谓词就是对物体性质或者关系的一种描述。
Concepts的提出是对模板元编程的一种极大的好事,它可以把模板编程中的大量的似是而非的错误转换成可以让人明白的编译提示。它