求助关于指针和数组的问题

看《C primer plus》的时候 书中有一句话“C语言保证再给数组分配空间时指向数组后面第一个位置的指针仍是有效的指针”不是很明白 意思是只有指针本身的值（也就是此处地址）合法还是指针可以“越界”访问甚至修改这个位置的数据？
之后还有一句“即使指针指向数组后面一个位置是有效的，也能解引用这样的越界指针” 这里为啥出现一个“即使”，有效的指针不就应该能解引用吗