Ada 编程/关键字/覆盖
此语言特性仅从 Ada 2005 开始可用。
关键字 overriding 可用于明确声明过程或函数为覆盖的 子程序。 有两种形式可用
overridingprocedureOverriding_Procedure (This:inClass_Type);
notoverridingprocedureNot_Overriding_Procedure (This:inClass_Type);
第一个声明过程为覆盖，第二个则没有。
- 2.9 保留字 (带注释的)
- 附录 P（信息性）语法摘要 (带注释的)
- 6.1 子程序声明 (带注释的)
- 6.3 子程序体 (带注释的)
- 8.5.4 子程序重命名声明 (带注释的)
- 10.1.3 编译单元的子单元 (带注释的)
- 12.3 通用实例化 (带注释的)
| Ada 关键字 | ||||
|---|---|---|---|---|
abort
|
else
|
new
|
return
|
|
abs
|
elsif
|
not
|
reverse
|
|
abstract (Ada 95) |
end
|
null
|
||
accept
|
entry
|
select
|
||
access
|
exception
|
of
|
separate
|
|
aliased (Ada 95) |
exit
|
or
|
some (Ada 2012) |
|
all
|
others
|
subtype
|
||
and
|
for
|
out
|
synchronized (Ada 2005) |
|
array
|
function
|
overriding (Ada 2005) |
||
at
|
tagged (Ada 95) |
|||
generic
|
package
|
task
|
||
begin
|
goto
|
parallel (Ada 2022) |
terminate
|
|
body
|
pragma
|
then
|
||
if
|
private
|
type
|
||
case
|
in
|
procedure
|
||
constant
|
interface (Ada 2005) |
protected (Ada 95) |
until (Ada 95) |
|
is
|
use
|
|||
declare
|
raise
|
|||
delay
|
limited
|
range
|
when
|
|
delta
|
loop
|
record
|
while
|
|
digits
|
rem
|
with
|
||
do
|
mod
|
renames
|
||
requeue (Ada 95) |
xor
|
|||