足够详细的规范并不是代码