如果一个程序语法正确但语义错误，这种错误通常在何时暴露？

语法正确的程序会在编译时通过，但语义错误会在运行时导致异常或结果不符合预期，因此选项B正确。