a[i] 和 (a + i) 在语义和结果上完全等价，均表示访问数组第 i 个元素；2. 根据C++标准，下标操作被定义为指针算术，a[i] 等价于 (a + i)，编译后通常生成相同机器码；3. 下标写法更直观推荐日常使用，指针形式常见于底层操作；4. 两者均要求类型信息正确且访问不越界，否则导致未定义行为；5. 对指针或数组，只要指向合法内存，两种形式均有效；6. 重载 operator[] 的类类型除外，此处仅讨论原生数组和指针；7. 在模板中可能影响类型推导，但对原生数组无实质差异；8. 选择写法主要依据代码风格和可读性。

在大多数情况下，C++中使用数组下标访问 a[i] 和指针解引用 *(a + i) 是等价的，它们在语义和结果上完全相同。

语法和语义上的等价性

根据C++标准，数组下标操作符 [] 被定义为基于指针算术的运算。具体来说，a[i] 被解释为 *(a + i)。这意味着：

• 如果 a 是一个数组名，它在大多数表达式中会退化为指向首元素的指针。
• a + i 计算出第 i 个元素的地址。
• *(a + i) 解引用该地址，得到对应元素的值。

因此，a[i] 和 *(a + i) 编译后通常生成相同的机器码。

适用场景和注意事项

虽然两者等价，但有一些细节需要注意：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

• 下标操作更直观，代码可读性更强，推荐日常使用。
• 指针算术形式在底层编程、内存操作或算法实现中更常见。
• 两者都依赖于正确的类型信息：指针的步长由所指向类型的大小决定。
• 越界访问（如 i 超出数组范围）都会导致未定义行为，无论使用哪种形式。

特殊情况说明

尽管等价，但以下情况需留意：

• 如果 a 是指针而非数组，a[i] 依然有效，只要它指向一块合法的连续内存。
• 重载 operator[] 的类类型不在此讨论范围内，这里仅针对原生数组和指针。
• 在模板或泛型编程中，两种写法可能影响类型推导或表达式含义，但对原生数组无影响。

基本上就这些。对于原生数组和指针，a[i] 和 *(a + i) 完全等价，选择哪种写法主要看代码风格和上下文清晰度。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！