返回未初始化的、最终未使用的结构是未定义的行为吗？

Question

typedef struct { int x; } s;

s callee(void) {
  s ret;
  return ret;
}

void caller() {
  s dummy = callee();
}

Answer 1

首先考虑这段类似的代码：

s ret;
s dummy = ret;

结构不能有陷阱表示(C11 6.2.6.1/6)。但是这段代码由于Itanium子句(C11 6.3.2.1/2)导致了未定义的行为，该子句指出，使用未初始化的自动对象（其地址从未被占用）的值会导致UB。

因此这段代码应该是定义良好的：

s ret;
&ret;
s dummy = ret;