C1704

循环计数器不得为基本浮点类型

Category: Required

Decidability: Undecidable

Scope: System

如果使用浮点类型的 循环计数器，累加的舍入误差（rounding error）可能导致实际迭代次数与预期次数有偏差。这种情况可能发生在浮点基数舍入后的值无法表示循环步长的时候。