6.7.13.8 函数类型的标准属性

TIP

这一小节本身又包含 6.7.13.8.1。这里保留分支入口，便于把函数类型属性的术语定义、约束与说明集中阅读。

• 说明

说明

1. 这一组属性只有两个：

   • reproducible
   • unsequenced

2. 它们不是普通“告警属性”，而是在给实现提供关于函数读写对象方式的更强语义信息。

3. 具体规则见下一页：

4. 6.7.13.8.1 一般规定