C++轮询回调类开启-O3编译优化后回调未执行问题咨询

• 第一个触发O3优化下异常的核心问题：terminate_布尔成员未初始化，触发未定义行为
  构造函数的初始化列表中完全没有给terminate_赋值，作为非静态成员变量，它的初始值是不确定的。无优化编译时，分配的内存默认残留值为0，刚好对应false，所以工作线程可以正常进入循环执行回调；开启O3优化后，编译器会跳过未初始化变量的默认赋值逻辑，甚至可以假定terminate_的值始终为true，导致wait_for的终止判断直接成立，工作线程直接退出，没有任何回调执行。
• 第二个存在的隐患：成员变量访问存在数据竞争风险
  你在add方法中修改callbacks_、max两个成员时没有加锁，如果在start启动工作线程之后调用add，会和工作线程中读取这两个变量的逻辑形成数据竞争，同样是未定义行为，即使本次最小示例中是先add再start没有触发问题，实际生产环境使用时也会有崩溃风险。
• 第三个可选优化点：max为0的边界情况处理
  如果Cycle实例没有添加任何回调就调用start，max初始值为0，后续执行this->counter = (this->counter + 1) % (this->max);时会出现模0运算，触发崩溃。

1. 首先在构造函数的初始化列表中添加terminate_{false}，给终止标志明确初始值。
2. 给add方法加锁，保护callbacks_和max的写操作，避免数据竞争。
3. 模运算前判断max是否为0，避免除以0错误。

修复后的核心代码示例：

// 构造函数修复
Cycle(const Callbacks& callbacks = {}, const std::chrono::seconds& frequency = std::chrono::seconds(1)) 
: frequency_(frequency), 
  counter(0), 
  max(callbacks.empty() ? 0 : callbacks.rbegin()->first), 
  callbacks_(callbacks),
  terminate_{false} // 新增terminate_初始化
{}

// add方法修复
void add(const std::chrono::seconds& interval, const std::function<void()>& callback)
{
  std::lock_guard lk(m_cv_); // 新增锁保护
  size_t factor = interval / this->frequency_;
  this->callbacks_[factor] = callback;
  this->max = std::max(this->max, factor);
}

// 工作线程模运算部分修复
if (max != 0) {
  this->counter = (this->counter + 1) % (this->max);
}

修复后无论是否开启O3优化，都可以正常输出预期次数的PASS，符合设计逻辑。

内容的提问来源于stack exchange，提问作者LinG