java - この場合（モジュラスと加算の後）、ゼロのチェックが必要ですか？

Question

int sizeたとえば、リストのサイズなどが含まれている場合int distance、mod操作を行うdistance%sizeと、(-size - 1) <= distance <= (size - 1)

つまり、距離は常にこの範囲内になります(-size - 1) <= distance <= (size - 1)

これが正しければ、JDKのCollectionsRotateでの次の条件チェックの意味は何ですか？

 if (size == 0)
    return;  
 distance = distance % size;  
if (distance < 0)  
   distance += size;  
if (distance == 0)  //Why this check????
    return;     

私はここで間違っているかさびているかもしれませんがdistance、この時点で追加の結果としてnullになることはないと思います。そして、リストがあったとして0も、そもそもその条件に到達することはありません。
では、この条件付きチェックが必要ですか？

Answer 1

if distance == n * size（n int）then distance%size == 0。たとえば、distance == 0またはdistance == size。

Answer 2

まあ、ありますif (distance < 0)が、距離もある可能性がある0ので、スキップし distance += size;ます。したがって、のチェックdistance == 0。

次を使用してコードを記述することもできます else if。

//if distance is < 0, distance + size can't be 0 (due to the modulo before)
//however, distance could be 0 at this point if distance was 0 before or became 0 due to the modulo
if (distance < 0)  
   distance += size;  
else if (distance == 0)  //Why this check????
   return; 

Answer 3

サイズが5で距離が0の場合、加算は行われず、チェックに当たったときに距離はゼロになります。