Re: компилятор

From

Alex Kozhushko ()

To

Nick Kovaliov

Date

2002-11-04T11:11:03Z

Area

RU.ALGORITHMS

From: "Alex Kozhushko" <alxrie@sibmail.ru>


"Nick Kovaliov" <Nick@urm.ru> wrote in message
news:aq555k$6el7s$1@ID-162517.news.dfncis.de...

>     > О! Кстати, не подскажешь заодно,
>     > что такое структурная и именная эквивалентность типов ?
> Честно, не знаю.
> Но догадываюсь, что именная - это по имени, то есть по использованию
> (например, для некоторых типов операций массив и лист эквивалентны)
> А структурная - это по семантике, то есть по реализации.

Именная - типы эквивалентны, если имеют одно и то же имя. Структурная - типы
эквиваленты, если эвиваленты описывающие их деревья.

Например,

type
   T1= array [0..15] of integer;
   T2 = array [0..15] of integer;

var
  A: T;
  B: T;
  C: array of integer;
  D: array [0..15] of integer;

При структурной эквивалентности все они имеют один и тот же тип.
При именной эквивалентности переменные A и В имеют один и тот же тип,
отличающийся от типов переменных С и D.

С уважением,
Алексей



--- ifmail v.2.15dev5
 * Origin: Demos online service (2:5020/400)