тип size_t и сравнение указателей

[m_ax]

Приветствую)

У меня такой вопрос:
Имеется два указателя на объекты двух разных типов (A и B).
Хотелось бы сравнивать не сами указатели, а их значения приведённые к типу size_t.
Вот пример:

Код

C++ (Qt)
class A {
...
};
 
class B {
...
};
 
A *a = new A;
B *b = new B;
 
size_t address_a = reinterpret_cast<size_t>(a); 
size_t address_b = reinterpret_cast<size_t>(b);
 
if (address_a != address_b) 
    ....
else
    ....
 

 
Т.е. корректно ли это будет всегда и везде работать? И есть ли какие-нить грабли?
 

[Igors]

Т.е. корректно ли это будет всегда и везде работать? И есть ли какие-нить грабли?
 

Не хочется делать обязывающих заявлений, но да, всегда. Практичнее/приятнее привести к (char *) вместо size_t

[m_ax]

Т.е. корректно ли это будет всегда и везде работать? И есть ли какие-нить грабли?
 

Не хочется делать обязывающих заявлений, но да, всегда. Практичнее/приятнее привести к (char *) вместо size_t

Спасибо)) Прям камень с души)
А в чём приимущество приведения к (char*) по сравнению size_t?

[Igors]

А в чём приимущество приведения к (char*) по сравнению size_t?

Чисто субъективное, приведение к  (char *) весьма популярно в чистом "С", т.е. "Вас сразу поймут"  

[SimpleSunny]

Не должно везде и всюду корректно работать.
Так как никто не гарантирует, что указатель поместится в size_t.

[Igors]

Не должно везде и всюду корректно работать.
Так как никто не гарантирует, что указатель поместится в size_t.

Мне кажется это следует из правил адресной арифметики "С" (sizeof возвращает размер типа size_t)

[m_ax]

Я тут нашёл статейку о size_t и ptrdiff_t
http://www.realcoding.net/articles/chto-takoe-sizet-i-ptrdifft.html

В которой говориться, что в принципе проблем быть не должно, поскольку его (size_t) для этого и придумали, но есть исключение: это указатели на методы классов.

[blood_shadow]

мне кажется будет еще не плохо привести указатели к типу void* и сравнить их на равенство,
к тому же к void* можно неявно привести и операция сравнение это практически единственная что можно делать с void*

[brankovic]

Я тут нашёл статейку о size_t и ptrdiff_t
http://www.realcoding.net/articles/chto-takoe-sizet-i-ptrdifft.html

В которой говориться, что в принципе проблем быть не должно, поскольку его (size_t) для этого и придумали, но есть исключение: это указатели на методы классов.

У меня были проблемы с реинтерпрет кастами, но я приводил указатель на A к указателю на B и пытался в нём что-то менять. Компилятору это не понравилось, он сгенерил неверный код. Поэтому в gcc такие преобразования делаю через юнион. В случае с size_t должно работать, но более правильно как blood_shadow сказал про void*:

Код

C++ (Qt)
inline bool equal (void *a, void *b) { return a == b; }
 
A *a; B *b;
if (equal (a, b))
 

или

Код

C++ (Qt)
A *a; B *b;
if (std::equal <void *> (a, b))
 

Без реинтерпертов лучше обойтись, чтобы читающих код не пугать.

[Igors]

Без реинтерпертов лучше обойтись, чтобы читающих код не пугать.

Верное замечание, незачем выставлять мнимую "крутизну", лучше

Код

C++ (Qt)
if ((char *) A == (char *) B))
 

Скромно и хорошо

[brankovic]

Код

C++ (Qt)
if ((char *) A == (char *) B))
 

Скромно и хорошо

сишный каст -- зло!! ..но для краткости сойдёт

[Igors]

сишный каст -- зло!! ..но для краткости сойдёт

Ой, мама дорогая, та где ж там такое зло?  Хотели сравнить 2 адреса - ну и сделали. Или адрес уже "не (совсем) адрес" а нечто задроченое с помощью вумных xxx_cast ? 

[brankovic]

сишный каст -- зло!! ..но для краткости сойдёт

Ой, мама дорогая, та где ж там такое зло?  Хотели сравнить 2 адреса - ну и сделали. Или адрес уже "не (совсем) адрес" а нечто задроченое с помощью вумных xxx_cast ? 

Вот скажет вам компилятор в один прекрасный день: "at line 123, error: сишный каст -- зло!!" и будет прав, а вам и сказать будет нечего.

[m_ax]

Собственно, вопрос возник в контексте оптимизации libssc.
Там ранее при создании нового соединения или, например, при записи приоритета соединения и т.п. каждый раз проверяется весь список соединений и каждый раз при этом вызывается dynamic_cast (который по природе своей не быстр). Вот чтобы избавится от лишних его вызовов, я ввёл в базовый класс (base_connection) виртуальный метод:

Код

C++ (Qt)
typedef size_t address_type // или typedef void* address_type или typedef char* address_type
...
virtual address_type address() const = 0;
 

И соответственно в унаследуемых классов этот метод определяю:

Код

C++ (Qt)
address_type address() const { return reinterpret_cast<address_type>(m_receiver); }
 

Это всё позволяет не вызывать лишний раз dynamic_cast в функции compre:

Код

C++ (Qt)
bool compare(base_connection2<S_arg1, S_arg2> *bc) const {
	if ((bc->type() == MEM_FUN_CONNECTION) && (bc->address() == address())) {
	    mem_fun_connection2<S_arg1, S_arg2, R_receiver, R_return, R_arg1, R_arg2> *mfc = dynamic_cast<mem_fun_connection2<S_arg1, S_arg2, R_receiver, R_return, R_arg1, R_arg2> *>(bc);
		if (m_slot_is_const)
		    return (mfc) ? (mfc->m_slot_pack.m_const_slot == m_slot_pack.m_const_slot) : false;
		return (mfc) ? (mfc->m_slot_pack.m_slot == m_slot_pack.m_slot) : false;
	}
	return false;
    }
 

Собственно вот..
Спасибо)

[brankovic]

Вот чтобы избавится от лишних его вызовов, я ввёл в базовый класс (base_connection) виртуальный метод:

Код

C++ (Qt)
typedef size_t address_type // или typedef void* address_type или typedef char* address_type
...
virtual address_type address() const = 0;
 

можно уменьшить и убыстрить так:
1. заменить size_t на void *
2. убрать у функции address атрибут virtual и =0
3. в теле address в базовом классе вернуть this (reinterpret_cast не нужен для преобразования в void*)
4. убрать address из наследников

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

но я бы сделал ещё радикальнее, перед вызовом compare (a, b) вставил бы:

Код

C++ (Qt)
if (static_cast <void*> (&a) == &b)
 

 -- так не будет расходоваться время на вызов виртуальной же функции compare, если адреса a и b сразу не равны.