Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет alamar ([info]alamar)
@ 2009-04-09 03:15:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Программистское
Ведем споры.

Мне очень не нравится термин "передача ссылки по значению", с помощью которого люди пытаются доказать, что в языке Java передача параметров происходит по значению.

Дело в том, что в случае со ссылкой есть только один способ ее передачи: передача ссылки.
Ссылку нельзя передать по ссылке: нет и не может быть такого понятия, как ссылка на ссылку; получится всего лишь указатель на указатель.
Ссылка может указывать только на объект, причём сама ссылка объектом не является.

"Передача ссылки по значению" - это передача ссылки.
"Передача значения по ссылке" - это передача ссылки.
Результат у них одинаков; у них разный вход, но один выход.

"Передача значения", без упомянаний ссылок - это единственный способ передачи значения. Ссылка не является значением! Она, кхм, незначима.

Ну а окончательный вывод, к которому я пришел: что разница кроется нее в способе передачи параметров, а в способе использования значений внутри функции.
Если в языке все значения адресуются через ссылку (как в языке Java, например), то нет смысла говорить о передаче этого значения по ссылке или по значению. Единственный правильный ответ - это call-by-sharing.
Язык, построенный на call-by-sharing, семантически отличается как от кода с передачей по значению, так и от кода с передачей по ссылке. Так что, похоже, оба утверждения некорректны:
Некорректно, что параметры передаются по ссылке, так как они существуют только в виде ссылок и в другом виде существовать не могут.
Некорректно, что параметры передаются по значению, так как у ссылок нет никакого значения кроме того, на что они ссылаются.


(Добавить комментарий)


[info]ketmar
2009-04-10 02:51 (ссылка)
>Ссылку нельзя передать по ссылке: нет и не может быть такого понятия, как ссылка на
>ссылку; получится всего лишь указатель на указатель.

«ссылка» и «указатель» — вещи разные. вот в C, например, есть указатели, но нет ссылок. а в жабе есть ссылки, но нет указателей.

>Если в языке все значения адресуются через ссылку (как в языке Java, например)
*адресуется* всё через ссылку, даже банальная переменная типа int. штука в том, например, что оную «невидимую» ссылку на инт передать никуда нельзя. а на класс — можно. потому нормальные термины: инты передаются именно что byval.

(Ответить) (Ветвь дискуссии)


[info]alamar
2009-04-10 10:04 (ссылка)
"«ссылка» и «указатель» — вещи разные. вот в C, например, есть указатели, но нет ссылок. а в жабе есть ссылки, но нет указателей."
Согласен.
Но мысль не в этом, а в том, что ссылок на ссылок не бывает.
А указатели на указатели - вполне.

"потому нормальные термины: инты передаются именно что byval."
С тем, что инты и прочие примитивы передаются по значению, я нигде и не спорил.
Я ж не упоротый :)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ketmar
2009-04-10 15:41 (ссылка)
>Но мысль не в этом, а в том, что ссылок на ссылок не бывает.
в принципе, бывает, если язык позволяет некоторые типы создать. просто считается, что это не нужно. да и терминологически не уверен в чистоте определения.

>"потому нормальные термины: инты передаются именно что byval."
>С тем, что инты и прочие примитивы передаются по значению, я нигде и не спорил.
>Я ж не упоротый :)

но выглядело, например, для сонного меня очень похоже, что упоротый. %-)

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]alamar
2009-04-10 16:17 (ссылка)
в принципе, бывает, если язык позволяет некоторые типы создать.
Я себе очень слабо представляю
int&& foo;
и его семантику
Обычный человек, не юрист и не задрот, не имеет шансов угадать, как оно работает.

С другой стороны, int **foo всем понятно и невозбранно.

"но выглядело, например, для сонного меня очень похоже, что упоротый. %-)"
Ну не знаю, я каждый раз специально подчеркивал, что речь идет о передаче в качестве параметров объектов.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ketmar
2009-04-10 16:28 (ссылка)
я тоже слабо. но теоретически можно подумать. %-)

(Ответить) (Уровень выше)