2.4.3 程序契约的局限性