Работа со структурами

@fominov · Регистрация: 04.06.2013

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

Только изучаю С++ (раньше довольно неплохо программил на Делфи) и столкнулся с вопросом.
Допустим есть две структуры:

C++

struct ABC_CONT_STATE
    {                          
        BYTE Symb, Fr;                  
        struct ABC_CONT* Successor;
    } _PACK_ATTR;                   
 
 
static struct ABC_CONT
{                 
    BYTE NmStat, Flag;                   
    WORD SummFreq;                         
    struct ABC_CONT_STATE *Stat;
    struct ABC_CONT* Sufix;                    
} _PACK_ATTR* MaxContext;
 
struct ABC_CONT_STATE * p;

Что означает следующее обращение к переменной "р":

C++

1	p[0].Fr = p[-1].Fr;

И заодно непонятно, что означает инкремент этой переменной:

C++

1	(++p)->Fr; // увеличение на единицу элемента Fr?

или

C++

1	p++; // А тут что увеличивается на единицу, все элементы?

Заранее всем спасибо.

@fominov · 05.06.2013, 00:46 **[ТС]**

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

В общем случае, если p - это адрес (указатель или имя массива), то p[i] - содержимое по этому адресу со смещением i.

Вот я так и думал. Но тогда давайте ещё раз проясним на моём примере. Итак есть указатель *р на структуру ABC_CONT_STATE. Получается p[0] - это грубо говоря указатель на параметр Symb этой структуры, а р[1] - это грубо говоря указатель на параметр Fr.

Правильно я понял?

alsav22 · 05.06.2013, 01:15

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

Правильно я понял?

Нет. Грубо говоря, указатель - это адрес. Есть указатель на структуру ABC_CONT_STATE - p (адрес в памяти). Что в этой памяти из кода не видно. Может быть всё что угодно, но указатель будет вести себя, как указатель на структуру ABC_CONT_STATE. Т.е., если сделать ++p, то арес p станет больше на размер структуры ABC_CONT_STATE.

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

Получается p[0] - это грубо говоря указатель на параметр Symb этой структуры, а р[1] - это грубо говоря указатель на параметр Fr.

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

В общем случае, если p - это адрес (указатель или имя массива), то p[i] - содержимое по этому адресу со смещением i.

Так как указатель p - это указатель на структуру, то смещение i будет равно размеру структуры. Тогда: p[0] - содержимое по адресу p cо смещением 0, р[1] - содержимое по адресу p cо смещением 1 (по адресу p + размер структуры в байтах).

Добавлено через 5 минут
Если p - это адрес начала массива структур, то p[0] - это первая структура, p[1] - вторая и т.д.

Добавлено через 5 минут
p[0].Symb - поле Symb первой структуры, p[0].Fr - поле Fr первой структуры, p[1].Symb - поле Symb второй структуры, p[1].Fr - поле Fr второй структуры,

@fominov · 05.06.2013, 10:06 **[ТС]**

Спасибо. Очень толково разжёванный ответ. Вы мне очень помогли.
Мне теперь осталось разобраться с р[-1], но тут наверное чисто опытным путём. Интересно, на Делфи это как бы выглядело...?

alsav22 · 05.06.2013, 10:37

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

Мне теперь осталось разобраться с р[-1]

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

а это готовый код из одного алгоритма шифрования. И он работает

Разобраться как работает код? При таком обращении (p[-1]) важно знать, что в памяти находится перед структурой ABC_CONT_STATE, не думаю, что для алгоритма шифрования, всё равно, что там лежит. Перед объявлением ABC_CONT_STATE ещё что-то объявлялось?

@fominov · 05.06.2013, 11:34 **[ТС]**

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

Перед объявлением ABC_CONT_STATE ещё что-то объявлялось?

Разве что директива #pragma pack(1)
А в функции переменная определена так:

C++

void ABC_CONT_res(struct ABC_CONT *curr)
{
    UINT OldNU, Adder, EscFreq, i=curr->NumStat;
    struct ABC_CONT_STATE tmp, * p1, * p;

А потом идёт условный переход:

C++

1 2	if (p[0].Freq > p[-1].Freq) {...}

alsav22 · 05.06.2013, 11:58

Из этих кусков ничего не понять. Вот здесь:

C++

1
2
3

...
struct ABC_CONT_STATE tmp, *p1, *p;
...

объявлены структура и два указателя на структуру, но указатели не привязаны ни к каким адресам (в них мусор). Дальше с ними какие-то действия:

C++

1 2	...if (p[0].Freq > p[-1].Freq) ...

Чего-то явно не хватает.

@fominov · 05.06.2013, 12:38 **[ТС]**

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

объявлены структура и два указателя на структуру, но указатели не привязаны ни к каким адресам (в них мусор).

Привязка это я так понимаю следующий код:

C++

p1=curr;
...
(p=pc->Stat)->Symb;
{...}
p++;

и потом, то, что я уже писал:

C++

1	if (p[0].Fr >= p[-1].Fr)

{

alsav22 · 05.06.2013, 12:51

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

(p=pc->Stat)->Symb;

pc?

@fominov · 05.06.2013, 13:00 **[ТС]**

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

pc?

Нет, ошибка.

C++

1	(p=р1->Stat)->Symb;

alsav22 · 05.06.2013, 13:13

Тогда нужно знать с каким адресом связан указатель Stat в структуре, которая передаётся в функцию. Странный код. Откуда взяли? Вот эту строку:

C++

1	(p=р1->Stat)->Symb;

можно записать так:

C++

1	p=р1->Stat;

и будет то же самое. Вопрос из первого поста:

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

И заодно непонятно, что означает инкремент этой переменной:

C++

1	(++p)->Fr; // увеличение на единицу элемента Fr?

Это можно записать так:

C++

++p;

То же самое. Зачем здесь добавляется доступ к полям, с которыми потом ничего не делается, непонятно.

@fominov · 05.06.2013, 15:12 **[ТС]**

Для закрепления материала. Попробую под Вашим чутким руководством перевести структуру с С++ в Delphi
Итак, исходная структура:

C++

struct ABC_CONT_STATE
    {                          
        BYTE Symb, Fr;                  
        struct ABC_CONT* Successor;
    } _PACK_ATTR;                   
 
 
static struct ABC_CONT
{                 
    BYTE NmStat, Flag;                   
    WORD SummFreq;                         
    struct ABC_CONT_STATE *Stat;
    struct ABC_CONT* Sufix;                    
} _PACK_ATTR* MaxContext;

Теперь результат на Delphi:

Pascal

type
PABC_CONT = ^ABC_CONT;
PABC_CONT_STATE = ^ABC_CONT_STATE;
 
ABC_CONT = packed record
  NumStat: BYTE;
  Flag: BYTE;
  SummFreq: WORD;
  Stat: PABC_CONT_STATE;
  Sufix: PABC_CONT;  
end;
TABC_CONT = ABC_CONT;
 
ABC_CONT_STATE = packed record
Symbol: BYTE; 
Freq: BYTE; 
Successor: PABC_CONT; 
end;
TABC_CONT_STATE = ABC_CONT_STATE;

В этом всё меня смущает расположение оператора "*". Почему здесь звёздочка возле названия структуры,

C++

1
2
3

...
struct ABC_CONT* Successor; 
...

а вот здесь звёздочка возле названия переменной?

C++

1
2
3

...
ABC_CONT_STATE *Stat; 
...

На дельфи это будет так:

Pascal

1 2	Successor: PABC_CONT; Stat: PABC_CONT_STATE;

или так:

Pascal

1 2	Successor: PABC_CONT; Stat: ^ABC_CONT_STATE;

alsav22 · 05.06.2013, 15:35

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

В этом всё меня смущает расположение оператора "*".

Ни на что не влияет, хоть посередине. Кому как нравится. Но код странный.

@fominov · 06.06.2013, 12:25 **[ТС]**

Ещё небольшой вопрос по структурам. Допустим объявлены переменные:

C++

1	ABC_CONT Stat, curr;

Затем идёт такое арифметическое действие

C++

1 2	Stat->NmStat=curr->NmStat+(curr->SummFreq > 11(curr->NmStat+1)); curr->NmStat= 2(2*curr->NmStats)+curr->Flag;

Правильно ли я понимаю первую операцию (в синтаксисе Делфи)?

Pascal

1 2	if curr.SummFreq > 11*(curr.NmStat+1) then Stat.NmStat:=curr.NmStat+curr.SummFreq;

А вторая строка в любом случае выполняется или только если

Pascal

1	curr.SummFreq > 11*(curr.NmStat+1)

@Kuzia domovenok · 06.06.2013, 12:31

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

Правильно ли я понимаю первую операцию (в синтаксисе Делфи)?

Нет, конечно! Обе строки выполняются одна за другой. Где ты видишь if ?!
Короче, я смотрю ты даже основ Си не знаешь. Зачем пытаешься мутить что-то с указателями? Бери книгу по Си/Си++ и читай её по-порядку и с самого начала!

@fominov · 06.06.2013, 12:52 **[ТС]**

Я вижу вот это сравнение:

C++

1	curr->SummFreq > 11*(curr->NmStat+1)

поэтому решил, что если есть сравнение, то должна быть конструкция if...then
Иначе что означает знак ">" ?

Я книгу по С++ читал и там где про сравнение, сказано, что знак ">" означает больше?
Что уже что-то поменялось?

@Kuzia domovenok · 06.06.2013, 14:23

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

знак ">" означает больше?

> Это не просто знак, это оператор.
А любой оператор возвращает значение (результат).
Так что почитай ещё раз книжку по С/С++, особенно обращай внимание на операторы.

@SatanaXIII · 06.06.2013, 14:46

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

p - указатель на память, если указать сдвиг -1, то обратится ХЗ куда, не надо так делать (точнее не следует так делать пока не разобрался что к чему)

Сообщение от Kuzia domovenok

Глупости. Если программист знает, что делает. Если p указывает на элемент некоего массива структур и этот элемент не первый, то почему бы не обратиться к p[-1]?

Кстати. При динамическом объявлении массива определенного типа некоторые компиляторы складируют в p[-1] размер этого массива.

@fominov · 06.06.2013, 14:48 **[ТС]**

Почитай, почитай...

Вот и почитайте (MSDN):
Оператор > (Справочник по C#)
Visual Studio 2012
Во всех числовых типах и типах перечислений определен оператор сравнения "больше" (>), который возвращает значение true, если первый операнд больше второго, в противном случае возвращается значение false.

А Вы думаете я не знал, что он возвращает значение (true/false)?

А конструкция if a > b then в случае, ели а > b возвратит не тоже самое true/false? Зачем запутывать меня?
Объясните толком смысл вот этого арифметического выражения:

C++

1	Stat->NmStat=curr->NmStat+(curr->SummFreq > 11*(curr->NmStat+1));

@SatanaXIII · 06.06.2013, 14:52

C++

1	+(curr->SummFreq > 11*(curr->NmStat+1))

==

C++

+1 || +0

alsav22 · 06.06.2013, 16:44

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

Правильно ли я понимаю первую операцию (в синтаксисе Делфи)?

Pascal

1 2	if curr.SummFreq > 11*(curr.NmStat+1) then Stat.NmStat:=curr.NmStat+curr.SummFreq;

fominov, вы форумом не ошиблись? Тут - С++. Я уже писал, что код странный, а вы его ещё пытаетесь на другой язык переводить.

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

А Вы думаете я не знал, что он возвращает значение (true/false)?

Машина оперирует числами (это для нас true/false), поэтому true/false имеют числовое представление.
Вот что стандарт пишет:

Each of the operators < (less than), > (greater than), <= (less than or equal to), and >=
(greater than or equal to) shall yield 1 if the specified relation is true and 0 if it is false)
The result has type int.

@fominov 0 / 0 / 0 Регистрация: 04.06.2013 Сообщений: 24
	05.06.2013, 00:46 [ТС]	21
	Сообщение от alsav22 В общем случае, если p - это адрес (указатель или имя массива), то p[i] - содержимое по этому адресу со смещением i. Вот я так и думал. Но тогда давайте ещё раз проясним на моём примере. Итак есть указатель *р на структуру ABC_CONT_STATE. Получается p[0] - это грубо говоря указатель на параметр Symb этой структуры, а р[1] - это грубо говоря указатель на параметр Fr. Правильно я понял? 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	05.06.2013, 12:51	28
	Сообщение от fominov (p=pc->Stat)->Symb; pc? 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	05.06.2013, 15:35	32
	Сообщение от fominov В этом всё меня смущает расположение оператора "*". Ни на что не влияет, хоть посередине. Кому как нравится. Но код странный. 0

@Kuzia domovenok 4064 / 3318 / 924 Регистрация: 25.03.2012 Сообщений: 12,493 Записей в блоге: 1
	06.06.2013, 14:23	36
	Сообщение от fominov знак ">" означает больше? > Это не просто знак, это оператор. А любой оператор возвращает значение (результат). Так что почитай ещё раз книжку по С/С++, особенно обращай внимание на операторы. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	05.06.2013, 01:15	22
	Сообщение от fominov Правильно я понял? Нет. Грубо говоря, указатель - это адрес. Есть указатель на структуру ABC_CONT_STATE - p (адрес в памяти). Что в этой памяти из кода не видно. Может быть всё что угодно, но указатель будет вести себя, как указатель на структуру ABC_CONT_STATE. Т.е., если сделать ++p, то арес p станет больше на размер структуры ABC_CONT_STATE. Сообщение от fominov Получается p[0] - это грубо говоря указатель на параметр Symb этой структуры, а р[1] - это грубо говоря указатель на параметр Fr. Сообщение от alsav22 В общем случае, если p - это адрес (указатель или имя массива), то p[i] - содержимое по этому адресу со смещением i. Так как указатель p - это указатель на структуру, то смещение i будет равно размеру структуры. Тогда: p[0] - содержимое по адресу p cо смещением 0, р[1] - содержимое по адресу p cо смещением 1 (по адресу p + размер структуры в байтах). Добавлено через 5 минут Если p - это адрес начала массива структур, то p[0] - это первая структура, p[1] - вторая и т.д. Добавлено через 5 минут p[0].Symb - поле Symb первой структуры, p[0].Fr - поле Fr первой структуры, p[1].Symb - поле Symb второй структуры, p[1].Fr - поле Fr второй структуры, 1

@fominov 0 / 0 / 0 Регистрация: 04.06.2013 Сообщений: 24
	05.06.2013, 10:06 [ТС]	23
	Спасибо. Очень толково разжёванный ответ. Вы мне очень помогли. Мне теперь осталось разобраться с р[-1], но тут наверное чисто опытным путём. Интересно, на Делфи это как бы выглядело...? 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	05.06.2013, 10:37	24
	Сообщение от fominov Мне теперь осталось разобраться с р[-1] Сообщение от fominov а это готовый код из одного алгоритма шифрования. И он работает Разобраться как работает код? При таком обращении (p[-1]) важно знать, что в памяти находится перед структурой ABC_CONT_STATE, не думаю, что для алгоритма шифрования, всё равно, что там лежит. Перед объявлением ABC_CONT_STATE ещё что-то объявлялось? 0

@Kuzia domovenok 4064 / 3318 / 924 Регистрация: 25.03.2012 Сообщений: 12,493 Записей в блоге: 1
	06.06.2013, 12:31	34
	Сообщение от fominov Правильно ли я понимаю первую операцию (в синтаксисе Делфи)? Нет, конечно! Обе строки выполняются одна за другой. Где ты видишь if ?! Короче, я смотрю ты даже основ Си не знаешь. Зачем пытаешься мутить что-то с указателями? Бери книгу по Си/Си++ и читай её по-порядку и с самого начала! 0

@SatanaXIII Почетный модератор 5850 / 2861 / 392 Регистрация: 01.11.2011 Сообщений: 6,907
	06.06.2013, 14:46	37
	Сообщение от Kojt p - указатель на память, если указать сдвиг -1, то обратится ХЗ куда, не надо так делать (точнее не следует так делать пока не разобрался что к чему) Сообщение от Kuzia domovenok Глупости. Если программист знает, что делает. Если p указывает на элемент некоего массива структур и этот элемент не первый, то почему бы не обратиться к p[-1]? Кстати. При динамическом объявлении массива определенного типа некоторые компиляторы складируют в p[-1] размер этого массива. 0