https://stackoverflow.com/questions/3473675/are-negative-array-indexes-allowed-in-c

A postfix expression followed by an expression in square brackets [] is a subscripted
designation of an element of an array object. The definition of the subscript operator []
is that E1[E2] is identical to (*((E1)+(E2))). Because of the conversion rules that
apply to the binary + operator, if E1 is an array object (equivalently, a pointer to the
initial element of an array object) and E2 is an integer, E1[E2] designates the E2-th
element of E1 (counting from zero).

这里说明了下标是个整数，你说没用不代表其他人也必要用到，我在处理图像的时候就经常这么干。

【 在 here080 的大作中提到: 】
: 没有意义。编译能行不代表符合标准。就算符合标准也不要用这种可能有歧义也没必要的功能。
:
--
FROM 114.255.101.*

这么干相对于*(a-1)有什么好处？

另外，我说的是C++

为什么不应该这么干？
因为这样写出来的代码一个难读，二个容易重构出错。
数组类型就算没问题，换成std::array呢？换成容器呢？
【 在 shootings (shootingstars) 的大作中提到: 】
: 标  题: Re: c++的数据组下标到底是有符号还是无符号的
: 发信站: 水木社区 (Fri Jan 17 15:49:16 2020), 站内
:
: https://stackoverflow.com/questions/3473675/are-negative-array-indexes-allowed-in-c
:
: A postfix expression followed by an expression in square brackets [] is a subscripted
: designation of an element of an array object. The definition of the subscript operator []
: is that E1[E2] is identical to (*((E1)+(E2))). Because of the conversion rules that
: apply to the binary + operator, if E1 is an array object (equivalently, a pointer to the
: initial element of an array object) and E2 is an integer, E1[E2] designates the E2-th
: element of E1 (counting from zero).
:
: 这里说明了下标是个整数，你说没用不代表其他人也必要用到，我在处理图像的时候就经常这么干。
:
: 【 在 here080 的大作中提到: 】
: : 没有意义。编译能行不代表符合标准。就算符合标准也不要用这种可能有歧义也没必要的功能。
: :
:
: --
:
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 114.255.101.*]
--
FROM 76.126.252.*

使用[]这个习惯了，还可以比你这个少写一个字母。。。
再说a[-1]这个比你这个*(a-1)更难读懂？

int p[] = { 10,11,12,1,5,6,3,8,21,74,87,3412,341,46,67,2341,34121,34534,1212,42663,67547,467,23};
我经常会需要在后面新增或者减少一些数字，你给出一个初始化的std::array？去数后面有多少个数真的是傻透了。。。
并且如果数少了或许会编译出错，但是数多了的话，编译器也不言语一声，编译器给我后续自己加0是个什么操作！？

【 在 here080 的大作中提到: 】
: 这么干相对于*(a-1)有什么好处？
: 另外，我说的是C++
: 为什么不应该这么干？
: ...................
--
FROM 114.255.101.*

你看看这个贴子里就对a[-1]有两种解释。
绝大多数人看到a[-1]往往会疑惑这个到底是什么意思。
这就是“难读”的意思。
【 在 shootings (shootingstars) 的大作中提到: 】
: 标  题: Re: c++的数据组下标到底是有符号还是无符号的
: 发信站: 水木社区 (Fri Jan 17 17:13:00 2020), 站内
:
: 使用[]这个习惯了，还可以比你这个少写一个字母。。。
: 再说a[-1]这个比你这个*(a-1)更难读懂？
:
: int p[] = { 10,11,12,1,5,6,3,8,21,74,87,3412,341,46,67,2341,34121,34534,1212,42663,67547,467,23};
: 我经常会需要在后面新增或者减少一些数字，你给出一个初始化的std::array？去数后面有多少个数真的是傻透了。。。
: 并且如果数少了或许会编译出错，但是数多了的话，编译器也不言语一声，编译器给我后续自己加0是个什么操作！？
这是另一个问题了。
你可以用std::to_array
auto p = std::to_array({1, 2, 3});
:
: 【 在 here080 的大作中提到: 】
: : 这么干相对于*(a-1)有什么好处？
: : 另外，我说的是C++
: : 为什么不应该这么干？
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.newsmth.net·[FROM: 114.255.101.*]
--
FROM 76.126.252.*

不是应该以C++规范文档作为最后的依据吗？不过也挺无聊的啊，因为实际还要看编译器的实现。

在C++ 11的规范pdf中搜"*((E1)+(E2))"，可以搜到两处讲下标操作符[]的，
一处是：5.2.1 Subscripting
另一处是：8.3.4 Arrays

8.3.4节中说：

“If the value of the constant expression is N, the array has N elements numbered 0 to N-1”；

“Except where it has been declared for a class (13.5.5), the subscript operator [] is interpreted in such
a way that E1[E2] is identical to *((E1)+(E2)). Because of the conversion rules that apply to +, if E1 is an
array and E2 an integer, then E1[E2] refers to the E2-th member of E1.”

综合上面两段话，得到：
1、E1[E2]表示数组E1的第E2个元素，而数组的元素编号是从0到N-1的，所以E2严格来说只能是非负的。
2、E1[E2] 和 *((E1)+(E2)) 是等价的。

在“5.7 Additive operators”这一节的第5小段中，对某个指针加上、减去一个整数的操作进行了说明。
并且最后一句特意提到：
如果“指针本身超出了数组元素范围，并且超出了数组最后那个元素+1的范围”，
或者“加/减操作的结果超出了数组元素范围，并且超出了数组最后那个元素+1的范围”，
那么就是UB。如下：

“Moreover, if the expression P points to the last element of an array object,
the expression (P)+1 points one past the last element of the array object, and if the expression Q points
one past the last element of an array object, the expression (Q)-1 points to the last element of the array
object. If both the pointer operand and the result point to elements of the same array object, or one past
the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is
undefined.”

把one past the last element of the array object也视为有效的范围，应该是为STL中iterator的++、--、end()等服务的。

所以按规范的话，a[-1]是UB，但实际执行的结果要看编译器怎么实现的。
--
修改:z16166 FROM 123.115.163.*
FROM 123.115.163.*