相关疑难解决方法(0)

调用未定义行为的代码(在此示例中,除以零)将永远不会执行,程序是否仍未定义行为？

int main(void)
{
    int i;
    if(0)
    {
        i = 1/0;
    }
    return 0;
}

我认为它仍然是未定义的行为,但我在标准中找不到支持或否认我的任何证据.

那么,有什么想法吗？

这是有关C ++标准的形式保证的问题。

该标准指出，std::memory_order_relaxed原子变量规则允许“凭空” /“出乎意料”的值出现。

但是对于非原子变量，这个例子可以有UB吗？是否r1 == r2 == 42有可能在C ++抽象机？== 42最初都不是变量，因此您不希望任何if主体执行，这意味着不会写入共享变量。

// Global state
int x = 0, y = 0;

// Thread 1:
r1 = x;
if (r1 == 42) y = r1;

// Thread 2:
r2 = y;
if (r2 == 42) x = 42;

上面的示例改编自标准，该标准明确表示原子对象规范允许这种行为：

[注意：在以下示例中，要求确实允许r1 == r2 == 42，而x和y最初为零：

// Thread 1:
r1 = x.load(memory_order_relaxed);
if (r1 == 42) y.store(r1, memory_order_relaxed);
// …

Run Code Online (Sandbox Code Playgroud)