在重载模板类的构造函数中，我有以下 for 循环。原始循环更复杂，但我删除了除x在调试期间进行有用计算之外的所有变量，以便在更大的结构中获得最小示例。这就是目前的情况：

for (int x = 8-1; x >= 0; x--)
{
    std::cout << x << "-";
    if (x < 0) break;
}

当我运行它时，它会打印：7-6-5-4-3-2-1-0--1--2--3--4--5--6--7--8--9--10--11-（…）

调试器显示反汇编（ARM）如下：

    0x102aeef74 <+100>: mov    x0, x19
    0x102aeef78 <+104>: mov    x1, x20
    0x102aeef7c <+108>: bl     0x102bbb1f4               ; symbol stub for: std::__1::basic_ostream<char, std::__1::char_traits<char>>::operator<<(int)
    0x102aeef80 <+112>: mov    x1, x21
    0x102aeef84 <+116>: mov    w2, #0x1
    0x102aeef88 <+120>: bl     0x102acfbc8               ; std::__1::__put_character_sequence[abi:v160006]<char, std::__1::char_traits<char>> at ostream:753
    0x102aeef8c <+124>: sub    w20, w20, #0x1
->  0x102aeef90 <+128>: b      0x102aeef74               ; <+100> at LexPermutationPDB.h:108:13

循环条件似乎被优化掉了。如果你将代码从上下文中提取出来（例如，只将循环放在主函数中），它就可以正常工作。我猜是某个地方存在未定义的行为，导致了糟糕的优化。

我在 MacOS Ventura 中运行 Xcode 版本 15.2（15C500b），代码处于发布模式，即-Os。

在添加从出现问题的类继承的新类时出现错误。新类重载单个函数并使用不同的构造函数。此错误发生在调用构造函数时，但父类已经初始化之后。

我本来打算尝试不同的编译器，但是还有其他方法可以找出问题所在吗？也许新版本的编译器已经修复了某些问题。

– 更新 –

以下是失败的一个最小工作示例：

% cat test.cpp                 
#include <iostream>
#include <array>

template <int width, int height>
class MyClass {
public:
    MyClass()
    {
        Reset();
    }
    void Reset()
    {
        for (size_t x = 0; x < size(); x++)
            puzzle[x] = x;
    }
    size_t size() const { return width*height; }
    std::array<int, width*height> puzzle;
};

int main(void)
{
    MyClass<4, 4> s;
    for (int x = 7; x >= 0; x--)
    {
        if (x < 0) break;
        std::cout << x << "-";
    }
    //std::fill(s.puzzle.begin(), s.puzzle.end(), -1);
    std::fill(&s.puzzle[0], &s.puzzle[s.size()], -1);
}
% g++ -std=gnu++17 -Os test.cpp
% ./a.out                      
7-6-5-4-3-2-1-0--1--2--3--4--5--6--7--8--9--10 (...)

编译为

Apple clang version 15.0.0 (clang-1500.0.40.1)
Target: arm64-apple-darwin22.6.0
Thread model: posix