参考答案：B

解析： 一般的程序错误，可大致分为语法错误和语义错误。 ①语法错误可以看作是编码出现了违反语言规则的错误，一般编译或者链接时，都会报错。所以，如果程序编译链接可执行，那么，可以说明它没有语法错误。选项B的说法是正确的，为本题正确答案。 ②语义错误，也可以叫做逻辑错误，也就是说代码完全符合语言规范，不会出现编译/链接的错误，但是，在逻辑上有错误。所以，编译链接正确，也不能保证没有逻辑错误，所以，选项C的说法错误。而如果一个程序有逻辑错误，就不能说它是正确的，也不能保证它运行没有错误。所以，选项A和选项D的说法也都是错误的。