摘要: 最近在项目中,发现验证环境中的顶层的program(一般将program作为验证环境的入口),都是automatic的。 其实Program默认是static的,那么为什么需要把验证环境做成automatic呢? 原因如下: 如果不加automatic,则program中的变量是static,也就是 阅读全文
posted @ 2018-01-09 10:13 宙斯黄 阅读(2302) 评论(0) 推荐(0) 编辑