c++ - 我想我可能想出了一个数组类型右值的例子

Question

C++03 §4.2 N°1:
“N T 数组”或“T 的未知边界数组”类型的左值或右值可以转换为“指向 T 的指针”类型的右值。结果是指向数组第一个元素的指针。

这个语句让我困惑了很长时间的是，我不太明白数组类型的右值是什么意思。也就是说，我无法想出一个类型为数组且结果为右值的表达式。我读了this thread，它基本上问了同样的问题，接受的答案是“不，没有数组类型的右值”。我想我可能对此有矛盾。

C++03 §5.2.5 N°4:(关于表达式 E1.E2)
如果E2是一个非静态数据成员，E1的类型是“cq1 vq1 X”，E2的类型是“cq2 vq2 T”，表达式指定第一个对象指定的命名成员表达。如果 E1 是左值，则 E1.E2 也是左值。

我假设否则它是一个右值(前提是 E2 不是引用，这种情况包含在 §5.2.5 N°3 中)因此......

struct A
{
   int a[4];
};
A f()
{
   A a;
   return a; 
}
int main()
{
   f().a; //I think this is an rvalue of array type...
}

我在这里看到两个选项:
Option1:我是对的，欢呼，耶，酷。在这种情况下，问题是:还有其他例子吗？
选项 2: 我错了，在这种情况下问题是:这是标准的缺陷吗？

我不知道 1，但我真的怀疑 2，因为当他们谈到函数到指针的转换时，他们只提到函数类型的左值(显然意识到没有这样的右值)。所以他们很可能想到了数组类型的右值。

所以，基本上我的问题是我是否想出了一个数组类型右值的例子，如果没有，请提供一个有效的例子，我坚信它存在。

Answer 1

是的，你是对的。表达式是数组类型的右值。这不是一个缺陷——委员会知道它，这也是 C89 中的一个常见问题，它只允许转换为数组类型左值的指针。因此，您无法索引或取消引用像 f().a 这样的数组。 C99 修复了这个问题，而 C++ 对此没有问题。

请注意，它是否为右值与表达式是否表示对象无关。 C++03 不小心遗漏了数组类型的右值表达式表示对象。这已在 C++0x 中修复 by DR#450 .

(obviously appreciating that there are no rvalues of such)

函数类型实际上是有右值的。这些发生在由类成员访问表达式表示的非静态成员函数中

struct A { void f(); };

/* A().f is an rvalue of type "void()" */
int main() { A().f(); }