关于指针变量不能使用“+”进行运算,why?

题目

关于指针变量不能使用“+”进行运算,why?
今天看到一道题：对于基类型相同的两个指针变量之间,不能进行的运算是：
A：< B:= C:+ D:-
答案选了C,为什么啊,麻烦讲解的详细一些,

答案

就因为它永远没意义,那么编译器为啥要放任这种错误呢?
编译型的语言,它与解释的不同,它会争取在编译成目标文件时,解决尽量能够解决的问题,排除尽量可能排除的错误,编译型的语言更多的时间花在编译阶段,当然是为了高效率的目前代码.
如果某种行为不一定总有问题,那么就不去限制,但给个警告比较好.如果永远无意义,它为啥不说呢?