Loading AI tools
来自维基百科,自由的百科全书
在電腦科學中,實化(英語:reification)是把抽象的想法(idea)轉化為明確的數據模型或程式語言建立的其他對象的過程。通過實化,以前是隱式的、未表示的、可能是不可表示的被顯式形成可概念(邏輯或計算)操作的。非正式地,實化也常被稱作在特定系統範圍內把某些東西變為「頭等公民」即物件化。 實化是概念分析與知識表示中最常用的技術。
在程式語言中,把用戶程式或者程式語言某一部分本來在編譯期與執行期是隱式的,表示為語言自身,這一過程稱為實化。這使得其對程式可當作普通數據來利用。在具有反射的程式語言中,實化的數據表示了相關的被實化的領域。實化的數據常被稱作頭等對象。
char* buffer = (char*) 0xB800000;
eval
或evaluate
過程使其有直譯器的功能。數據實化涉及在形式規範中找到抽象資料類型的更為具體的表示。 [4] 例如,抽象資料類型集合(set)可以用map或者array來實化。
概念建模中廣泛使用了實化。[5]實化一個關係(relationship)意味着把它視作一個實體。實化一個關係的目的是令其顯式,必要時可以增加額外的資訊。例如,關係IsMemberOf(member:Person, Committee)
表示某人是某委員會的成員。下圖左側用表的形式列出了人P1是委員會C1與C2的成員;人P2是委員會C1成員。
关系IsMemberOf
的實化。這一關係,也可看作實體。見圖示的右側。稱作該實體實化了這個關係。這個實體類型為Membership
。現在,可以給這個關係實體增加新的資訊,如某人屬於某委員會是由誰來提名加入的,可表示為IsNominatedBy(Membership, Person)
。
與其密切相關的用法見實化 (知識表示)。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.