数组prvalue的地址

Question

我不明白为什么这个不起作用：

auto a = (int[]){1, 2, 3, 4, 5};

> error: taking address of temporary array

我知道数组lvalue在转换为rvalue时会衰减成指针，但这里的数组已经是rvalue(实际上是prvalue)，所以不需要衰减。我本以为a会被推导并初始化为int[5]。为什么它要尝试获取一个临时的地址？

Answer 1

我本以为a会被推导并初始化为int[5]

遗憾的是，这不是C数组的工作方式。数组会衰减成指针。你不可能真的有一个“数组值”。如果将auto替换为推导出的类型，则如下所示：

int* a = (int[]){1, 2, 3, 4, 5};

衰变必须采用地址来制作指针。

这很容易通过使用引用来解决，因为对临时对象的引用延长了它们的生命周期：

auto&& a = (int[]){1, 2, 3, 4, 5}; // works!

下面是在compiler explorer上运行的示例。

当然，使用std::array可以获得很好的语法和值语义：

auto a = std::array{1, 2, 3, 4, 5};