c++ 里指针肯定是要双向均可移动的。不可能给自己设置障碍。
检查边界那是其他语言里面的哲学。c++ 为了效率在裸指针里这些都不要。

【 在 here080 (hero080) 的大作中提到: 】
: std::array::operator[]就没有符号。
: 我认为不管a[-1]是否能用，我们都应该当成UB不要用。
--
FROM 139.226.154.*

【 在 shootings (shootingstars) 的大作中提到: 】
: int p[] = { 10,11,12 };
: int *p1 = &(p[1]);

这里写 int *p1 = &p[1]; 就可以。或者 int *p1 = p + 1;

另外一个就是我看到有的人在纠结加 -1 的时候， -1 是有符号和无符号。

实际上就是在底层实现上你不用在意它是否有符号。

以为不管有无符号，结果都一样。
这是因为负数是用补码表示（就是为了消除加减法在硬件实现上的区别）。
这里通俗的解释下，就是负数表示在无符号世界里等价于一个比较大的数字，
做加法就是向右跳跃，跳跃出边界的时候会从左侧折回。（实际上是overflow
了，但我们只看低位部分，就是这样的特点和效果就是了）
加一个负数，语义上是向左跳，但硬件并不关心你的视角的解释，一律是向右
跳，因为跳的幅度过大所以从左侧冒出来了，从在有符号的视角里看就是向左
跳了。


当然要注意 -1 是所有 bit 都是 1。但是 bit 的个数取决于
你的整数的位数。对于指针来说，现在因为是虚拟内存，
整数的位数已经足够多，足够表达虚拟内存地址。
所以在很古老时代的需要指针变量配合一个默认的段寄存器（DS，CS等）
寻址的方式已经不需要了。
一个指针变量已经能指向虚拟内存空间中的任何地方。

所以一个指针在 x86 上是 32 bits, 在 x64 上是 64 bits。
也就是说在 x64 上，-1 是 64 个 bit 都 on 状态的一个整数。

举个例子。

signed char x1 = -1, x2 = x1 + 1;
unsigned char x3 = x1 + 1;

上面的代码执行后其实 x2 和 x3 的二进制表述上是完全一样的。
对于虚拟空间中的地址而言，我们当然可以把地址视为无符号。

  


: printf("p1=%d\n", p1[-1]);
: ...................
--
修改:hoodlum FROM 211.95.56.*
FROM 211.95.56.*

这里说的是加减法，你是想说比较大小吗。
如果你要纠结于语义上的问题，
地址值是绝对值，无所谓有无符号，可以视为逻辑上无符号。
因此没有人说指针变量本身 hold 的东西是有符号或者无符号的。
指针+整数，这里的整数语义上是有符号的，即指针可以在一段地址区间内
左右双向移动。
说的再直白点，就是说指针在和整数运算时可以视为有符号数运算，
在表达地址值时，这个值可以视为无符号数。

这里注意一点就是，
指针 p2 = p1 + (-1);
必须满足 p2 < p1 为 true。你可以自己把指针和整数当做有符号或者无符号数，
从语义上和实现层面去验证这一点。如果你说都是无符号的，那么语义上就
不应该利用底层的溢出来满足上面的条件。
因此语义上上面的语法就是向左移动。

所以，请看清楚下面的我的观点：
地址值是可以比较大小的（这里可以视为无符号数比较），
一个地址值+一个整数(-1)以后，比之前的值小了。
（这里相当于 unsigned + signed, 结果依然可视为 unsigned，
底层上实际上没有区分）。
（unsigned > signed, 比较时有任何一个为 unsigned，
底层上即等价于 unsigned 比 unsigned，但程序员很容易误以为
是 signed 比 signed，因此在编译器里会引发一个警告）。
例如
x1 = -1;
x2 = x1 >> 1;  
x3 = c + x1;
这里 x1 是有符号和无符号，对应的指令是不同的。导致 x2 的值也会不同。
但 x1 是有符号和无符号对 x3 的值没有影响。


signed 与否主要是 最高位被赋予的逻辑意义不同。
所以在加减时不敏感，但比较时，以及不同大小的数据类型之间
赋值，位移动等操作时需要注意。

那么这里的整数(-1)是否有符号的，就不重要。
至于语义（就是你逻辑上怎么看待这件事），
既然能写 -1，语义上当然它是有符号了。


【 在 here080 (hero080) 的大作中提到: 】
: signed to unsigned是有定义的。
: unsigned to signed就可能发生别的事情。
: 你不要误导小朋友。
: ...................
--
修改:hoodlum FROM 139.226.154.*
FROM 139.226.154.*