Почему в языкастых книгах не рассмотрена такая возможность?

[taras-proger]

Есть передача параметра по значению и по указателю. С передачей по указателю всё ясно: где бы ни валялась сама переменная, её можно изменить. Передача по значению в том виде, как это реализовано в действительности, не позволяет вызываемому коду менять значение самой переменной, так как вызываемый код получает лишь копию переменной, или константы, и не "знает", где она валяется. Но почему не рассмотреть третью возможность? Можно ведь передать по значению, потом вызываемый код с полученной копией что то сделает, а потом можно эту копию скопировать назад, что приведёт к изменению самой переменной. Реализовывать этот способ передачи изменяемых параметров не следует. Но он ведь возможен, так как вызывающий код "знает", откуда он копировал параметр. Почему же в книгах его обходят полным молчанием? Например, у Шилдта, в "базовом курсе с++" прямо сказано, что способов передачи параметра два: по значению и по неявному указателю. Почему то забыто даже то, что из текста предшествующих глав той же книги ясно, что можно передать и по явному указателю. А передача по значению с обратным копированием даже не упомянута. Я понимаю, что чем гонять изменяемый параметр через стек да ещё в обе стороны, проще и эффективней передать адрес и менять значения прямо по месту. Но ведь можно же. Почему же эта возможность не рассмотрена даже в обзорном абзаце со словом "может"?

[p51x]

Можно ведь передать по значению, потом вызываемый код с полученной копией что то сделает, а потом можно эту копию скопировать назад, что приведёт к изменению самой переменной.

Вы про передачу по ссылке или про a = func(a)?

[Utkin]

procedure X(var y);
Забудьте уже о ссылках и указателях. Весь цивилизованный мир постепенно переходит на более высокоуровневые механизмы.

[Smitt&Wesson]

Сообщение от taras-proger

Есть передача параметра по значению и по указателю. С передачей по указателю всё ясно: где бы ни валялась сама переменная, её можно изменить. Передача по значению в том виде, как это реализовано в действительности, не позволяет вызываемому коду менять значение самой переменной, так как вызываемый код получает лишь копию переменной, или константы, и не "знает", где она валяется. Но почему не рассмотреть третью возможность? Можно ведь передать по значению, потом вызываемый код с полученной копией что то сделает, а потом можно эту копию скопировать назад, что приведёт к изменению самой переменной. Реализовывать этот способ передачи изменяемых параметров не следует. Но он ведь возможен, так как вызывающий код "знает", откуда он копировал параметр. Почему же в книгах его обходят полным молчанием? Например, у Страуструпа, в "базовом курсе с++" прямо сказано, что способов передачи параметра два: по значению и по неявному указателю. Почему то забыто даже то, что из текста предшествующих глав той же книги ясно, что можно передать и по явному указателю. А передача по значению с обратным копированием даже не упомянута. Я понимаю, что чем гонять изменяемый параметр через стек да ещё в обе стороны, проще и эффективней передать адрес и менять значения прямо по месту. Но ведь можно же. Почем же эта возможность не рассмотрена даже в обзорном абзаце?

Таакк.У тебя - депрессия. Попей водочки. Ну, морду кому нибудь набей (или теде набьют) Как получится.

[taras-proger]

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

Вы про передачу по ссылке или про a = func(a)?

Нет. Речь о передаче по значению но с обратным копированием, фрагменте исходника, компилируемом из

swap (x,y);

в

MOV EBX, [DWORD PTR]@x
MOV ECX, [DWORD PTR]@y
PUSH EBX
PUSH ECX
CALL SWAP
POP ECX
POP EBX
MOV [DWORD PTR]@y, ECX
MOV [DWORD PTR]@x, EBX

. Обратите внимание: здесь за извлечение изменённых параметров из стека и копирование их в переменные отвечает вызывающий код, но это именно параметры, а не значение функции.

Сообщение от Smitt&Wesson

Таакк.У тебя - депрессия. Попей водочки. Ну, морду кому нибудь набей (или теде набьют) Как получится.

А вот свои болячки другим не красиво приписывать. Кстати, я уже исправил "Страуструпа" на "Шилдта". И не берите пример с Ольги Лосоноговой.

[Пепел Феникса]

так swap это исключение же.(да и странный асм код вышел, это какой компилятор?)

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


---------Добавлено
хотя судя по всему это cdecl, с учетом знания компилятора о типах данных, и вместо ссылок он решил применить это.
но смысл все равно в том что это аналогично копированию по ссылке, просто оптимизация для короткого типа.
--------Добавлено
+ swap шаблонная.

[taras-proger]

Сообщение от Пепел Феникса

да и странный асм код вышел,

Просто он соответствует странному способу передачи изменяемого параметра.

Сообщение от Пепел Феникса

это какой компилятор?)

Это вообще-то вручную написано, такого компилятора нет и при вменяемых программистах-инструментальщиках не будет. Вопрос в том, почему в языкастых книгах для новичков не рассказано, что это в принципе возможно, но так делать не надо и почему именно так делать не надо.

[f.hump]

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

procedure X(var y);
Забудьте уже о ссылках и указателях. Весь цивилизованный мир постепенно переходит на более высокоуровневые механизмы.

это про какие механизмы речь идет, если не секрет?



....
не пониманию как из приведенного асм кода может следовать столько волнительного обсуждения. код какой-то бредовый. что делает swap(x, y) неизвестно, по виду понятно только, что swap удовлетворяет соглашению вызова cdecl (вызывающий чистит стек), что тут еще обсуждать непонятно.

Речь о передаче по значению но с обратным копированием

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

кстати, тс, возьми свой swap(x, y) и откомпилируй разными компиляторами, или одним с разными настройками, а потом расскажи про какие еще методы передачи параметров не пишут в "языкастых книгах".

[waleri]

Сообщение от taras-proger

Можно ведь передать по значению, потом вызываемый код с полученной копией что то сделает, а потом можно эту копию скопировать назад

Для этого существуют ссылки (reference), а то, что вы описываете, это детали имплементации. На уровне языка переменная либо изменится, либо нет, как компилятор этого добъется вам не должно быть дела.

Ваш метод страдает одним изъяном - если передавать такой параметр много раз, то каждый раз надо будет данные копировать а данные могут быть сложным классом, который копируется медленно.

[Аватар]

Вопрос в том, почему в языкастых книгах для новичков не рассказано, что это в принципе возможно, но так делать не надо и почему именно так делать не надо.

Ну у Шилдта спросить - почему он, негодяй, не упомянул такой способ. Можно и другие придумать и опять у него спросить