Oberon space

А почему mege_rs не попал в тесты?

Эта маска - и есть интерфейс как концепция.

Цитата: valexey_u от Декабрь 12, 2016, 02:57:37 pm

А если объектег не может то, что маска хочет? Что будет?

Будет то же самое, что и при приведении объекта к типу, которому он не соответствует. Поэтому, в пару к операции приведения нужна операция проверки типа.

Но в компилируемых языках (а точнее, в трансляторах, которые сопоставляют подпрограммы и их вызовы на этапе компиляции) такой способ работать не будет: в объектах разных классов порядок методов может различаться, и разное положение методов в разных виртуальных таблицах не позволит прозрачно пользоваться простым приведением.

Тест для Ulm

Код: [Выделить]

MODULE tulm;
IMPORT SYSTEM, StdIO,InOut;
VAR
    inf:StdIO.FILE;
    inbuf: ARRAY [0..1023] OF CARDINAL;
VAR
n : CARDINAL;
ok:BOOLEAN;
BEGIN
ok := StdIO.Fopen(inf, "input", StdIO.read, FALSE);
IF ok THEN
locsRead := 1023;
ok := StdIO.Fread(SYSTEM.ADR(inbuf), 4, locsRead ,inf);
IF ok THEN
InOut.WriteCard(locsRead,8);   InOut.WriteLn;
END;
ok := StdIO.Fclose(inf);
ELSE
InOut.WriteString("open fail");   InOut.WriteLn;
  END;
END tulm.
gm2 tulm.mod -flibs=ulm,pim

32 бита.
Я уже дошел до си и fopen.  Там тоже  -1 и гуглить "Value too large for defined data type".