Операция typeid().

Рубрика: C++, Дата: 16 April, 2013, Автор:
Tags: ,

Здорова господа!

Сейчас мы разберем такую от фигню механизма RTTI (Run-time type identification)  как операция typeid(). Я так понял она применяется для приведения типа или для проверки во время исполнения программы. Я щас если честно путаюсь в этих понятиях. Но щас все разберем.

Так подчитал чуток операция typeid()  это просто фигня такая которая может сравнивать ссылки. Чтобы его использовать нужно подключить заголовочный файл #include <typeinfo>  и больше ничего никаких using мы не прописываем. Дальше можно просто создавать объекты и просто их сравнивать например typeid(p)==typeid(c); если они равны, то вернется true, есил нет то false. Вот примерчик простой я наколякал:

 

//operaci9 typeid
#include <iostream>
using std::cout;
using std::endl;
#include <typeinfo>

class A{};
class B : public A{};
class C : public A{};

int main()
{
	B bb;
	B bbb;
	C cc;
	A* ab=&bb;
	A* ac=&cc;
	cout <<typeid(ab).name()<<endl;//eto fignyu kakyyuto ono vuvodit
	
	//ocnovnoe primenenie eto cravnenie tipov
	if(typeid(bb)==typeid(cc))
		cout <<"Один и тот же тип (равны)"<<endl;
	else
		cout <<"ne ravnu"<<endl;
		
	//ocnovnoe primenenie eto cravnenie tipov
	if(typeid(bb)==typeid(bbb))
		cout <<"Один и тот же тип (равны)"<<endl;
	else
		cout <<"ne ravnu"<<endl;
	
	return 0;
}

typeid() может принимать как ссылку, указатель и сам объект. В нем еще есть несколько дополнительных функций я их разбирать не буду. Ага еще вычитал, что если значение указателя полиморфного типа равно нулю, то операция typeid() генерирует исключение bad_typeid. Щас попробуем вызвать это исключение.
Да как я не изворачивался так я это исключение вызвать и не смог. Хоть я и ноль присваивал объекту полиморфного типа хоть  и не NULL ничего не получается, исключение не вылетает вот примерчик того что я делал и не смог вызвать исключение:

//operaci9 typeid
#include <iostream>
using std::cout;
using std::endl;
#include <typeinfo>
#include <exception>
using std::exception;

class A
{
public:
	virtual void print(){}
};
class B : public A{};
class C : public A{};

int main()
{
	try
	{
		B bb;
		B* bPtr=&bb;
		A* ab=&bb;//ykazatel6 ne polimorfnogo tipa
		typeid(ab);//ne ravno 0 znachit nety throw
		ab=0;
		bPtr=0;
		ab=bPtr;
		typeid(ab);
		typeid(bPtr);
		
		typeid(bPtr);
	}
	catch(exception& e)
	{
		cout <<e.what()<<endl;
		cout <<"owibka"<<endl;
	}
	
	return 0;
}

 

Ну да ладно с этой фигней разобрались, а теперь попробуем применить typeid()  в место dynamic_cast()   сделаем аналогичный код только с нашим typeid().

Два примера я вымучил и для ссылок и для указателей оказывается для сравнения нужно передавать объекты. Указатели оказываются не сравниваются. Нужно токо именно разыменовывать их, чтобы сравнить объекты.

//primeru c typeid()
#include <iostream>
using std::cout;
using std::endl;
#include <cstdlib>
using std::exit;
#include <typeinfo>

class A
{
public:
	virtual void polimorf(){}
	virtual void print(){}
};

class B : public A
{
public:
	void print()
	{
		cout <<"fynkci9 print iz klacca B"<<endl;
	}
};

class C : public A
{};

void my_funk(A& o)
{
	
	if(typeid(o)==typeid(B))
	{
		o.print();
	}
	else
	{
		cout <<"proizowka owibka ne cootvetctvie"<<endl;
		exit(1);
	}
}

void funk(A* o)
{
	//if(typeid(o)==typeid(B*) ) //owibka: ykazateli ne cravnivayutc9
	if(typeid(*o)==typeid(B) )
	{
		cout <<"delaem kakieto deictvi9"<<endl;
	}
	else
	{
		cout <<"proizowla owibka ne cootvetctvie"<<endl;
		exit(1);
	}
}

int main()
{
	B c;
	my_funk(c);
	cout <<endl<<endl;
	
	B* p=&c;
	funk(p);
	
	return 0;
}

Все добавить мне пока нечего. Не переключайте канал, потом мб что то и добавлю как скил повышу 🙂 .

[youtube]http://www.youtube.com/watch?v=8AeRzGPBWJU[/youtube]

rss