clang 标准库错误或 c++未定义的行为？

Question

以下 C++ 程序是否包含任何未定义行为？

int
main()
{
        struct entry
        {
                uint32_t hash;
                uint32_t idx;
        };
        entry arr[31] = {
            {   7978558,  0}, {   9241630,  1}, {  65706826,  2},
            { 639636154,  3}, {1033996244,  4}, {1225598536,  5},
            {1231940272,  6}, {1252372402,  7}, {2019146042,  8},
            {1520971906,  9}, {1532931792, 10}, {1818609302, 11},
            {1971583702, 12}, {2116478830, 13}, { 883396844, 14},
            {1942092984, 15}, {1274626222, 16}, { 333950222, 17},
            {1265547464, 18}, { 965867746, 19}, {1471376532, 20},
            { 398997278, 21}, {1414926784, 22}, {1831587680, 23},
            { 813761492, 24}, { 138146428, 25}, { 337412092, 26},
            { 329155246, 27}, {  21320082, 28}, {1751867558, 29},
            {1155173784, 30},
        };

        std::sort(std::begin(arr), std::end(arr),
                  [](entry a, entry b) { return a.hash <= b.hash; });
}

当我使用 gnu c++ 编译器或 12.0.0 之后的任何 clang/llvm 编译时，程序运行正常。但是，当我使用 clang 版本 12.0.0（我的 Mac 笔记本电脑上附带的默认编译器）编译它时，它在 std::sort() 内部崩溃，如下所示：

$ g++ --version
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/4.2.1
Apple clang version 12.0.0 (clang-1200.0.32.2)
Target: x86_64-apple-darwin21.3.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
$ g++ -g -std=c++11 bug.cc
$ ./a.out
Segmentation fault: 11

另外，如果我将其更改为使用std::vector 而不是固定大小的数组。使用 clang 12.0.0 编译时， std::sort() 将永远不会返回

Answer 1

是的，比较器不是严格的弱排序，它违反了 std::sort 的前提条件，导致未定义的行为。

对于两个参数 a 和 b（可能相同），严格的弱排序 comp 永远不应该同时计算 comp(a,b) 和 comp(b,a) 为 true。换句话说，它应该模拟内置 < 的行为，而不是 <=。

因此，在您的代码中，它应该是 <，而不是 <=，以使其成为严格的弱排序。