测试实例:空约束

    , , 和