> -- Comdiv писал(а):
> 1. Разыменованный указатель не подобен статической записи, так как точный тип структуры разыменованного указателя в общем случае неизвестен статически и здесь, действительно, можно было бы проверять тип, но эта проверка легко заменяется на проверку указателя без его разыменования и это по сути ничего не меняет. Большинство людей никогда не встречается с необходимостью проверки типа разыменованного указателя, а не его самого. То есть, смысл есть, но насущной потребности нет.2. Параметры-переменные для записей по своим свойствам частично подобны указателям на записи.3. В КП указатели и VAR и IN-параметры и только они позволяют ссылаться как на непосредственно тот тип записи, что был указан в объявлении, так и на номинально расширенные от него записи, поэтому в этих и только в этих случаях проверка имеет смысл.

И я бы хотел прояснить отличия в операторах IS и WITH. Насколько я понял, результатом оператора p IS T будет то, что p является типом T или его расширениями, поэтому доступ к полям осуществляется в виде p(T).имя поля, а результатом оператора WITH p:T будет то, что p строго соответствует типу T и доступ к полям осуществляется обычной записью p.имя поля?