如何在没有未定义行为的情况下进行双块加法?

编辑 公共健康警告-这个问题包括一个关于未定义行为的错误假设。见公认答案。

阅读之后 recent blog post 我一直在思考避免C和C++代码中所有标准未定义假设的实用性。这里是一个从C++中删去的片段,做一个无符号的128位加法…

void c_UInt64_Pair::operator+= (const c_UInt64_Pair &p)
{
  m_Low  += p.m_Low;
  m_High += p.m_High;

  if (m_Low < p.m_Low)  m_High++;
}

这显然依赖于对溢出行为的假设。显然,大多数机器都可以支持正确类型的二进制整数(尽管可能是从32位块或任何东西构建的),但乐观主义者显然越来越有可能利用这里未定义的标准行为。这是 m_Low < p.m_Low 条件可以通过是如果 m_Low += p.m_Low 溢出,这是未定义的行为,因此乐观主义者可以合法地决定 总是

因此,问题是。。。

假设您有一个合适的64位二进制机器整数,但是您有一个恶意编译器,它总是以最坏的(或不可能的)方式解释您的未定义行为。另外,假设你 不要

小说明-这不仅仅是关于检测溢出,还包括确保m泷u Low和m泷u High最终得到正确的模2^64结果,这也是标准未定义的。