Перечитывая книжку классиков по программированию на языке С, обнаружил, что они возвращают из функции целую структуру. Конкретно, структуру из двух координат точки. Как это (возможно)?
У Шилдта этот вопрос вежливо замалчивается...

Компилатор формирует при вызове функции место в стеке и передает адрес на эту область в функцию. В самой функции структура - локальная переменная (в стеке). Для возвращения структуры компилятор копирует поля локальной структуры по тому адресу, который предоставила функция. По сути у функции есть еще один "невидимый" входной параметр - адрес для возврата.

Тогда это должно называться возврат указателя на структуру.

А вы дерзкий! Я бы не решился возвращать из функции указатель на локальную переменную )

А никто так и не делает. Возвращают данные, которые компилятор неявно копирует из локальной переменной в lvalue, указатель на который также неявно передается в ф-цию. То есть, возвращаются только данные.

Ничего не понимаю. То, что передается в функцию, не имеет отношения к тому, что выдается. Именно так показано в примерах в книге K&R. Давайте ограничимся возвратом.
Указатель на локальную переменную выдавать не будем. Будем выдавать указатель на глобальную структуру. Хотя, зачем его выдавать, можно просто флаг готовности результата выдать.
Если можно выдать структуру, то почему нельзя выдать аналогичным образом массив?

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

Можно. Для этого он должен быть внутри структуры, которая может быть из одного массива.

А аналогичным образом нельзя потому, что массив есть указатель на кусок предвыделенной на этапе компиляции памяти. А структура - есть сам набор данных, а не указатель на него. Поэтому "return <массив>" - ошибочен, так как получается требование возврата указателя, возможно на локальный буфер, время жизни которого кончается с выходом из ф-ции. А "return <структура>" - корректно, так как это требования возврата самих данных, хранящихся в структуре, а не указателя на структуру. Поэтому присваивания и возвраты массивов изначально не предусмотрены, а структур - пожалуйста.

Вас же не смущает возврат, например, целого числа. Почему вас смущает возврат структуры?

Кто же им (K&R) мешал сделать структуры и массивы одинаковыми в смысле обращения к ним - или адрес, или агрегатный тип данных?
Допустим, получили результат функции - структуру. Единственное, что приходит на ум - сохранить ее в своей (локальной, глобальной) переменной - структуре. И потом использовать ее отдельные члены. К чему вся эта чехарда?


Число или указатель передается одним регистром.

Ну вот именно так они и сделали! Оператор "return" сохраняет ее в этой самой, (локальной, глобальной) переменной. Что не нравится-то?


Ни в одном стандарте С нет понятия регистров, и вообще, каких либо требований к реализации на каких либо архитектурах. Так что, это высказывание совершенно некорректно. А вдруг у процессора вообще регистров нет, к примеру, только стек, и все?

А если число "шире", чем регистр. Например, long long int? Или вообще double?

Будем считать что я осознал и раскаялся... (хотя разницу с массивом считаю надуманной)

Вот что пишут в Procedure Call Standard for the ARM Architecture.

5.4 Result Return
The manner in which a result is returned from a function is determined by the type of that result.
For the base standard:
 A Half-precision Floating Point Type is converted to single precision and returned in r0.
 A Fundamental Data Type that is smaller than 4 bytes is zero- or sign-extended to a word and returned in r0.
 A word-sized Fundamental Data Type (e.g., int, float) is returned in r0.
 A double-word sized Fundamental Data Type (e.g., long long, double and 64-bit containerized vectors) is
returned in r0 and r1.
 A 128-bit containerized vector is returned in r0-r3.
 A Composite Type not larger than 4 bytes is returned in r0. The format is as if the result had been stored in
memory at a word-aligned address and then loaded into r0 with an LDR instruction. Any bits in r0 that lie
outside the bounds of the result have unspecified values.
 A Composite Type larger than 4 bytes, or whose size cannot be determined statically by both caller and
callee, is stored in memory at an address passed as an extra argument when the function was called (§5.5,
rule A.4). The memory to be used for the result may be modified at any point during the function call.


Чтобы использовать структуру, выданную из функции, ее нужно вручную присвоить своей.
Я же не могу выполнить, например, следующее:
myStruct.a = func(...).a;

А сначала
myStruct = func(...);
потом работать с членами myStruct.
Или при возврате структура останется в тех же регистрах, и будет считаться уже myStruct?

Да они поначалу так и собирались делать, т.е. неуклонно следовать правилу: передача параметров (и возврат) производится по значению.
Но потом подумали и сделали "для удобства" исключение для массивов.

И теперь имя массива обозначает собой не сами данные, лежащие в памяти, как следовало бы из логики языка, а указатель на них.
В результате теперь массивы передаются фактически по ссылке, а на вопрос почему следует ответ "так исторически сложилось".

Фортран, кстати, придерживается диаметрально противоположной стратегии, там все параметры передаются по ссылке. Так что даже для передачи константы приходится завести для неё где-то в памяти ячейку и передавать в функцию её адрес.

Это Вас кто-то жестко обманул. Можете.

myStruct.a = (func(...)).a;

Не смотрел в листинг, но сомневаюсь что компилятор что-то передаёт неявно в функцию (кроме указателя this член-функциям), так как соглашения вызова расписаны и там нет предусмотрено это. Да и незачем.
Если функция возвращает структуру, то она "сама об этом знает". И она знает, что вызывающая функция позаботилась о месте в стеке, и просто вычисляет адрес, исходя из SP в точке входа в функцию. Думаю так.
Вообще - это дефолтный способ передачи и возврата параметров в функцию - через стек. И только оптимизатор заменяет стек на входе и выходе функции на регистры (если может и это не запрещено опциями).
Так что компилятор в точке вызова функции по дефолту должен сперва сформировать стековый фрейм для возвращаемого значения (вне зависимости от его типа), а потом поместить в него входные аргументы вызова.

И ещё замечание: насколько я знаю, некоторые компиляторы (согласно соглашениям вызова) могут возвращать не в одном регистре, а в паре. Т.е. в IAR for ARM - если возвращаемое значение - long long, то используется
регистровая пара R0:R1, а не стек. То же самое и для структур - если размер структуры влезает в одну регистровую пару, то она будет возвращена через регистры (один R0 или пару R0:R1), а не через стек.

Вроде так.

Вот неверующих-то развелось Вообще-то, это в документации на ABI прописано. Вот пример:



а вот фрагмент вызова ф-ции:



push eax - педерача параметра "a"
lea и push ecx - неявная передача указателя на область стека для возврата структуры
затем вызов функции, и копирование результата в статическую переменную.

А вот если бы структура состояла бы из двух int, а не трех - то все бы упростилось. Оба поля вернулись бы в edx:eax без стека и неявных указателей.

В компиляторе VC 2005 в функцию передается на регистре адрес зарезервированный области. Возможно, в более поздних версиях и других компиляторах этого нет.

Везде есть. Совместимость то по ABI у них полная.

Спасыб!

Компилятор ничего подобного не делает, и никаких "неявных адресов возврата" в функцию не передается.

Функция находит свои параметры, локальные переменные и результат относительно указателя стека.



Какой еще зарезервироавнной области? Что вы такое говорите? "С" calling convention никто не отменял и компилятор того что вы говорите просто не может делать. Я думаю вы неправильно поняли листинг.

Ох уж эти сказочники 'Не может, не может', еще и "С" calling convention сюда приплели
Вот, выдержка из вашего любимого calling conversion (прямо с сайта MS)