OberonCore • - Совместимость записей в Oberon-07

Сообщения без ответов | Активные темы

Список форумов » Оберон-технологии: языки, компиляторы, системы » Oberon-07 (Revised Oberon)

Часовой пояс: UTC + 3 часа

Совместимость записей в Oberon-07

Страница 2 из 2

[ Сообщений: 31 ]

На страницу Пред. 1, 2

Версия для печати

Пред. тема | След. тема

Автор

Сообщение

Rifat

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Среда, 17 Ноябрь, 2010 11:17

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 989
Откуда: Казань

Александр Ильин писал(а):

Valery Solovey писал(а):

А вариант описки в документации на O07 не рассматривался?

Был рассмотрен такой вариант, Крис Барроуз считает, что описка. Я, прочитав сообщения о языках -2 и -07, с ним согласился. Пункт 9.1.4 следует читать так: "In the case of records, the type of the source must be an extension of the type of the destination." Ошибка обнаружена в документе "The Programming Language Oberon", в ревизии 1.12.2007.

Может лучше у самого Вирта спросить. Есть у кого-нибудь его e-mail?

Вернуться к началу

Rifat

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Среда, 17 Ноябрь, 2010 17:19

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 989
Откуда: Казань

Лично я не думаю, что это опечатка, так как в ревизии 1.11.2008 та же самая фраза. А если это была бы опечатка, то наверно за год она бы обнаружилась.

Вернуться к началу

Александр Ильин

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Пятница, 19 Ноябрь, 2010 06:28

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2463
Откуда: Россия, Томск

Rifat писал(а):

Может лучше у самого Вирта спросить. Есть у кого-нибудь его e-mail?

Крис Барроуз написал Вирту и получил подтверждение, что это ошибка в документе.

Вернуться к началу

Info21

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Пятница, 19 Ноябрь, 2010 07:02

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва

Rifat писал(а):

Лично я не думаю, что это опечатка, так как в ревизии 1.11.2008 та же самая фраза.

Так рассуждать, получится, что не опечатка и перепутанные в трёх изданиях "Алгоритмов и структур данных" столбцы в таблице логических операций

Вернуться к началу

Rifat

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Пятница, 19 Ноябрь, 2010 17:36

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 989
Откуда: Казань

Еще в подтверждение моей точки зрения, что это не описка, в документе Differences between Oberon-07 and Oberon написано:

Цитата:

4. Assignment of arrays and records

Because assignments of arrays are typically more complex operations than simple assignments,
it was believed that this should be visible to a programmer. The standard procedure COPY(src,
dst) was therefore introduced. But now we handle array and record assignments just like other
assignments, writing dst := src, and discard the COPY procedure. The destination array must not
be shorter than the source array. This is in accordance with the assignment rule for strings and
with the compatibility of record types and their extensions.

То есть здесь говорится о том, что типу большего размера может присваиваться тип меньшего размера, то есть расширенной записи, может присваиваться базовый тип записи.

Вернуться к началу

Info21

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Пятница, 19 Ноябрь, 2010 18:50

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва

Rifat писал(а):

Еще в подтверждение моей точки зрения, что это не описка, в документе Differences between Oberon-07 and Oberon написано:
... То есть здесь говорится о том, что типу большего размера может присваиваться тип меньшего размера, то есть расширенной записи, может присваиваться базовый тип записи.

Про записи тут ничего не говорится.

При передаче параметров по значению параметру типа-предка присваивается параметр типа-потомка, то есть более широкий. При этом более широкое место для записи отводится на стеке в момент вызова, когда тип фактического параметра (потомка с доп. полями) уже известен.

При этом изнутри процедуры можно проверить, что тип фактического параметра -- это тип-потомок, и все доп. поля на месте.

В простом операторе присваивания размер целевой записи уже зафиксирован, и такая операция дала бы потерю информации (дополнительных полей потомка).

Вернуться к началу

Валерий Лаптев

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Пятница, 19 Ноябрь, 2010 22:32

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань

Info21 писал(а):

Rifat писал(а):

Очень интересно!
При передаче параметров срезки нет, а в присваивании - есть...

Вернуться к началу

Info21

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Суббота, 20 Ноябрь, 2010 10:10

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва

Валерий Лаптев писал(а):

При передаче параметров срезки нет, а в присваивании - есть...

, но только там, где это разрешено.

Неужели в Обероне-07?? Не верю.

Вернуться к началу

Rifat

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Понедельник, 22 Ноябрь, 2010 09:27

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 989
Откуда: Казань

Написал письмо Вирту, получил следующий ответ:

Цитата:

Dear Mr. Rifat,

You are right. In 9.1 it must read

4. In the case of records, the type of the source.must be an extension of the type of the destination

Thank you for pointing this out!
It is remarkable, that I received the same comment just 2 weeks ago from somebody in Australia, while for the past 4 years nobody has mentioned it.

Sincerely yours,
Niklaus Wirth

То есть это действительно ошибка в документе.

Вернуться к началу

Александр Ильин

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Понедельник, 22 Ноябрь, 2010 10:47

Зарегистрирован: Вторник, 19 Сентябрь, 2006 21:54
Сообщения: 2463
Откуда: Россия, Томск

Александр Ильин Пт ноя 19, 2010 9:28 am писал(а):

Крис Барроуз написал Вирту и получил подтверждение, что это ошибка в документе.

Rifat Пн ноя 22, 2010 12:27 pm писал(а):

Написал письмо Вирту, получил следующий ответ:

Niklaus Wirth писал(а):

It is remarkable, that I received the same comment just 2 weeks ago from somebody in Australia...

То есть это действительно ошибка в документе.

Тормозим?

Для справки, Крис Барроуз (Chris Burrows) живёт в Австралии.

Вернуться к началу

Маздайщик

Заголовок сообщения: Re: Совместимость записей в Oberon-07

Добавлено: Среда, 12 Февраль, 2020 09:54

Зарегистрирован: Суббота, 02 Февраль, 2013 16:19
Сообщения: 17

Прошу прощения, что поднимаю старую тему, но хочу заметить следующее. Я внимательно перечитал сообщение Вирта об Обероне-07 (редакция 3.5.2016), в нём нигде явно не написано, что можно присвоить указателю на базовую запись указатель на расширенную запись. Это явно подразумевается, иначе не было бы смысла в охране типа и ти́повом CASE для указателей.

В разделе 9.1 Assignments говорится только

Цитата:

In the case of records, the type of the source must be an extension of the type of the destination.

Просится добавить «In the case of records and pointers, …».

В сообщении об Обероне 1990-го года говорилось о возможности присваивания указателей так (курсив мой):

Цитата:

The type of the expression must be included by the type of the variable, or it must extend the type of the variable.

В сообщении об Обероне-07 подобной фразы нигде нет.

Вернуться к началу

Страница 2 из 2

[ Сообщений: 31 ]

На страницу Пред. 1, 2

Список форумов » Оберон-технологии: языки, компиляторы, системы » Oberon-07 (Revised Oberon)

Часовой пояс: UTC + 3 часа

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0

Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения