wudaijie的博客

编写概念时,请确保它们是在为语义建模,而不仅仅是语法建模。概念定义的泛型语法: 概念表达式的语法如下: 概念表达式的计算结果为真或假。如果它的计算结果为真,那么表示使用给定的模板实参为概念建模。计算结果为布尔值的常量表达式可以直接用作概念定义的约束。但它的结果必须精确计算为一个布尔值,并且没有任何类型转换。语法: 为可选参数,每个必须以分号作为结尾.一个简单的 requirement是一个任意的表达式语句,而不是以开头。不允许使用变量声明、循环、条件语句等。并且这个表达式语句永远不会被计算;编译器也只是用于