Грабельки, грабельки…

[dil]

Делай раз:

Делай два:

Я догадывался, что Германия – это не город. Но если уж вы сами туда кроме городов иногда подставляете страны, так, наверное, и проверять в списке стран тоже надо?

Оригинал этой записи в личном блоге.

Comments

[some41.livejournal.com]

список вообще не передается, передается ссылка :)

[blacklion.livejournal.com]

Это в нормальных языках и называется “передача по ссылке” :)

[some41.livejournal.com]

отнюдь. передачей по ссылке обычно называется передача указателя на свою локальную переменную (e.g. ref и out параметры в C#). тут же значение локальной переменной передано по значению (скопировано), просто само значение -- указатель.

[blacklion.livejournal.com]

Нет, само значение — не указатель. Потому что с ним ничего сделать нельзя. С самим значением. Только с тем, на что оно ссылается.

[some41.livejournal.com]

еще как можно. можно поменять его на другой указатель. те же примеры, переписанные на С++:

f(int* x) { x = new int(5); }

a = new int(1);
f(a);
// *a == int(1)

f(list* l) { l = new list(new int(1)); } // заменяем указатель, значение не меняется

a = new list();
f(a);
// *a == list()

f(list* l) { l->append(new int(1)); } // используем указатель, чтобы поменять значение

a = new list();
f(a);
// *a == list(1)

[blacklion.livejournal.com]

еще как можно. можно поменять его на другой указатель.
Ну да. И всё. Разыменовать нельзя (что бы bit-to-bit Скопировать объект), арифметика адресная не работает…

В общем, я же говорю — это терминологический спор. Для меня это передача ОБЪЕКТА по ссылке потому что УКАЗАТЕЛЬ в питоне собственной ценности не имеет вовсе, а передача ОБЪЕКТА по значению невозможна вовсе.

[some41.livejournal.com]

разыменование автоматическое, скопировать можно (import copy), адресная арифметика для указателя на один объект и в С запрещена (по факту обычно работает, но стандарт говорит undefined behaviour). да и вообще, почему над указателем должны работать операции из С?

назвать можно хоть горшком, факт в том, что в питоне нельзя поменять binding внешней переменной, что является одним из основных назначений call by ref в некоторых языках. т.е. если из функции нужно вернуть несколько значений, с call by ref это делается так:

function foo(arg: type, OUT res2: res2_type): res1_type;

(или res1_type foo(type arg, out res2_type res2);)

res1 = foo(x, res2); // в res2 попадает второй результат

в питоне _так_ сделать нельзя. можно сделать похоже:

additional_results = []
res = foo(x, additional_results) // foo делала append результатов в список

разница, конечно, очень тонкая, но важная.

[blacklion.livejournal.com]

разыменование автоматическое
Как у ссылки (то, что можно переприсвоить — НЕ как у ссылки)

скопировать можно (import copy)
Это клонирование ведь будет, не тупое копирование? Или нет?

да и вообще, почему над указателем должны работать операции из С?
Ну, потому что УКАЗАТЕЛЬ — это по определению адрес в памяти :) А во всяких C#, Python, PErk, JAva & Ko нет УКАЗАТЕЛЕЙ а есть ССЫЛКИ. Которые можно обычно переприсваивать (в отличие от ссылок в C++).

назвать можно хоть горшком, факт в том, что в питоне нельзя поменять binding внешней переменной, что является одним из основных назначений call by ref в некоторых языках
Вообще, я же говорю — тут путаница и каша. Да в той же википедии почитать — они путают в одном текстк call by ref и что-то ещё (читал пару месяцев назад этот бред, уже не помню).

Ещё раз: ОБЪЕКТЫ передаются в питоне ПО ССЫЛКЕ. ССЫЛКА — по значеню, да.

[some41.livejournal.com]

ну, в С++ тоже при копировании разыменованием указателя будет вызван operator= определенный в классе. memcpy фактически может скопировать объект, но формат не POD-объекта не определен.

да вообще call by -- ущербная терминология. правильнее сказать, что в питоне reference semantics, так имхо понятнее. но ссылки тоже можно передавать по ссылке, см. ref/out в C# :-)

[blacklion.livejournal.com]

но ссылки тоже можно передавать по ссылке, см. ref/out в C# :-)
Да-да, я ка краз хотел сказать что если res_type2 — объектный, то мы получим двойную ссылку по сути :)

[blacklion.livejournal.com]

В википедии вон вообще считают, что то, что в питоне — Call by sharing :)

[blacklion.livejournal.com]

И вот ровно то, о чём я тут толкую:

However, the term "call by sharing" is not in common use; the terminology is inconsistent across different sources. For example, in the Java community, they say that Java is pass-by-value, whereas in the Ruby community, they say that Ruby is pass-by-reference, even though the two languages exhibit the same semantics.

[dil.livejournal.com]

ну тогда вопрос в том, передаётся ли ссылка на оригинал фактического параметра или на его копию

[some41.livejournal.com]

на оригинал, конечно.

[dil.livejournal.com]

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

[blacklion.livejournal.com]

Ну, с указателями в C/C++ та же фигня :)