如果其他阻塞，字符串赋值在里面？

Question

这是不明确的行为吗？(因为字符串"True“、"False”和"Error“仅在块中退出并在某个块退出时被销毁)：

char *p;
if (var1) {
    p = "True";
} else if (var2) { 
    p = "False";
} else {
    p = "Error";
}
printf("%s\n", p);

我想，开关语句也是如此。那么，我如何表达上述逻辑呢？

子问题:这是否也是未定义的行为？

struct bar {
    int i;
    double d;   
}

struct bar *barptr;
if (var1){
    barptr = &(struct bar) { 0, 0.0 };
} else {
    barptr = &(struct bar) { 5, 40.3 };
}
printf("%d", barptr->i);

Answer 1

没有任何不明确的行为。字符串文本具有静态存储持续时间。只有无效的代码(在编辑文章之前)，因为您忘记在语句中指定条件。

else if

根据C标准(6.4.5字符串文本)

6在翻译阶段7，将一个字节或值为零的代码附加到由字符串字面或文字产生的每个多字节字符序列中。78)然后使用多字节字符序列初始化一个静态存储持续时间和长度的数组，这些数组仅足以包含该序列。

至于复合文本，那么代码段确实有未定义的行为。根据C标准(6.5.2.5复合文字)

5复合文字的值是由初始化器列表初始化的未命名对象的值。如果复合文字发生在函数正文之外，则对象具有静态存储持续时间；否则，具有与封闭块相关联的自动存储时间。

考虑到一定有

barptr = &(struct bar) { 0, 0.0 };

如果要编写以下代码，则代码段将有效。

struct bar {
    int i;
    double d;   
};

struct bar bar;
if (var1){
    bar = (struct bar) { 0, 0.0 };
} else {
    bar = (struct bar) { 5, 40.3 };
}
printf("%d", bar.i);

Answer 2

就“这个代码片段”而言，没有问题。(如果从代码中删除无用/不完整的检查:-)

int main ()
{
  char *p;
  int var = 0;

  if (var){
    p = "True";
  } else {
    p = "False";
  }

  printf("%s\n", p);
  return 0;
}

如果var = 0，它将打印"False"，否则它将打印"True“。

Answer 3

字符串文本具有静态存储持续时间。

6.4.5.在翻译阶段7中，将一个字节或值为零的代码附加到由字符串字面或文字产生的每个多字节字符序列中。78)然后使用多字节字符序列初始化静态存储持续时间和长度的数组，这些数组仅足以包含该序列。

静态存储持续时间意味着变量在程序启动时被初始化，并在整个程序中有效。

第一个示例没有未定义的行为。

但是，在第二个示例中，您尝试指向具有自动存储持续时间的复合文本，这意味着一旦退出if语句，它们就不存在了。

6.5.2.5.p5复合文字的值是由初始化程序列表初始化的未命名对象的值。如果复合文字发生在函数正文之外，则对象具有静态存储持续时间；否则，它具有与封闭块关联的自动存储持续时间。

struct bar *barptr;
if (var1){
    barptr = &(struct bar) { 0, 0.0 }; 
} else {
    barptr = &(struct bar) { 5, 40.3 };
}                                      

barptr->i = 123 ;   //UNDEFINED BEHAVIOR