Динамічна ідентифікація типу

Динамічна ідентифікація типу (англ. Run-Time Type Identificator, RTTI) — механізм мов програмування, що дозволяє ідентифікувати тип об'єкта у процесі виконання програми.

Функціональність у С++

Був доданий у мову С++ для підтримки об'єктно-орієнтованого програмування та динамічного поліморфізму. Додаткові оператори приведення типів забезпечують безпечніший спосіб приведення. Цей механізм не був включений в початкову версію мови С++. RTTI був доданий згодом, у зв'язку з існуванням низки однотипних механізмів, що часто призводило до конфлікту версій бібліотек.

Для ідентифікації типу в С++ використовується оператор typeid визначений в заголовковому файлі <typeinfo>, або оператор dynamic_cast.

Синтаксис оператора typeid

Найчастіше він використовується так:

typeid (object);

Тут object – об'єкт, тип якого ми хочемо ідентифікувати. Оператор typeid повертає вказівник на об'єкт типу type_info, який описує тип об'єкта. Клас type_info містить такі функції-члени:

bool operator == (const type_info& ob);



bool operator != (const type_info& ob);



bool before(const type_info& ob);



const char* name();

Перевантажені оператори “!=” і “==” дозволяють порівнювати типи. Оператор before повертає значення true, коли викликаючий об'єкт є предком об'єкта, використаного як параметр. Функція name() повертає вказівник на назву даного типу.

Синтаксис оператора dynamic_cast

Основна стаття: Dynamic cast

dynamic_cast<newType> (expression);

newType - вказівник, або посилання на існуючий тип, або void-вказівник.

expression - операнд, який приводиться до типу newType

Приклад

class A {virtual void f();};
class B {virtual void f();};

void f() 
{ 
	A* pa = new A;
	B* pb = new B;
	void* pv = dynamic_cast<void*>(pa);
	// pv now points to an object of type A
	pv = dynamic_cast<void*>(pb);
	// pv now points to an object of type B
}

Delphi

Компілятор Delphi зберігає в вихідному файлі програми інформацію про всі класи, які використовуються в ній. При створенні будь-якого об'єкта в пам'яті перед ним створюється заголовок, в якому є вказівник на клас цього об'єкта. Оператор is дозволяє перевірити, чи є об'єкт або тип похідним від певного типу, а оператор as є аналогом dynamic_cast в C++.

Заголовки об'єктів — також неявно — використовуються для автоматичного керування пам'яттю.

C#

В C# для визначення типу об'єкта під час виконання використовується метод GetType, а також ключові слова is і as, які є аналогами для typeid і dynamic_cast в C++ відповідно.

Java

В Java тип об'єкта може бути одержаним за допомогою методу getClass(), оголошеного в класі java.lang.Object і тому реалізованого кожним класом. Для перевірки належності об'єкта певному типу використовується оператор instanceof, аналогом dynamic_cast з C++ є оператор приведення типу, який у випадку невідповідності типів викидає виняток ClassCastException.

На рівні байт-коду виклику методу клас записується, як і виклик будь-якого іншого методу, за допомогою опкоду invokevirtual. Для перевірки можливості приведення об'єкта до типу використовуються опкоди instanceof и checkcast.

Perl

В Perl тип об'єкта може бути ідентифікованим за допомогою функції blessed(), яка є частиною CPAN-модуля Scalar::Util. Функція приймає вказівник на об'єкт (blessed hash чи аналог) і повертає скаляр, який зберігає ім'я класу.

Джерела

• Г. Шилдт : Полный справочник по C++ [Архівовано 25 травня 2014 у Wayback Machine.], 4-е издание = C++: The Complete Reference, 4th Edition — М.: «Вильямс», 2011. — 800 с. — ISBN 978-5-8459-0489-8.
• Подбельский В. В. 12.6 Динамическая идентификация типов (RTTI) // Язык Си++ / Рец. Дадаев Ю. Г.. — 4-е изд. — М.: Финансы и статистика, 2003. — С. 263—280. — 560 с. — ISBN 5-279-02204-7, УДК 004.438Си(075.8) ББК 32.973.26-018 1я173