Совместимость по присваиванию
В отличие от простой совместимости, совместимость по присваиванию гарантирует, что в тех случаях, когда производится какое-либо присваивание (используется запись вида a:=b; или происходит передача значений в подпрограмму1) или из нее и т.п.), не произойдет никаких изменений присваиваемого значения.
Два типа данных Т1 и Т2 называются совместимыми по присваиванию, если выполняется хотя бы один вариант из перечисленных ниже:
- Т1 и Т2 эквивалентны, но не файлы2);
- Т1 и Т2 совместимы, причем Т2 - некоторое подмножество в Т1;
- Т1 - вещественный тип, а Т2 - целый.
