Зачем класть адрес переменной, например int, в определенный тип int*, если можно класть адрес в обычную переменную int, предположим, что разрядность процессора точно такая же как и у типа int? В чем проблема?
2 ответа
Во-первых, в терминологии языков C и C++ термин "адрес" является синонимом термина "указатель" (или "значение типа указатель").
Во-вторых, языки С и С++ являются строго типизированными языками. В переменную типа "целое число" нельзя просто так взять и неявно записать значение типа "указатель". Это нарушение правил типизации языков С и С++. (Если вы не понимаете, в чем заключается цель и ценность строгой типизации, то это отдельный широкий вопрос.)
В-третьих, сам ваш вопрос построен на некорректной посылке. Кто вам сказал, что этого делать нельзя? Никто вам не запрещает в С и С++ сохранить значение указателя int *
в переменной типа int
, если ширина типа int
достаточна для этого. Просто для этого требуется явное приведение типа
int a = 0;
int p = (int) &a;
В стандартной библиотеке этих языков есть даже специально заведенные целочисленные типы intptr_t
/uintptr_t
, которые как раз и предназначены именно для этого, т.е. для хранения приведенных к целому типу значений указателей.
Разумеется, для того, чтобы снова использовать такое сохраненное значение в роли указателя, вам придется сначала явно привести его обратно к типу "указатель".
В далекие 70-е годы, когда язык С еще только зарождался (см. C Reference Manual), он допускал определенные варианты смешанного использования целых типов и указателей. В частности, в левой части оператора ->
можно было указывать целочисленные значения
struct S {
int s_a; /* смещение 0 */
int s_b; /* смещение 2 */
};
/* "С Reference Manual" явным образом утверждал,
что тип `int` имеет размер именно в 2 байта */
...
int a = 0x1234;
a->s_b = 42; /* записываем 42 в int по адресу 0x1236 */
...
Но от таких трюков быстро отказались.
-
int s_a
оно 16-битное в 16-битной версии с++, лучше записатьshort s_a
илиint16 s_a
. Думаю, что большинство людей уже видет в int 32 бита. Сейчас будет рабочим код (при отключеной оптимизации)S* a; (int)a = 0x1234; a->s_b = 42;
– nick_n_a27 ноя 2018 в 8:33 -
@nick_n_a: "С Reference Manual", на который я сослался, открытым текстом постулировал, что тип
int
имеет размер именно в 2 байта. 27 ноя 2018 в 8:37 -
-
@nick_n_a:
(int)a = 0x1234
ни в коем случае "рабочим не будет". Это дикое расширение GCC уже давно вымели из GCC поганой метлой и забыли как страшный сон. Результат преобразования типа в языке С некогда не является lvalue и в левой части оператора присваивания присутствовать не может. 27 ноя 2018 в 8:39 -
Borland C++ такие махинации позволял делать в т ч Builder 5-версия. VS2005 уже нет. Ну тогда хотя бы так
((S*)a)->s_b;
ну уж сильно сказачно выглядит код, неужели есть компиляторы которые такое соберут...– nick_n_a27 ноя 2018 в 8:55
Можно хранить. Просто покажу свой код.
unsigned long long & __getWrapper(){
static unsigned long long address = 0u; // здесь и хранится адрес
return address;
}
Wrapper* getWrapper(){
return (Wrapper*)__getWrapper();
}
void setWrapper( Wrapper * wrapper ){
__getWrapper() = (unsigned long long)((void*)wrapper);
}
void f(){
Wrapper * wrapper = getWrapper();
wrapper->что-то там...
}
int main(){
Wrapper* wrapper = new Wrapper;
setWrapper( wrapper );
f();
return 0;
}
ptr + sizeof(int)
? Также по типу определяется, сколько именно байт занимает объект, на который указывает указатель.