2.3.3 非结构化类型：弱正确性保证