数据抽象可以包含一个程序控制机制而无需规定其内部细节。