הגדרת
הפונקציה main המגדירה שני מצביעים לאובייקטים מסוג Animal
היא
יוצרת אובייקט מסוג Cat ואובייקט מסוג Dog ומשימה את המצביעים להצביע אל האובייקטים
האלו
לאחר
מכן היא שואלת האם סוג האובייקטים אליהם מצביעים שני המצביעים שונה זה מזה, כאשר
סוג האובייקט מאובחן ע"י האופרטור typeid, וההשוואה מתבצעת ע"י הפעלת
אופרטור השוויון על האובייקטים המוחזרים מפעולת האופרטור typeid
במידה
והאובייקטים אכן שונים מודפסת מחרוזת הכוללת את סוג שני האובייקטים, המתקבל מהפעלת
הפונקציה name על האובייקטים המוחזרים מפעולת האופרטור typeid