Re[4]: указатель на мембер в избранное  новое всё   подписка   модер. 
От: shank 
Дата: 10.08.06 09:16
Оценка:17 (3)
Здравствуйте, Bell, Вы писали:

S>>Размеры указателей на int и на double тоже "в общем случае" не совпадают.

B>Неужели?

Угу.
Единственное, что гарантируется касательно размеров указателей, это то, что размер void* достаточен для того, чтобы "вместить" указатель на объект любого типа, а также то что sizeof(void*) == sizeof(char*). Больше никаких гарантий. (Это объяснялось где-то Steve'ом Clamage'ом, если мне склероз не изменяет).

3.9.2/4
Objects of cv-qualified (3.9.3) or cv-unqualified type void* (pointer to void), can be used to point to
objects of unknown type. A void* shall be able to hold any object pointer. A cv-qualified or cv-
unqualified (3.9.3) void* shall have the same representation and alignment requirements as a cv-qualified
or cv-unqualified char*.

---