Ada 编程/Ada 2022
< Ada 编程
这是对Ada 2022的主要功能的概述，Ada 标准的最新版本。
Jorvik 是 Ada 任务功能的子集，类似于 Ravenscar，但限制更少，与 Ravenscar 配置文件相比，去除了以下限制
- No_Implicit_Heap_Allocations
- No_Relative_Delay
- Simple_Barriers
- Max_Entry_Queue_Length => 1
- Max_Protected_Entries => 1
- No_Dependence => Ada.Calendar
- No_Dependence => Ada.Synchronous_Barriers
- 赋值目标名称 @
- 方括号用于数组聚合
- 类型的默认初始条件
- 默认泛型参数
- 声明表达式
- 归约表达式
- 迭代过滤器
- 广义字面量
- Admission_Policy
- All_Calls_Remote
- Conflict_Check_Policy
- Elaborate_Body
- Generate_Deadlines
- Preelaborable_Initialization
- Preelaborate
- Profile 现在支持 Jorvik 配置文件
- Pure
- Remote_Call_Interface
- Remote_Types
- Shared_Passive
- Aggregate
- Allows_Exit
- Default_Initial_Condition
- Dispatching
- Elaborate_Body
- Full_Access_Only
- Global
- Global'Class
- Integer_Literal
- Iterator_View
- Max_Entry_Queue_Length
- No_Controlled_Parts
- No_Return （对于函数）
- Nonblocking
- Parallel_Calls
- Parallel_Iterator
- Preelaborable_Initialization
- Put_Image
- Real_Literal
- Relative_Deadline
- Stable_Properties
- Stable_Properties'Class
- Static
- Static_Predicate
- String_Literal
- Synchronization
- Use_Formal
- Yield
- 'Enum_Rep
- 'Enum_Val
- 'Index
- 'Object_Size
- 'Parallel_Reduce
- 'Preelaborable_Initialization
- 'Put_Image
- 'Reduce
- 'Relative_Deadline
- Atomic_Operations
- 大数
- 容器