原因：正确性无法证明，其主函数第一行面向数据编程