bionic - 为什么memcmp在仿生中是这样的？

Question

我发现仿生中的memcmp.c是这样的：

 30 int memcmp(const void *s1, const void *s2, size_t n)
 31 {
 32     const unsigned char*  p1   = s1;
 33     const unsigned char*  end1 = p1 + n;
 34     const unsigned char*  p2   = s2;
 35     int                   d = 0;
 36 
 37     for (;;) {
 38         if (d || p1 >= end1) break;
 39         d = (int)*p1++ - (int)*p2++;
 40 
 41         if (d || p1 >= end1) break;
 42         d = (int)*p1++ - (int)*p2++;
 43 
 44         if (d || p1 >= end1) break;
 45         d = (int)*p1++ - (int)*p2++;
 46 
 47         if (d || p1 >= end1) break;
 48         d = (int)*p1++ - (int)*p2++;
 49     }
 50     return d;
 51 }

在for循环中，同样的逻辑重复了4次，为什么？可以不重复吗？

谢谢，维克多

Answer 1

这是一个手动循环展开。它可以只做一次，甚至用常规循环代替无限循环，也可以做 4 次以上。有人认为这给了编译器一个更好的机会来优化生成的代码。

有关更多信息，请查看http://en.wikipedia.org/wiki/Loop_unrolling