主页 / coding / 问题 / 78802497
Accepted
user17732522
Asked: 2024-07-28 05:25:50 +0800 CST

C 语言中是否允许以命名返回值优化的形式进行复制省略？

  • 772

以下 C 程序是否保证退出，0或者是否允许编译器识别对象s和t彼此，就像 C++ 中允许的所谓的命名返回值优化(NRVO) 形式的复制省略一样？

typedef struct {
    int i, j;
    double a, b;
} S;

int result;

S test(S* q) {
    S s = {0, 0, 0, 0};
    result = &s == q;
    return s;
}

int main(void)
{
  S t = test(&t);
  return result;
}

Clang 的退出与1我的预期相反，请参阅https://godbolt.org/z/ME8sPGn3n。

（在 C++ 中，由于明确允许执行 NRVO，因此0和都是有效结果。）1

c

1 个回答

  1. Best Answer

    保证以 0 退出。t和s是不同的对象，指向它们的指针无法比较相等。

    关于您删除的代码：

    那么，以下变化中相关的生命周期考虑可能会有所不同吗？

    来自https://port70.net/~nsz/c/c11/n1570.html#6.2.4p2：

    当指针指向的对象（或刚刚过去的对象）到达其生命周期的终点时，指针的值将变得不确定。

    它可能返回 1 或 0，或者执行陷阱。

    • 7

相关问题