Программирование на языке Pascal


Совместимость по присваиванию


В отличие от простой совместимости, совместимость по присваиванию гарантирует, что в тех случаях, когда производится какое-либо присваивание (используется запись вида a:=b; или происходит передача значений в подпрограмму6) или из нее и т.п.), не произойдет никаких изменений присваиваемого значения.

Два типа данных Т1 и Т2 называются совместимыми по присваиванию, если выполняется хотя бы один вариант из перечисленных ниже:

  • Т1 и Т2 эквивалентны, но не файлы7);
  • Т1 и Т2 совместимы, причем Т2 - некоторое подмножество в Т1;
  • Т1 - вещественный тип, а Т2 - целый.




- Начало -  - Назад -  - Вперед -