a[i] 和 (a + i) 在语义和结果上完全等价，均表示访问数组第 i 个元素；2. 根据C++标准，下标操作被定义为指针算术，a[i] 等价于 (a + i)，编译后通常生成相同机器码；3. 下标写法更直观推荐日常使用，指针形式常见于底层操作；4. 两者均要求类型信息正确且访问不越界，否则导致未定义行为；5. 对指针或数组，只要指向合法内存，两种形式均有效；6. 重载 operator[] 的类类型除外，此处仅讨论原生数组和指针；7. 在模板中可能影响类型推导，但对原生数组无实质差异；8. 选择写法主要依据代码风格和可读性。
![c++中数组下标访问a[i]和指针解引用*(a+i)是等价的吗](https://img.php.cn/upload/article/000/969/633/175747273039305.png)
在大多数情况下，C++中使用数组下标访问 a[i] 和指针解引用 *(a + i) 是等价的，它们在语义和结果上完全相同。
语法和语义上的等价性
根据C++标准，数组下标操作符 [] 被定义为基于指针算术的运算。具体来说，a[i] 被解释为 *(a + i)。这意味着：
- 如果 a 是一个数组名，它在大多数表达式中会退化为指向首元素的指针。
- a + i 计算出第 i 个元素的地址。
- *(a + i) 解引用该地址，得到对应元素的值。
因此，a[i] 和 *(a + i) 编译后通常生成相同的机器码。
适用场景和注意事项
虽然两者等价，但有一些细节需要注意：
立即学习“C++免费学习笔记（深入）”；
- 下标操作更直观，代码可读性更强，推荐日常使用。
- 指针算术形式在底层编程、内存操作或算法实现中更常见。
- 两者都依赖于正确的类型信息：指针的步长由所指向类型的大小决定。
- 越界访问（如 i 超出数组范围）都会导致未定义行为，无论使用哪种形式。
特殊情况说明
尽管等价，但以下情况需留意：
- 如果 a 是指针而非数组，a[i] 依然有效，只要它指向一块合法的连续内存。
- 重载 operator[] 的类类型不在此讨论范围内，这里仅针对原生数组和指针。
- 在模板或泛型编程中，两种写法可能影响类型推导或表达式含义，但对原生数组无影响。
基本上就这些。对于原生数组和指针，a[i] 和 *(a + i) 完全等价，选择哪种写法主要看代码风格和上下文清晰度。
