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;