展开 编译没有错误的程序就是一个正确的程序