编译检查程序的错误主要包括以下几类：
语法错误：
这类错误涉及程序代码的拼写、括号的匹配、分号的添加等基本结构问题。编译器会在编译过程中检测出这些错误，并提示用户错误的位置和具体信息。
类型错误：
当程序中发生不同类型数据之间的错误赋值或操作时，例如将整数赋值给字符串，或者尝试将字符串和数字相加，编译器能够识别并报告这些类型错误。
未定义的变量或函数：
如果程序中使用了未声明或未定义的变量，或者变量名拼写错误，编译器会显示错误信息来提示用户。
函数调用错误：
包括传递了错误数量的参数，或者参数类型顺序不正确，这些都会导致编译错误。
引用错误：
尝试引用不存在的对象或已经释放的内存，可能会引起编译错误或者运行时错误。
找不到头文件：
如果程序中引用了不存在的头文件或者没有正确包含头文件，编译器会报错找不到相关的定义。
逻辑错误：
这类错误涉及程序逻辑不符合设计目标和要求，可能包括逻辑错误、数据错误、边界条件错误和异常处理问题。逻辑错误通常在程序运行时才会显现，但有些逻辑错误可以在编译时通过静态代码分析工具检测到。
静态语义错误：
这类错误在编译时能够被检测出来，例如类型不匹配、数组越界等。动态语义错误则发生在程序运行期间，例如除以零、死循环等，这些错误在编译时无法检测。
其他特定错误：
例如，某些编译器提供了特定的检查机制，如Mypy用于检查Python代码中的类型错误，BUILD_BUG_ON用于在编译阶段发现潜在的错误。
建议开发者在编写代码时仔细检查上述各类错误，并利用编译器和静态代码分析工具来尽早发现并修复问题，以提高代码质量和程序的可靠性。