Парадокс: значение переменной равно её адресу

@kravam · Регистрация: 04.06.2008

Author24 — интернет-сервис помощи студентам

Друзья! Вот код, в нём всё понятно.
Выводятся одинаковые значения. Но ведь этого не может быть!
Хотя бы потому не может, что по адресу, который выводится первым, должно находиться значение символа '0'!
Ну, то есть первая и третья строка вывода предсказуемы. Но вторая вообще ни в какие ворота не лезет.
Помогите разобраться, пожалуйста. Спасибо.

C++

#include <stdio.h>
int main () {
 char s [5]= {'0','1','2','3','4'};
 
 printf ("eto znachenie peremennoi s  %x\n", s);
 printf ("a eto eo adres! oni pochemu-to ravni    %x\n", &s  );
 printf ("a eto adres nulevogo elementa! %x\n", &s[0]  );
 getchar ();
 return 0;
}

@GAV_13 · 29.09.2009, 15:10

#Мессир, я имел ввиду выведет значение)

@easybudda · 29.09.2009, 15:33

Сообщение от kravam

А вот как найти адрес s?

А вот, как:

C

#include <stdio.h>
 
int main(){
    char s1[] = "abcd";
    char s2[] = "abcd";
    char *s3 = s1;
    
    printf("%tx\t%tx\t%tx\n", s1, s2, s3);
    
    return 0;
}

@R0mm · 29.09.2009, 15:51

Не то.

@kravam · 29.09.2009, 16:04 **[ТС]**

Сообщение от #Мессир

kravam, а ты дизассемблером его.... и посмотри

сократи код до 3х строк, чтобы было проще разобраться. Просто мне сейчас некогда заниматься этим. Работа

Не так просто, это же не асемблерный код. Одно дело бряки на функции ставить, другое дело отслеживать переменные, не видя их имён. Но я попробовал.
Вот код, я его запустил в OllyDbg

C++

#include <stdio.h>
int main () {
 void* uk_1;
 void* uk_2;
 char s [5]= {'0','1','2','3','4'};
 printf ("&s[1]= %x",&s[1]);
 uk_1= s; 
 uk_2= &s;
 return 0;
}

Поставил бряк на выполнение printf. И вот такой наблюдаю код

004012DD |. E8 4E050000 CALL <JMP.&msvcrt.printf> ; \printf
004012E2 |. 8D45 D8 LEA EAX,DWORD PTR SS:[EBP-28]
004012E5 |. 8945 F4 MOV DWORD PTR SS:[EBP-C],EAX
004012E8 |. 8D45 D8 LEA EAX,DWORD PTR SS:[EBP-28]
004012EB |. 8945 F0 MOV DWORD PTR SS:[EBP-10],EAX

Вот после выполнения printf (первая строка) по РАЗНЫМ адресам [EBP-C] и [EBP-10] кладётся одно и то же значение. (EAX)
Я посмотрел, что это за значение. Это адрес. и по нему находится этот самый массив. То есть адрес этого массива кладётся два раза по разным адресам.
Остаётся предположить, что это выполняются две такие инструкции:

C++

1 2	uk_1= s; uk_2= &s;

В общем, поняно всё. Переменная s, как я уже говорил- двояка и виртуальна (не имеет собсвенного адреса). В первом случае это адрес нулевого элемента, во втором- адрес всего массива (автоматически опять же нулевого элемента.) Всем спасибо.

@Nick Alte · 29.09.2009, 20:38

Позвольте слегка вставить свои 5 копеек. Тут наблюдается путаница между понятиями значения и адреса. Переменная s не "виртуальная", это просто массив. Формально значением такой переменной является содержимое всего массива. Но массивы в Си и С++ не имеют традиционной семантики значения: нельзя присвоить один массив другому, передать его значение в функцию через стек и т.п. Семантика массивов тесно переплетена с семантикой указателей, так что значение переменной-массива при любом удобном случае деградирует (pointer decay) до указателя на первый элемент массива. Это происходит, в частности, при передаче этого значения в printf.

accept · 30.09.2009, 05:26

Сообщение от kravam

В моём случае s (та самая вышеупомянутая переменная типа массив)

тип массив преобразуется в тип указатель на элемент того же типа, что и массив

C

1	printf ("eto znachenie peremennoi s %x\n", s);

так как s - имя массива, то оно преобразуется в указатель на нулевой элемент и только потом подаётся в функцию printf

@DrMcSheen · 30.09.2009, 06:36

Сообщение от kravam

C++

1
2
3

 char s [5]= {'0','1','2','3','4'};
 
 printf ("eto znachenie peremennoi s  %x\n", s);

По-моему, вся проблема в том, что переменной s в чистом виде у тебя не сущществует.
Есть только лишь массив s[x].
И, теоретически, компилятор должен был заругаться на обращение к s.
А он оказался умничкой, и сам сообразил, что s это и есть &s.

@GAV_13 81 / 81 / 6 Регистрация: 14.09.2009 Сообщений: 252
	29.09.2009, 15:10	21
	#Мессир, я имел ввиду выведет значение) 0

@R0mm Псевдо программист 192 / 113 / 37 Регистрация: 19.09.2009 Сообщений: 303
	29.09.2009, 15:51	23
	Не то. 0

@Nick Alte 1674 / 1046 / 174 Регистрация: 27.09.2009 Сообщений: 1,945
	29.09.2009, 20:38	25
	Позвольте слегка вставить свои 5 копеек. Тут наблюдается путаница между понятиями значения и адреса. Переменная s не "виртуальная", это просто массив. Формально значением такой переменной является содержимое всего массива. Но массивы в Си и С++ не имеют традиционной семантики значения: нельзя присвоить один массив другому, передать его значение в функцию через стек и т.п. Семантика массивов тесно переплетена с семантикой указателей, так что значение переменной-массива при любом удобном случае деградирует (pointer decay) до указателя на первый элемент массива. Это происходит, в частности, при передаче этого значения в printf. 0

	30.09.2009, 06:36

Опции темы