2.3.2 结构化类型：强正确性保证