从 C 函数返回的 Braced-Init-List 的生命周期是多少？

花括号初始化列表返回值的生命周期

在 C 中，从函数返回花括号初始化列表会引发以下问题：

问题概要

之前的分析表明，GCC 在返回表达式结束之前错误地终止了initializer_list 数组，而 Clang错误地保留对象而不破坏它们。

标准解释

根据 C 11 标准，带有花括号初始化列表的 return 语句通过以下方式初始化返回值复制列表初始化。如果返回类型是 std::initializer_list 的特化，则从指定列表构造并初始化一个initializer_list对象。

数组生命周期

构造的initializer_list存储一个对从初始值设定项列表初始化的元素数组的引用。该数组的生命周期被定义为与initializer_list 对象相同。这意味着在 return 语句中，底层数组是从花括号初始化列表初始化的，并且其生命周期延伸到调用范围。

正确实现

因此，预期的行为是，initializer_list 的数组应保留到调用函数中，从而允许其进一步使用或绑定到命名引用。然而，GCC 当前的实现过早地释放了数组，违反了这一期望。

其他说明

• 返回花括号初始化列表并不意味着复制 -返回对象的构造。它只是使用copy-list-initialization来初始化返回值。
• DR 1290修改了与initializer_list生命周期相关的措辞，DR 1565和1599也在考虑中，可能会带来进一步的变化。
• 将附加引用绑定到initializer_list 不会延长其底层数组的生命周期，类似于对临时对象的引用不会延长临时对象的生命周期。

以上是从 C 函数返回的 Braced-Init-List 的生命周期是多少？的详细内容。更多信息请关注PHP中文网其他相关文章！