Форум программистов, компьютерный форум, киберфорум
Наши страницы
C для начинающих
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.94/18: Рейтинг темы: голосов - 18, средняя оценка - 4.94
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
1

Указатель на структуру - что напечатает программа

28.11.2011, 18:23. Просмотров 3425. Ответов 42

Возьмём пример на языке Си:

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <stdio.h>
 
typedef struct
{
  int x, y;
} MyStruct;
 
int main (void)
{
  struct MyStruct *p;
 
  p = NULL;
  printf ("%p\n", p);
/*
  p++;
  printf ("%p\n", p);
*/
  return 0;
}
1. Что напечатается?
2. Что будет, если раскомментировать закомментированный код?
3. Что будет, если данный тест подать в компилятор Си++?

Традиционная просьба к тем, кто заранее знает ответ, прятать его под CUT

UPD: подправлен пример
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
28.11.2011, 18:23
Ответы с готовыми решениями:

Определить, что напечатает программа
Уважаемые гении, я буду предельно счастлив, если вы поможете мне с этим заданием. Язык C.

Что напечатает на экране следующая программа?
void main() { int x; clrscr(); x=2*2&lt;&lt;2-1&amp;1; printf(&quot;%d\n&quot;,x);...

что напечатает программа?
что напечатает программа?? #include &lt;stdio.h&gt; main() { int i, a=0; for (i=0;i&lt;10;i++) a++;...

Определить, что напечатает программа
Парни, спасайте, завтра сессия по информатике, я дун-дун в этом, ПОМОГИТЕ!! (фото прикрепил)

Определить, что напечатает программа
Заливайте картинки на форум

42
ForEveR
В астрале
Эксперт С++
8003 / 4761 / 653
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.11.2011, 19:24 21
taras atavin, Чего-чего? Не того курнули?
1
taras atavin
4207 / 1774 / 211
Регистрация: 24.11.2009
Сообщений: 27,565
28.11.2011, 19:25 22
Цитата Сообщение от ForEveR Посмотреть сообщение
Не того курнули?
Я не курю.
1
Nameless One
Эксперт С++
5790 / 3439 / 356
Регистрация: 08.02.2010
Сообщений: 7,448
28.11.2011, 19:26 23
...
в данном случае struct MyStruct* p и MyStruct* p - это будут разные вещи.
struct MyStruct* p - объявление указателя на неизвестную структуру. При попытке компиляции будет ошибка, т.к. размер этой структуры неизвестен.
вот такие у меня пока догадки
0
go
Эксперт С++
3637 / 1369 / 243
Регистрация: 16.04.2009
Сообщений: 4,527
28.11.2011, 19:26 24
Цитата Сообщение от taras atavin Посмотреть сообщение
++ для указателя смещает на размер данного, а не самого указателя.
И у него был раньше указатель на указатель
Пройдите по приведенной ссылке, и прочтите внимательно оригинальный пример
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 19:27  [ТС] 25
Цитата Сообщение от Сыроежка Посмотреть сообщение
Вы бы сами воспользовалист своим советом или на крайний случай попробовали бы откомплировать этот код в С++. Не помешает!
Для особых гениев в начале русским языком написано "Возьмём пример на языке Си". И даже до кучи вопрос задан, а что будет на Си++

Цитата Сообщение от go Посмотреть сообщение
А вы пробовали компилировать? Не уверен, но тогда верно было, вот сейчас лучше было бы написать (явно привести к типу)
Господи, ну почему же я в первый раз линшюю звёздочку нарисовал Неужто никто никогда не слышал про задачи с подъ$пкой. Особенно в разделе "Для начинающих". Особенно для тех, кто хочет подумать, почему получилось так, а не эдак
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 19:27  [ТС] 26
Цитата Сообщение от go Посмотреть сообщение
Пройдите по приведенной ссылке, и прочтите внимательно оригинальный пример
В оригинальном примере уже убрали косяк
0
ForEveR
В астрале
Эксперт С++
8003 / 4761 / 653
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
28.11.2011, 19:27 27
taras atavin, Согласен. Мой косяк. Извиняюсь.
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 19:29  [ТС] 28
Nameless One, начало правильное (как и было уже озвучено в одном из первых постов). А вот продолжение - нет
0
go
Эксперт С++
3637 / 1369 / 243
Регистрация: 16.04.2009
Сообщений: 4,527
28.11.2011, 19:38 29
Цитата Сообщение от Evg Посмотреть сообщение
Господи, ну почему же я в первый раз линшюю звёздочку нарисовал Неужто никто никогда не слышал про задачи с подъ$пкой. Особенно в разделе "Для начинающих". Особенно для тех, кто хочет подумать, почему получилось так, а не эдак
потому что писать надо правильно
C++
1
2
3
4
5
6
7
8
9
typedef struct MySrtuct
{
      int x;
      int y;
}  MyStruct_t;
 
int main ()
{
       MyStruct_t * p;
0
Сыроежка
Заблокирован
28.11.2011, 19:42 30
Цитата Сообщение от Evg Посмотреть сообщение
Для особых гениев в начале русским языком написано "Возьмём пример на языке Си". И даже до кучи вопрос задан, а что будет на Си++
А что С? Имеются имена tag-ов структур и имеются имена, определенные с помощью typedef. В С они расположены в разных пространствах имен!
Поэтому было бы очень любопытно, если бы сы привели цитату из стандарта, обосновывающую ваше утверждение. А так лишь слова, слова, слова,, Причем много слов и не по делу!
0
easybudda
Модератор
Эксперт CЭксперт С++
10247 / 6137 / 1544
Регистрация: 25.07.2009
Сообщений: 11,678
28.11.2011, 20:05 31
Лучший ответ Сообщение было отмечено Памирыч как решение

Решение

go в принципе уже ответил. Честно говоря, запутался, какой там из примеров правильный, какой нет, но в первом посте и в том, где вроде бы "тот пример" одна и та же беда - неправильное объявление.
C
1
2
3
4
5
6
typedef struct
{
  int x, y;
} MyStruct;
 
typedef struct MyStruct* MyStructPtr;
правильный вариант
C
1
typedef MyStruct* MyStructPtr;
ну или
C
1
2
3
4
5
6
struct MyStruct
{
  int x, y;
} ;
 
typedef struct MyStruct* MyStructPtr;
Evg, а в чём прикол-то?
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 20:46  [ТС] 32
Цитата Сообщение от easybudda Посмотреть сообщение
одна и та же беда - неправильное объявление
И что пишет компилятор Си на это?

Добавлено через 1 минуту
Цитата Сообщение от Сыроежка Посмотреть сообщение
если бы сы привели цитату из стандарта, обосновывающую ваше утверждение
Какое утверждение?

Добавлено через 3 минуты
Цитата Сообщение от easybudda Посмотреть сообщение
Честно говоря, запутался, какой там из примеров правильный, какой не
Оба правильные (после того, как самый первый пост подхачили модераторы)
0
easybudda
Модератор
Эксперт CЭксперт С++
10247 / 6137 / 1544
Регистрация: 25.07.2009
Сообщений: 11,678
28.11.2011, 21:02 33
Цитата Сообщение от Evg Посмотреть сообщение
И что пишет компилятор Си на это?
А ничего не пишет. По сути после
C
1
2
3
4
typedef struct
{
  int x, y;
} MyStruct;
строка
C
1
typedef struct MyStruct* MyStructPtr;
объявляет тип указателя на необъявленную структуру с тегом MyStruct. Тег структуры и имя типа - абсолютно разные вещи. NULL, на сколько я знаю, можно присвоить любому указателю, да и указатели можно объявлять на ещё не объявленый тип, а вот для адресной арифметики уже размер типа данных нужен. По этому, если раскомментировать ++ptr (или как там у вас), выдаст вполне объяснимую ошибку при компиляции.
1
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 21:20  [ТС] 34
Лучший ответ Сообщение было отмечено как решение

Решение

Как оно на самом деле
В языке Си допустима конструкция типа:

C
1
void func (void);
Эта конструкция не определяет никаких материальных сущностей, но описывает функцию. Точно так же можно предописывать структуру:

C
1
struct s;
Такая конструкция не заводит нового типа, но заводит новое имя типа. Т.е. мы говорим, что есть такая структура struct s, но её потроха мы пока не описываем. Переменную такого типа создавать нельзя, потому что для определения переменной нужно знать её размер, а размера мы не знаем, потому что внутренности типа ещё не описали. Но мы уже можем создавать указатели такого типа:

C
1
struct s *ptr;
Указатель - это переменная, которая хранит внутри себя адрес. И не важно, какого размера является объект, на который смотрит этот адрес, сам адрес всегда занимает один и тот же размер (4 байта на 32-битных архитектура). Таким образом, не описывая внутренностей структуры уже можно создать указатель на такую структуру (или typedef на указатель). С такими указателями даже можно работать: присваивать указатели или сравнивать их между собой. Потому что эти операции не требуют знания о размере типа, на который смотрит указатель. Но вот операции поинтерной арифметики уже требуют знания о размере структуры, поэтому работать не буду (компилятор выдаст ошибку о работе с незавершённым типом). А операции дереференса (или работы с полями) требуют наличия внутренностей структуры. Они точно так же не будут работать, хотя природа этого запрета получается немного другая.

Вторая часть вопроса - это объявление "struct MyStruct" и "typedef MyStruct". Как уже говорилось, с точки зрения языка две данные конструкции различны:

C
1
struct MyStruct { ... };
C
1
typedef struct { ... } MyStruct;
Первая конструкция определяет тип, имя которого как бы "struct MyStruct", а вторая конструкция определяет неименованную структуру и typedef на неё под именем "MyStruct". С точки зрения языка Си - это два совершенно разных типа. Несколько иная картина в Си++. Первая конструкция как бы задаёт сразу два имени: "struct MyStruct" и "MyStruct". И обращаться к такой структуре можно либо как "struct MyStruct", либо как "MyStruct". На этом свойстве основан первый пример из поста http://www.cyberforum.ru/cpp-experts...tml#post889587 - будучи скормленным компилятору Си и Си++ он выдаст разные результаты.

Итого, ответы на вопросы будут такие:

> 1. Что напечатается?
0, null - не суть. Важно то, что конструкция корректная и каким-то образом отработает печать null-pointer'а

> 2. Что будет, если раскомментировать закомментированный код?
Пример не скомпилируется, потому что арифметика над незавершённым типом запрещена

> 3. Что будет, если данный тест подать в компилятор Си++?
Пример не скомпилируется, потому что конструкция struct MyStruct не сможет отработать из-за того, что будет конфликт по именам с первым typedef'ом.

И напоследок хочется напомнить начинающим, тем, кто будет устраиваться на работу и проходить собеседование, особенно если собеседовать будет грамотный человек, желающий увидеть ход мышления, а не тупое знание или незнание материала: отрицательный результат - это тоже результат, который нужно объяснить. Если спрашивают, что будет, если изменить программу таким-то образом, а программа после таких изменений не компилируется, но не надо истерично визжать, что вы программировать не умеете, а надо объяснить, почему программа не будет компилироваться.


А зачем это нужно
Для чего используются незавершённые типы? В первую очередь для того, чтобы описать некий указатель, причём не абы какой, а с конкретным именем, но чтобы при этом не дать пользователю работать с внутренностями данного указателя. Так называемый, транзитный указатель. Такой природой обладает тип FILE* на Си или HANDLE под windows. И тот и другой тип используется просто как некая именованная конструкция, но при этом пользователь может её только создать, удалить, скопировать, куда-то передать и т.п. Техническая реализация может быть и такая, что пользователю физически доступны потроха, но концептуальная природа такова, что пользователь этими типами пользуется только транзитно, не заглядывая вовнутрь. При этом делается дополнительная страховка в виде того, что, к примеру, в процедуру, ожидающую FILE*, нельзя подсовывать int*. Т.е. задав имя, мы задаём новый тип, который несовместим с прочими типами


Добавлено через 39 секунд
Цитата Сообщение от easybudda Посмотреть сообщение
А ничего не пишет
Значит тест корректный
6
Bers
Заблокирован
28.11.2011, 21:43 35
Объясните пожалуйста:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
struct MyStruct{ int x, y; };
 
int main()
{
     struct MyStruct *p;  //что это?
    //предварительное объявление типа,
    //с одновременным объявлением указателя?
    //при том, что размер типа итак уже известен?
                
    p = NULL;  //корректно
 
    printf ("%p\n", p); //вывод: 0000 0000
 
    p++;  //корректно
 
    printf ("%p\n", p); //вывод: 0000 0008
 
    return 0;
}
Добавлено через 5 минут
Вот так все понятно:


C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
struct MyStruct{  int x, y;};
 
int main()
{
    struct MyStruct; //предвариловка скрыла глобальный тип
    MyStruct *p;  //указатель сделать можно не зная размера
    p = NULL; //корректно
    printf ("%p\n", p); //вывод: 0000 0000
 
    p++;  //error C2036: main::MyStruct *: неизвестный размер
    printf ("%p\n", p);
 
    return 0;
}
Первый пример из поста #35 непонятен.
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 21:45  [ТС] 36
Цитата Сообщение от Bers Посмотреть сообщение
Пример из поста #35 непонятен
Это не предварительное описание типа, а использование существующего (который в самой первой строке описан)
0
Bers
Заблокирован
28.11.2011, 21:47 37
Цитата Сообщение от Evg Посмотреть сообщение
Это не предварительное описание типа, а использование существующего (который в самой первой строке описан)
Насколько я знаю, struct или class используются только при декларации нового типа.
0
go
Эксперт С++
3637 / 1369 / 243
Регистрация: 16.04.2009
Сообщений: 4,527
28.11.2011, 21:47 38
Цитата Сообщение от Bers Посмотреть сообщение
struct MyStruct{ int x, y; };
int main()
{
* * *struct MyStruct *p; *//что это?
А вы не заметили, что язык Си, а не С++
0
Bers
Заблокирован
28.11.2011, 21:49 39
Цитата Сообщение от go Посмотреть сообщение
А вы не заметили, что язык Си, а не С++
Я даже знаю, что Евгений очень опытный сишник, а не приплюснутый. И что?
Мой вопрос касается с++
0
Evg
Эксперт CАвтор FAQ
19789 / 7429 / 560
Регистрация: 30.03.2009
Сообщений: 20,702
Записей в блоге: 30
28.11.2011, 21:51  [ТС] 40
Цитата Сообщение от Bers Посмотреть сообщение
Насколько я знаю, struct или class используются только при декларации нового типа
Нет. "struct s" задаёт тип с именем "struct s" (на Си). Чтобы обратиться к этому типу ты должен так и писать - "struct s":

C
1
2
3
struct s { int x; };
struct s var; /* Переменная типа struct s */
struct s *ptr; /* Указатель на struct s */
Цитата Сообщение от go Посмотреть сообщение
А вы не заметили, что язык Си, а не С++
В данном процитированном примере это монопенисуально

Добавлено через 39 секунд
Цитата Сообщение от Bers Посмотреть сообщение
Мой вопрос касается с++
В Си++ тоже самое, за исключением того, что к типу дополнительно можно обращаться как "s"
1
28.11.2011, 21:51
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
28.11.2011, 21:51

Напишите, что напечатает программа
Напишите, что напечатает следующая программа: program pl; var a,b:integer; procedure f1...

Линейный алгоритм - что напечатает программа?
Линейный алгоритм 1. Объясни, что будет напечатано программой Код Pascal Program e1; Var...

Алгоритмическая структура «цикл». Что напечатает программа?
1. Объяснить, что будет напечатано программой Program e1; Var x: byte; Begin For x:=1 to 5 do...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
40
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2019, vBulletin Solutions, Inc.
Рейтинг@Mail.ru