有条件地不修改常量数据是 C 中的未定义行为吗？

Question

我们有以下函数：

void foo(int flag, void *ptr) {
    if (flag)
        strcpy(ptr, "Hello World");
    code_that_does_not_attempt_to_modify_data_pointed_to_by(ptr);
}

以下内容是否有效：

const char *string_literal_ptr = "String literals are constant and may not be modified";
foo(0, string_literal_ptr);

我们将指向常量数据的指针传递给可能的函数（但不会，因为我们将 0 作为flag传递）修改指针指向的数据。考虑到程序控制在任何时候都不会达到修改常量数据的程度，这是否有效？或者仅仅存在指向 const 数据的非 const 指针就无效了？

Answer 1

如果 flag 为 false，则 strcpy(ptr, "Hello World"); 不会被求值，并且 ptr 指向的数据字符串文字是无关紧要的。

如果未执行路径上的代码可能导致未定义的行为（由于其评估，而不是由于翻译过程中出现的某些语法约束），那么 C 将突破，因为对空指针的测试将不起作用：

if (p)
    Use pointer p to do something.