是 int[指针到数组] 在 C++ - 标准中

is int[pointer-to-array] in the C++ - standard?

本文关键字：C++ 标准 数组 int 指针      更新时间：2023-10-16

正如我所了解的，可以编写以下代码：

char *a = new char[50];
for (int i = 0; i < 50; ++i) {
    i[a] = '5';
}

它编译。它有效。它的作用与

char *a = new char[50];
for (int i = 0; i < 50; ++i) {
    a[i] = '5';
}

仅仅是因为：

  • 默认情况下，a[b]作为宏*(a + b)实现，并且两个代码示例都有效的事实只是特定于意外/编译器
  • 它在某个地方是标准化的，这种算法的结果在每个平台上都应该是一样的。

假设加法应该是可交换的，这是合理的，但是如果我们以这种方式实现operator[]，我们就做了其他可交换的东西，可能不是我们想要的。

有趣的事实是没有pointer[pointer]运算符，因此operator[]不是宏。

我知道这很糟糕。我知道这会让阅读代码的人感到困惑。但我想知道这是否只是一个意外，在独角兽有七条腿，角在左脸颊上的遥远土地上是行不通的。

C++标准，§ 8.3.4，注7(第185页((强调我的(。

除非已为类 (13.5.5( 声明，否则下标运算符 [] 的解释方式是E1[E2]与 *((E1)+(E2)) 相同。由于适用于+的转换规则，如果E1是一个数组而E2是一个整数，那么E1[E2]是指E1的第E2个成员。因此，尽管其外观不对称，但下标是一种交换操作。

以下是

C++11标准必须说的：

注意：除非已为类 (13.5.5( 声明，否则下标运算符 [] 以 E1[E2]的方式与*((E1)+(E2))相同。由于适用于 + 的转换规则，如果 E1 是 数组并E2一个整数，则E1[E2]引用E1的第E2个成员。因此，尽管它不对称 外观，下标是一种交换操作。(强调后加(。

因此，您假设a[b]按*(a + b)实现是正确的，只是它直接在编译器中实现，而不是作为宏实现。

表达式 E1[E2] 与 *((E1(+(E2((相同(根据定义(

。然后索引和指针的交换性占据了上风。请参阅您的友好邻里C++标准，此版本中的第 5.2.1 节：http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3485.pdf

相关文章：