Массивы в Лиспе

Там все передается по ссылке, за исключением элементарных значений. Как в Java, в общем.

О, спасибо.

> Там все передается по ссылке, за исключением элементарных значений. Как в Java, в общем.

и как в перле

И как в большинстве динамических языков.

Да и вообще как в большинстве языков. Я вот сходу не припомню языка, в котором массивы передаются по копии.

> Я вот сходу не припомню языка, в котором массивы передаются по копии.

Пых.

> и как в перле В Perl нужно руками эту ссылку создавать, иначе все переданные массивы и хеши будут "сплющены" (flattened) в общий массив @_.

> Я вот сходу не припомню языка, в котором массивы передаются по копии.

Паскаль

Ну, при желании, наступить на грабли можно везде :)

void gimmethecopy(vector copy);

Java - строгий pass by value.

http://javadude.com/articles/passbyvalue.htm

ИМХО, лукавство.

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

Когда мы говорим, что что-то передается по значению, по ссылке или по указателю, мы имеем в виду это "что-то", то есть сам объект. А не указатель. Если следовать логике этой статьи, то в языке C++ все передается по значению. А если мы где-то поставили & или *, то мы всего лишь передаем указатель по значению.

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

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

>Java - строгий pass by value.

>http://javadude.com/articles/passbyvalue.htm

Только для всех непримитивных типов както например массивы - by value ссылки.

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

В терминологии С++ однако ссылка всегда указывает на один и тот же объект, всегда инициализируется при объявлении и не может быть null.

> В терминологии С++ однако ссылка всегда указывает на один и тот же объект

некорректно. Если ссылка это аргумент функции, то может на разные объекты указывать.

В терминологии С++ ссылка это константная ссылка в терминологии, использованной мной. В D все эти отличия хорошо видны, т.к. там есть и то и другое и третье.