关于指针关系运算的一个标准规定,以及编程语言类型强弱问题.

在我们之前所了解到的指针关系运算中有一个标准规定:
允许指向数组元素的指针与指向数组最后一个元素后面的那个内存位置的指针比较,但是不允许与指向第一个元素之前的那个内存位置的指针进行比较.
仔细阅读并思考这句话,读起来或许有些绕口,其实并不难理解,我们可以像下面这样去思考这样的规定.

看这个简单的示意图,假如这就是我们内存当中所存的数组元素,begin可以是数组中任何一个元素,而end则是数组中最后一个元素的下一个元素,这种情况下,指向内存位置的指针是可以比较的,这其实就可以理解为一个前开后闭的区间[begin,end).但是如果是下面这样就不可以比较了

这也就是上面所说的不允许与指向第一个元素之前的那个内存位置的指针进行比较.
关于语言的强弱及动态,静态问题
如果一个编程语言越支持隐式类型转换,就意味着类型约弱.
如果一个编程语言越不支持隐式类型转换,就意味着类型约强.
动态类型:一个变量的类型在运行过程中能发生改变.
青苔类型:一个变量的类型在运行过程中不能发生改变.
也可以用一个示意图(只包含部分语言)来表示: