Модератор: Модераторы
Ask писал(а):constдля параметров типа string
Ask писал(а):не использовать constдля параметров [...], интерфейсов и объектов, а также записей, содержащих эти типыв качестве полей.
Ask писал(а):Это не так. К сожалению, с ключевым словом "const" в Паскале связан ряд заблуждений. На самом деле:
1) Ключевое слово "const" НЕ влияет непосредственно на способ передачи параметра -- параметр может быть передан как по ссылке,
так и по значению в зависимости от платформы, настроек оптимизации и т.д.
2) Чтобы гарантировать передачу по ссылке, следует использовать модификатор "constref", но он был реализован относительно недавно, и разработчики компилятора не рекомендуют его использовать без веской причины.
3) Ключевое слово "const" интерпретируется как обещание *от программиста компилятору*, что указанная переменная не поменяется *нигде в программе* в период выполнения функции/процедуры. Обратите внимание, что именно от программиста к компилятору, а не наоборот. Компилятор проверяет выполнение этого обещания только в простейших случаях. Если оно всё же будет нарушено, это может привести к очень трудно отлаживаемым ошибкам и падениям, особенно в случае refcounted типов, таких как строки и интерфейсы.
4) Разработчики языка принципиально не будут менять перечисленные выше пункты -- на этот счёт были долгие и бурные дискуссии, их позиция окончательна.
Таким образом, можно порекомендовать использовать префикс const осторожно, относиться к нему как к оптимизации,
и уж во всяком случае не расставлять бездумно где попало -- например, современные версии Lazarus больше не добавляют "const" автоматически к
параметру setter'а свойств объекта.
К модификаторам var и out перечисленные проблемы не относятся -- их можно свободно использовать там, где они нужны по смыслу
(не путая друг с другом, конечно).
iN0k писал(а):то есть шаманское изменение привело к интерисующему меня результату.
а шаманскому, по тому что для меня не очевидна.
может кто-нибудь разьяснить полученный результат?
Код: Выделить всё
procedure F1(prm:rMyRecord);
begin
F0(@prm);
end;Код: Выделить всё
procedure F1(Var prm:rMyRecord);inline;
begin
F0(@prm);
end;Kemet писал(а): Хотя я встречал реализации Паскаля, в которых конст честно обеспечивал доступ только для чтения для любых обращений к парамерту, как к lvalue.
Ask писал(а):Как видим, заблуждения о том, как работает const, действительно широко распространены
Господа, Я согласен с тем, что Ваше описание -- это хорошая модель для модификатора const.
К сожалению, на самом деле const работает не так.
Я потратил немало нажатий на кнопки, пытаясь убедить разработчиков FPC сделать, как Вы предлагаете --
прочтите хотя бы тот трэд, что Я привёл, а таких было несколько.
Разработчики отказались (и у них есть свои основания, хотя Я с ними и не согласен).
Как Я уже говорил:
1) const даёт компилятору выбор относительно способа передачи параметра (например, записи передаются по ссылке либо по значению в зависимости от SizeOf и платформы). Таким образом, при использовании const программист должен внимательно следить, чтобы семантика кода не зависела от способа передачи.
2) const даёт компилятору возможность предполагать, что обозначенная переменная не изменится *нигде в программе*, а не только непосредственно
в текущей процедуре. В частности, refcounted типы c модификатором const не делают incref/decref! Если вдруг значение переменной, переданной в качестве параметра по const, изменится, программа упадёт с *очень* трудно отлавливаемым AV в *эпилоге процедуры*, т.е. вообще не в пользовательском коде. Поскольку модифицирующий код может находиться в другом модуле, быть написанным другим программистом в другое время, и вообще относиться к другому уровню приложения, эту ошибку можно предотвратить только одним способом -- не использовать const c refcounted типами.
Отдельно хочу сказать, что "если нужна гарантированная ссылка, то пишем var" -- это стилистически неправильно, поскольку смешивает понятия способа передачи параметра и необходимости его модификации. Правильно будет "если нужна гарантированная ссылка, *и мы планируем изменять переменную*, то пишем var, иначе пишем constref.
Намного хуже, когда ошибка функциональная, что приводит не к падению, а к искажению результата
не смог придумать реального примера, когда нужна именно ссылка, но менять мы ничего не будем
Код: Выделить всё
procedure MyCopy(out ADest: TMyBigRec; constref ASrc: TMyBigRec); begin if @ADest = @ASrc then exit; ...А насчет constref, то я так и не смог придумать реального примера
Код: Выделить всё
NewtonWorldRayCast(world, NewtonVec3(camera.pos), NewtonVec3(camera.pos + MaxDistance * camera.dir), ...).