列表的所有字段是否属于一个CFS

Question

可生成的数组字段是否始终属于同一个CFS？ 如果其中一个列表字段具有约束，而另一个字段具有不同的约束并且它们未连接。两个字段都属于同一个CFS吗？

Answer 1

如果字段未连接，则每个字段将位于不同的CFS上。

Answer 2

问题并不完全清楚，但这是试图回答：

1. 如果这是包含多个字段的struct列表，则只有连接时，不同的字段才属于同一个CFS（例如l [0] .x和l [0] .y将属于同一个CFS只有连接它们的约束时才会这样做。）

2. 假设问题涉及相同列表路径的不同索引（例如l [0] .x和l [1] .x，或m [0]和m [1]），那么我们需要区分静态和运行时注意事项：

静态地，两条路径都被认为属于同一个CFS。例如，ICFS分析假定，“保持x

在运行时，出于性能原因，IntelliGen会尝试逐个解析列表项（就好像它们位于不同的CFS中一样）。但是，当列表项被连接时（直接或不同的变量），在IntelliGen的术语中被称为'lace'，它们确实被解决为一个CFS，它可能非常大。

有关详细信息，我建议阅读IntelliGen用户指南中的第4.3节（“避免列表元素之间的依赖关系”）。