Type introspection

בתחום התוכנה, זיהוי עצמי של טיפוס (Type introspection) היא האפשרות של תוכנית לבדוק את הטיפוס של אובייקט (או איזו מחלקה הוא מייצג) או המאפיינים שלו במהלך זמן הריצה של התוכנית. אפשרות זו מופיעה בחלק משפות התכנות.

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

תמיכה בזיהוי עצמי של טיפוסים בשפות שונות

תומכת במנגנון זיהוי עצמי באמצעות מנגנון ה-RTTI, אופרטור typeid והמרה דינמית (dynamic_cast). הביטוי  dynamic_cast יכול להיות בשימוש כדי לזהות האם אובייקט מסוים הוא "תת" אובייקט של מחלקה אחרת.

האופרטור typeid מחזיר אובייקט מסוג std::type_info שמתאר את הסוג (מחלקת אב, לרוב) של האובייקט עליו הוא מבוצע. דוגמה לשימוש:if (typeid(Person) == typeid(*obj)) {
  serialize_person( obj );
}

Java 
בשפת Java הדוגמה הפשוטה ביותר של זיהוי עצמי של טיפוס הוא האופרטור instanceof. אופרטור זה בודק האם האובייקט המסוים שייך למחלקה מסוימת (או לתת מחלקה שלה, או למחלקת המימוש של ממשק). לדוגמה:if(obj instanceof Person){
   Person p = (Person)obj;
   p.walk();
}המחלקה  java.lang.Class היא הבסיס של זיהוי עצמי של טיפוס בצורה מתקדמת יותר.

כך למשל, אם רצוי לקבוע את סוג האובייקט, ניתן להשתמש ב-  Object.getClass ו Class.getName. לדוגמה:
System.out.println(obj.getClass().getName());

ראו גם
Reflection (תכנות)

הערות שוליים 

תכנות
פרדיגמות תכנות