Ada2012即将完成

Ada2012即将完成

Ada语言标准的下个版本有很多提高

 

原文：http://www.adacore.com/category/press-center/newsletters/

译者：logiciel，2010年5月19日

 

作为语言设计的自然演化的一部份，Ada 标准的一个新版本即将完成。 新版本称为Ada 2012，这是对Ada 2005的一个向上兼容的增加。当前正在考虑的一些新特征是：

l        对指定断言（assertion）的改进支持（子类型的成员关系谓词（predicate），子程序的前置和后置条件，包和类型的不变式，全局的in-out注解)；

l        对实时和并发编程的改进支持（多处理器的 Ravenscar，障碍，任务/处理器密切关系，任务安全的队列）；

l        容器包的有界格式，这适用于不能使用动态存储分配或受约束类型的应用；

l        对容器或数组的元素迭代的改进支持；

l        更灵活的表达式 （if表达式，case表达式，定量表达式，更通用的成员关系测试）；

l        对控制名字可见性的改进支持（使用所有类型, 整合的包）；

l        通过存储池的子池实现的以区域为基础的内存管理；

l        函数的“in out”和“out”模式参数；

l        不完整类型的new 使用（由此引入一个私有类型，作为一个参数或结果类型，或作为一个类属形参）。

详细情况请参见www.ada-auth.org/ai05-summary.html。

在设计的逐渐稳定过程中，用GNAT 技术对这些特征的大部份建立了原型（例如，if和case表达式），让客户得到较早的体验。 藉由这样的分阶段途径，在最终的语言定义被核准后，很快就可获得Ada 2012的全部支持。