Boolean 类型的值的语句，用于在程序中测试一个条件，如果该程序运行正确，应始终计算为 true ；否则，程序通常将终止与相应的错误消息。断言用于调试程序和记录程序应如何运作。