Zorko писал(а):
У нас нет указателей на переменные, а только на записи и массивы
Их нет в Обероне, а в расширенном языке привязок есть всё, что Вы захотите. VAR[nil], например, тоже нет в оригинале. В любом случае, я не настаиваю.
Цитата:
Или Вы предложите создавать в таких случаях указатель на массив на 1 элемент?
Я, естественно, этого не предлагал. Подождали бы, что ли.
Цитата:
Так ему нельзя будет переменную передать. ... А использовать просто безтиповый адрес — будет громоздче и даже ненадёжнее. Мало ли что туда передадут.
На мой взгляд, привязки желательно вызывать не больше одного раза - из нормальной Оберон-обвязки, в интерфейсе которой нет прямых завязок на нижний уровень с безтиповыми указателями и любыми другими особенностями. Поэтому и беспокоится о невозможности передачи чего-либо или об ошибках в передаче преременной не того типа нет большой нужды, потому что один раз ошибиться в заголовке привязки или один раз ошибиться в вызове, на первый взгляд, выглядит эквивалентно. То есть, желательно, чтобы пользователю обвязки не нужно было знать о не обероновских особенностях нижнего уровня. В конце концов с такими указателями могут быть и другие проблемы, например, с выравниванием или чем угодно ещё. Все проблемы проще решать в единственной обвязке, чем в богатом языке привязок.
Цитата:
следуя букве, можете это называть не ссылкой, а системным указателем
Вопрос был не в том, как это называть, а нужно ли это.