Язык программирования Оберон-2

         

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



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

Выражение e типа Te совместимо по присваиванию с переменной v типа Tv, если выполнено одно из следующих условий:

  • Te и Tv - одинаковые типы;
  • Te и Tv - числовые типы и Tv поглощает Te;
  • Te и Tv - типы запись, Te есть расширение Tv, а v имеет динамический тип Tv;
  • Te и Tv - типы указатель и Te - расширение Tv;
  • Tv - тип указатель или процедурный тип, а e - NIL;
  • Tv - ARRAY n OF CHAR, e - строковая константа из m символов и m < n;
  • Tv - процедурный тип, а e - имя процедуры, чьи формальные параметры совпадают с параметрами Tv.


  • Содержание раздела