This section defines the types of constraints or assertions that can be expressed.

• 这一节定义了模板可以表达的约束或断言。