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

Evg · Регистрация: 30.03.2009

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

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

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: подправлен пример

@ForEveR · 28.11.2011, 19:24

taras atavin, Чего-чего? Не того курнули?

@taras atavin · 28.11.2011, 19:25

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

Не того курнули?

Я не курю.

@Nameless One · 28.11.2011, 19:26

...

в данном случае struct MyStruct* p и MyStruct* p - это будут разные вещи.
struct MyStruct* p - объявление указателя на неизвестную структуру. При попытке компиляции будет ошибка, т.к. размер этой структуры неизвестен.
вот такие у меня пока догадки

go · 28.11.2011, 19:26

Сообщение от taras atavin

++ для указателя смещает на размер данного, а не самого указателя.

И у него был раньше указатель на указатель
Пройдите по приведенной ссылке, и прочтите внимательно оригинальный пример

Evg · 28.11.2011, 19:27 **[ТС]**

Сообщение от Сыроежка

Вы бы сами воспользовалист своим советом или на крайний случай попробовали бы откомплировать этот код в С++. Не помешает!

Для особых гениев в начале русским языком написано "Возьмём пример на языке Си". И даже до кучи вопрос задан, а что будет на Си++

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

А вы пробовали компилировать? Не уверен, но тогда верно было, вот сейчас лучше было бы написать (явно привести к типу)

Господи, ну почему же я в первый раз линшюю звёздочку нарисовал

Неужто никто никогда не слышал про задачи с подъ$пкой. Особенно в разделе "Для начинающих". Особенно для тех, кто хочет подумать, почему получилось так, а не эдак

Evg · 28.11.2011, 19:27 **[ТС]**

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

Пройдите по приведенной ссылке, и прочтите внимательно оригинальный пример

В оригинальном примере уже убрали косяк

@ForEveR · 28.11.2011, 19:27

taras atavin, Согласен. Мой косяк. Извиняюсь.

Evg · 28.11.2011, 19:29 **[ТС]**

Nameless One, начало правильное (как и было уже озвучено в одном из первых постов). А вот продолжение - нет

go · 28.11.2011, 19:38

Сообщение от 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;

@Сыроежка · 28.11.2011, 19:42

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

Для особых гениев в начале русским языком написано "Возьмём пример на языке Си". И даже до кучи вопрос задан, а что будет на Си++

А что С? Имеются имена tag-ов структур и имеются имена, определенные с помощью typedef. В С они расположены в разных пространствах имен!
Поэтому было бы очень любопытно, если бы сы привели цитату из стандарта, обосновывающую ваше утверждение. А так лишь слова, слова, слова,, Причем много слов и не по делу!

@easybudda · 28.11.2011, 20:05

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, а в чём прикол-то?

Evg · 28.11.2011, 20:46 **[ТС]**

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

одна и та же беда - неправильное объявление

И что пишет компилятор Си на это?

Добавлено через 1 минуту

Сообщение от Сыроежка

если бы сы привели цитату из стандарта, обосновывающую ваше утверждение

Какое утверждение?

Добавлено через 3 минуты

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

Честно говоря, запутался, какой там из примеров правильный, какой не

Оба правильные (после того, как самый первый пост подхачили модераторы)

@easybudda · 28.11.2011, 21:02

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

И что пишет компилятор Си на это?

А ничего не пишет. По сути после

C
1
2
3
4
typedef struct
{
  int x, y;
} MyStruct;

строка

C
1
typedef struct MyStruct* MyStructPtr;

объявляет тип указателя на необъявленную структуру с тегом MyStruct. Тег структуры и имя типа - абсолютно разные вещи. NULL, на сколько я знаю, можно присвоить любому указателю, да и указатели можно объявлять на ещё не объявленый тип, а вот для адресной арифметики уже размер типа данных нужен. По этому, если раскомментировать ++ptr (или как там у вас), выдаст вполне объяснимую ошибку при компиляции.

Evg · 28.11.2011, 21:20 **[ТС]**

Как оно на самом деле

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

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". На этом свойстве основан первый пример из поста https://www.cyberforum.ru/cpp-... post889587 - будучи скормленным компилятору Си и Си++ он выдаст разные результаты.

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

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

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

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

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

А зачем это нужно

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

Добавлено через 39 секунд

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

А ничего не пишет

Значит тест корректный

@Bers · 28.11.2011, 21:43

Объясните пожалуйста:

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 непонятен.

Evg · 28.11.2011, 21:45 **[ТС]**

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

Пример из поста #35 непонятен

Это не предварительное описание типа, а использование существующего (который в самой первой строке описан)

@Bers · 28.11.2011, 21:47

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

Это не предварительное описание типа, а использование существующего (который в самой первой строке описан)

Насколько я знаю, struct или class используются только при декларации нового типа.

go · 28.11.2011, 21:47

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

struct MyStruct{ int x, y; };
int main()
{
* * *struct MyStruct *p; *//что это?

А вы не заметили, что язык Си, а не С++

@Bers · 28.11.2011, 21:49

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

А вы не заметили, что язык Си, а не С++

Я даже знаю, что Евгений очень опытный сишник, а не приплюснутый. И что?
Мой вопрос касается с++

Evg · 28.11.2011, 21:51 **[ТС]**

Сообщение от 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"

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

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

Решение

Решение

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	28.11.2011, 19:24
	taras atavin, Чего-чего? Не того курнули? 1

@Nameless One 5828 / 3479 / 358 Регистрация: 08.02.2010 Сообщений: 7,448
	28.11.2011, 19:26
	... в данном случае struct MyStruct* p и MyStruct* p - это будут разные вещи. struct MyStruct* p - объявление указателя на неизвестную структуру. При попытке компиляции будет ошибка, т.к. размер этой структуры неизвестен. вот такие у меня пока догадки 0

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	28.11.2011, 19:27
	taras atavin, Согласен. Мой косяк. Извиняюсь. 0

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	28.11.2011, 19:29 [ТС]
	Nameless One, начало правильное (как и было уже озвучено в одном из первых постов). А вот продолжение - нет 0