[ViKo 1]

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

У Шилдта этот вопрос вежливо замалчивается...

[Grizzly 0]

Как это (возможно)?

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

[ViKo 1]

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

[Bear_ku 0]

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

[SM 0]

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

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

[ViKo 1]

Ничего не понимаю. То, что передается в функцию, не имеет отношения к тому, что выдается. Именно так показано в примерах в книге K&R. Давайте ограничимся возвратом.

Указатель на локальную переменную выдавать не будем. Будем выдавать указатель на глобальную структуру. Хотя, зачем его выдавать, можно просто флаг готовности результата выдать.

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

[Bear_ku 0]

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

Вообще мой пост был обращен к этому посту.

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

Изменено 9 февраля, 2015 пользователем Bear_ku

[SM 0]

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

 

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

 

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

[andrew_b 14]

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

[ViKo 1]

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

Кто же им (K&R) мешал сделать структуры и массивы одинаковыми в смысле обращения к ним - или адрес, или агрегатный тип данных?

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

 

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

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

[SM 0]

Единственное, что приходит на ум - сохранить ее в своей (локальной, глобальной) переменной - структуре. И потом использовать ее отдельные члены.

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

 

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

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

[andrew_b 14]

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

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

[ViKo 1]

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

 

Вот что пишут в 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.

 

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

Чтобы использовать структуру, выданную из функции, ее нужно вручную присвоить своей.

Я же не могу выполнить, например, следующее:

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

 

А сначала

myStruct = func(...);

потом работать с членами myStruct.

Или при возврате структура останется в тех же регистрах, и будет считаться уже myStruct?

[SSerge 4]

Кто же им (K&R) мешал сделать структуры и массивы одинаковыми в смысле обращения к ним - или адрес, или агрегатный тип данных?

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

Но потом подумали и сделали "для удобства" исключение для массивов.

 

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

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

 

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

[SM 0]

Я же не могу выполнить, например, следующее:

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

 

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

 

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