Ada 编程/属性/'Identity

描述

X'Identity 是 Ada 属性，其中 X 是任何任务。此属性返回一个唯一的标识字符串（类型为 "Task_ID"）。此字符串在某些 Ada 任务库中用于任务标识。用户也可以直接使用它进行输出，以确定两个任务是否为同一个任务等等。

task My_Task;
task My_Other_Task;
...
if My_Task'Identity = My_Other_Task'Identity then
  -- Do something
end if;