Type introspection
ויקיפדיה האנציקלופדיה encyclopedia
בתחום התוכנה, זיהוי עצמי של טיפוס (Type introspection) היא האפשרות של תוכנית לבדוק את הטיפוס של אובייקט (או איזו מחלקה הוא מייצג) או המאפיינים שלו במהלך זמן הריצה של התוכנית. אפשרות זו מופיעה בחלק משפות התכנות.
את יכולת הזיהוי העצמי ניתן להדגים בדוגמת הקוד הבאה בשפת C++:
Person* p = dynamic_cast<Person *>(obj);
if (p != nullptr) {
p->walk();
}
בדוגמת קוד זו התוכנית מקבלת משתנה בשם obj
שלא ידוע מה מראש מה טיפוסו. באמצעות שימוש בהמרה דינמית (dynamic_cast) מסוגלת התוכנית לבדוק במהלך ריצתה האם האובייקט הוא מסוג Person
ולפעול בהתאם.