例如你使用C++语言（或者说在某种编译器下使用该语言时），
然后更进一步地，例如你在声明一个变量时，编译器会对该变量作一个确认。包括它占用多大的内存空间、根据使用的语言它应该有哪些操作方式（+、－、*、/、取余……），这一切都是你在声明时规定好了的。
然后你在使用的时候，由于种种原因可能就违反了上面的规定。编译器在检查出来这些问题后会一一报错（差一点的编译器会不会对你这么客气哈），这个检查就是数据的合法性检查了。
其实不仅是数据（变量），你在使用函数、结构体……所有该语言中出现的实体的时候，都有一个规定的。编译器会对任何违规操作进行合法性检查，然后报错。这么说应该明白了吧
