c++ - 如果传递两个相同的指针作为输入，memcmp 会做什么？

Question

我正在使用 memcmp 比较两个字节数组(或者更确切地说，库函数可以做到这一点)。数组可以变得相对较大，并且在许多情况下它们实际上可以是同一个数组。

写这样的东西有意义吗？或者 memcmp 已经在内部这样做了？

int memcmp_wrapper(const void* lhs, const void* rhs, std::size_t count) {
    if (lhs == rhs)
        return 0;
    return std::memcmp(lhs, rhs, count);
}

Answer 1

What does memcmp do if you pass two identical pointers as inputs?

它将返回 0。

will memcmp already [return early if pointers are equal]?

标准中没有规定。例如，我检查过的 glibc 版本就没有。

Would it make sense to write something like this

如果数组足够大，有可能。

What would you consider large enough,

当您测量到 memcmp_wrapper 比 memcmp 快一个与测量方差相比具有统计显着性的因子时，我会认为该数组足够大。

测量时需要考虑的一些因素包括:

• 不同系统的大小阈值可能有所不同，具体取决于 CPU、缓存和内存等。请参阅 What is a "cache-friendly" code?进行深入讨论。

• 另请注意，如果优化器可以在编译时证明指针的相等性，那么它可能足够聪明，可以完全优化 memcmp，并且您最终可能会测量两个程序不执行任何操作，因此请小心设计您的测试工具。

and why does it only make sense for that size?

该分支不是免费的。通过不比较数组可以节省的时间必须克服添加检查的费用。

由于比较数组的成本随着数组大小的增加而增加(线性渐近复杂性)，因此必须有一定的长度，在此之后任何比较都会比分支慢。