Спасибо. В общем понятно

К сожалению не могу в нормальном качестве выложить

Здравствуйте.
Появилось немного времени(скоро предстоит одно событие, потому сейчас в основном занимаюсь математикой, не думайте что я ленюсь и так долго это изучаю), и я продолжил читать. Подскажите пожалуйста по некоторым вопросам

1.
©ISO/IEC ISO/IEC 9899:201x 6.2.5 19The void type comprises an empty set of values; it is an incomplete object type that
cannot be completed
Перевёл так: тип void представляет собой пустое множество элементов. Далее я не смогу получить логически связное предложение.
2.
©ISO/IEC ISO/IEC 9899:201x 6.2.5 20An array type describes a contiguously allocated nonempty set of objects with a
particular member object type, called the element type. The element type shall be
complete whenever the array type is specified. Array types are characterized by their
element type and by the number of elements in the array. An array type is said to be
derived from its element type, and if its element type is T, the array type is sometimes
called ‘‘array of T’’. The construction of an array type from an element type is called
‘‘array type derivation’’.

2.1 Red
"Тип элементов массива должен быть завершённым при указании типа массива. " Кажется я понял. Словосочетание "завершённый тип элемента" связано с
Anatoly Moskovsky



Понял когда писал :) Правильно ?

Вероятно при объявлении массива где-то должна сохраняться информация о массиве, чтобы знать сколько выделять памяти на каждый элемент.
2.2 Blue
Эта информация хранится где-нибудь ? (провожу аналогию с системными таблицами СУБД). Впрочем выше я уже это спросил.
2.3. Green
Как правильно перевести ?

3.
©ISO/IEC ISO/IEC 9899:201x 6.2.5 20A structure type describes a sequentially allocated nonempty set of member objects
(and, in certain circumstances, an incomplete array), each of which has an optionally
specified name and possibly distinct type.
— A union type describes an overlapping nonempty set of member objects, each of
which has an optionally specified name and possibly distinct type.

3.1 Не каждый из членов структуры должен иметь имя ?
3.2 red Говорят о том что структура может быть иногда, в некотором смысле, массивом ?

Подумал, допустим:


В данном случае, array[100], по функционалу будет отличаться от int a[100]?

4.Вообще, в более широком смысле, можно утверждать что массив массивов есть частный случай массива структур. А можно ли сказать, что массив есть частный случай структуры ?

C union type не очень понятно, надо поработать с ними сначала. Но что в данном контексте значит overlapping ?

SSВообще, в более широком смысле, можно утверждать что массив массивов есть частный случай массива структур. А можно ли сказать, что массив есть частный случай структуры ?
наверное можно всё-же

Спасибо, в целом я понял.

Anatoly Moskovsky В конце структуры допускается указание массива без размера, который будет в памяти физически расположен за структурой, а его размер будет вычисляться самой программой в рантайме, а не компилятором при объявлении.

Подумал, где это может использоваться. Например для хранения набора символов неизвестной заранее мощности, возможно 1 символ, возможно 10^10 ?
Но тогда "места за структурой" может не хватить, должно быть какое-то ограничение на размер этого массива. Или я не так понял, и хранится указатель на начало массива неизвестной мощности ? Даже если сначала будет посчитан размер, и только потом выделена память на всё, запрашиваемый размер может быть слишком велик.

Здравствуйте.
Продолжил дальше. Думал про функции, но чёткой картины не сложилось. Подскажите пожалуйста

©ISO/IEC ISO/IEC 9899:201x 6.2.5 20— A function type describes a function with specified return type. A function type is
characterized by its return type and the number and types of its parameters. A
function type is said to be derived from its return type, and if its return type is T, the
function type is sometimes called ‘‘function returning T’’. The construction of a
function type from a return type is called ‘‘function type derivation’’.
— A pointer type may be derived from a function type or an object type, called the
referenced type. A pointer type describes an object whose value provides a reference
to an entity of the referenced type. A pointer type derived from the referenced type T
is sometimes called ‘‘pointer to T’’. The construction of a pointer type from a
referenced type is called ‘‘pointer type derivation’’. A pointer type is a complete
object type.


А. Первое выделение я понял как: Тип указатель может быть получен из типа функции или из object type, называемого ссылочным типом.
Но мне кажется что я неправильно перевёл, или не правильно понял. Что хотят сказать ?
Б."T type derivation" встречаю не первый раз, подскажи как правильно переводить ?

В. Ну и самое главное, про функции. Где можно прочитать про то как работает функция ? я написал пример:


Посмотрел ассемблерный код. Вот что я увидел:
01. Перед вызовом функции выполняется операция push столько раз, сколько у нас аргументов, то есть в стек помещаются аргументы функции
02. Выполняется операции call f(smth_MemoryAddress)
03. происходит операция add esp,8, изменяется адрес стека на вес параметров функции помещённых в стек ?

Вот что я предполагаю:
В.1. f- возможно, имеет схожий смысл с именем массива.


То есть я делаю вывод что f что-то схожее с константным указателем(только его нельзя прочитать как например *f). Возможно я сильно не прав.
В.2. call, программа начинает выполнять инструкции расположенные с адреса smth_MemoryAddress до того как не встретит инструкцию ret.
В.3 А как функция получила входные параметры ? Видимо первые строчки кода функции буду обращаться к вершине стека eax ?(rасм код функции я не нашёл.) А как функция узнает сколько значений ей нужно читать с вершины стека ?
В.4 Куда будет записан результат ? В вершину стека ?
В.5 Параметры ранее помещённые в стек дальше будут затираться ? Они уже не нужны ?

Спасибо.
White Owl SashaMercury В.4 Куда будет записан результат ? В вершину стека ? В одном из регистров процессора. В x86 это будет в [?]AX, в MIPS'ах $v0.

1.то есть фраза - "функция возвращает значение", несёт в себе смысл "функция записывает значение в выделенный(или в один из выделенных) регистр(ов) процессора" ?

2.


кусок кода на который ссылается константный указатель f отработает, и запишет результат в регистр ax. Далее в переменную a будет записан результат из этого регистра.


Кусок кода на который ссылается f отработает, и запишет результат в ax ?
2.1 Как мне прочитать что туда записала функция, если я не сделаю это сразу ?
2.2 Если ниже я выполню:


куда будет записан результат ?

2.3Вообще, как-то отмечается что возвращённое значение уже использовано(прочитано из регистра) ?
2.4 Функция явно(на уровне регистров), может возвращать (записывать в регистр) только одно значение ? Или она может записывать в два регистра, fe.
2.5 Если это так(2.4), то во всех языках программирования, при спуске на уровень регистров, мы увидим что функция возвращает только одно значение ?

ps понимаю про неявный возврат через указатель(на начало строки например)

Anatoly Moskovsky Стандарт ничего про регистры и стек не говорит.
Так что это зависит от платформы.
На многих платформах например параметры часто передаются не через стек, а через регистры.
Точно так же возвращаемое значение может передаваться через стек (хотя обычно используется регистр).

Как тогда с точки зрения С понимать фразу "функция возвращает значение" ?

Anatoly Moskovsky Тип void ведет себя как неполный, т.е. имеет те же ограничения (неизвестен размер, объявлять можно только указатель ..). При этом его нельзя сделать полным, т.е. это его изначальное и окончательное состояние.

если я напишу
авторvoid smth_f()
{...}

f(...)


1.Никакого значения никуда записано не будет по выходу из функции ?
2.



и




аналогичны ?