程序员去做检查通常是指 对程序代码进行检查和验证，以确保代码的质量、正确性和稳定性。这包括以下几个方面：
代码审查：
开发人员之间互相审阅代码，以发现和修正错误之前未被发现的问题。代码审查有助于提高代码质量，促进团队之间的知识分享，并确保代码遵循规范和标准。
静态分析：
利用工具自动检查代码中的错误或不规范之处，无需执行程序本身。静态分析可以找出潜在的问题，如未使用的变量、代码冗余、循环问题等，以提高代码的质量和性能。
语法检查：
检查代码是否符合编程语言的语法规范，确保代码的正确性和合法性。这通常通过编程工具或IDE中的语法检查器来完成。
边界检查：
在编写代码时，考虑各种可能的边界情况，例如处理数组时确保索引不超出范围，避免数组越界错误。
输入验证：
验证程序在运行时接收的用户输入的有效性，例如检查输入是否为整数或浮点数，并处理非法输入。
错误处理：
考虑错误处理机制，包括处理可能出现的异常和错误，并提供适当的错误信息给用户。
逻辑检查：
检查程序的逻辑是否符合预期，通过手动分析代码或使用调试工具查看变量的值来验证代码的执行路径。
性能检查：
检查程序的性能以及资源的使用情况，使用性能测试工具评估程序的运行效率，并找出潜在的性能瓶颈。
兼容性检查：
确保程序在不同的操作系统、硬件和软件环境下都能正常运行。
安全性检查：
审查代码，查找可能的安全漏洞，并采取相应的安全措施来提高程序的安全性。
通过这些检查，程序员可以更早地发现和修复问题，提高开发效率和代码的稳定性，从而确保软件的质量和可靠性。