以下哪种正确性校验可以绝对保证不出错（）。