2008-2003 экзамен (из методички) (Решённые задачи прошлых лет), страница 3

2. Явная реализация интерфейса означает, что вызов метода интерфейса может происходить только через ссылку на интерфейс, но не может происходить через ссылку на класс, реализующий интерфейс. Перед вызовом интерфейсного метода необходимо явно преобразовать ссылку на объект реализующего класса к ссылке на интерфейс. Концепция явной реализации полезна, например, при конфликте имен между унаследованными интерфейсами. Используется, например, в С#.

interface ISomeInterface

{

void F();

}

class CoClass: ISomeInterface

{

ISomeInterface.F() {

System.Console.WriteLine(“Явно реализованный метод”);

}

...

}

...

CoClass c = new CoClass();

c.F(); // ошибка: нельзя вызывать явно реализованный метод

// интерфейса через ссылку на объект

(ISomeInterface)c.F(); // все нормально

3. В языке Java используется 2 формы оператора цикла for.

Первая форма полностью соответствует оператору for языка Си++:

for (e1;e2;e3) S

Вторая форма появилась в 2005 году и используется для поэлементного

просмотра коллекций (цикл for-each). Она имеет вид;

for (T v:Coll)S

Здесь Coll — коллекция элементов (типа T или приводимых к типу T). Переменная v на каждой итерации цикла принимает значение очередного элемента коллекции.

Для того, чтобы объекты класса-коллекции могли появляться в цикле for-each, класс должен реализовать интерфейс Iterable.

4. При вызове сопрограммы управление передается в точку, непосредственно следующую за местом, где оно покинуло сопрограмму. В подпрограммах управление всегда начинается с первого оператора, и это не зависит от того, в какой точке управление покинуло подпрограмму в прошлый раз.

5. 1 1 2 2

2 1 2 2

2 1 3 3

26

6. Оберон, Оберон-2

Перечислимый тип в C# имеет вид:

enum T : базовый_целый_тип {

список_констант

}

или

enum T {

список_констант

}

По умолчанию базовый_целый_тип — это int. Каждая константа в списке может быть инициализирована своим значением (как в Си++). К перечислениям нельзя применять арифметические и побитовые операции, но если перед перечислением стоит атрибут [Flags], то к элементам перечисления применимы побитовые операции | и &. Константы из перечислимого типа видимы только потенциально и при обращении должны уточняться именем типа: тип.имя_константы.

Пример:

enum Color : long

{

Red,

Green = 50,

Blue

}

Color c = Color.Red;

7.

generic

type T is private;

Size : integer;

package G_Queue is

type Queue is limited private;

procedure Enqueue(Q: inout Queue; X:T);

procedure Dequeue(Q: inout Queue; X:T);

procedure Init(Q: out Queue);

procedure Destroy(Q: inout Queue);

function IsFull(Q: Queue);

function IsEmpty(Q: Queue);

–- другие процедуры ...

private

type Queue is record

Left, Right: integer;

body : array(1..Size) of T;

end record;

end G_Queue;

8. Ада

При односторонней связи (импорт-экспорт) модуль, экспортирующий имена, не зависит от импортирующих (клиентских) модулей. При двусторонней связи оба модуля зависят друг от друга. В языке Ада двусторонняя связь используется при раздельной трансляции вложенных модулей. Вложенный модуль обозначается «заглушкой» во внешнем модуле:

procedure Outer is

–- заглушка

procedure Inner is separate;

. . .

end Outer;

При трансляции вложенный модуль снабжается заголовком, связывающим его с объемлющим модулем:

separate(Outer)

procedure Inner is

. . .

end Inner;

Связь «заглушка-заголовок» - пример двусторонней связи.

3.6. Вариант 2008

1. Ключевое слово sealed может стоять перед виртуальным методом или классом. В первом случае оно означает, что метод нельзя замещать в производных классах, во втором — что класс нельзя наследовать. Из перечисленных в условии языков аналогичное понятие есть в языке Java (final).

2. Вложенность модулей означает, что определение одного модуля (внутреннего) находится внутри другого (внешнего). Из перечисленных в условии языков вложенные библиотечные модули могут быть только в языке Ада (как 83, так и 95). В Обероне и Delphi вложенными могут быть только подпрограммы (которые не являются библиотечными модулями).

3. Язык Модула-2.

DEFINITION MODULE HashTables;

FROM Types IMPORT KeyType, ElementType;

TYPE HashTable;

PROCEDURE Init(VAR T:HashTable);

PROCEDURE Destroy(VAR T:HashTable);

PROCEDURE Lookup(VAR T:HashTable;

Key: KeyType; VAR X:ElementType):BOOLEAN;

PROCEDURE Add(VAR T:HashTable; Key: KeyType; X:ElementType);

PROCDURE Remove(VAR T:HashTable; Key: KeyType):BOOLEAN;

VAR Done: BOOLEAN;

END HashTables.

Язык Java:

interface IHashTable : Iterable

{

ElementType Lookup(KeyType Key);

void Add(KeyType Key, ElementType El);

bool Remove(KeyType Key);

}

4. Ада 95, Java, Delphi, Оберон-2, Cи++, С#

Виртуальность метода означает динамическое связывание метода при вызове метода через ссылку на объект (базового) класса. Будет вызван метод для объекта, на который в настоящее время указывает ссылка. Этот объект может относиться не к базовому, а к производному классу. если в производном классе метод замещен, то будет вызван не метод из базового класса (как в случае невиртуальных методов), а его заместитель .

5. Абстрактный тип данных (АТД) — это тип с полностью инкапсулированной структурой. Использовать объекты АТД возможно только при помощи явно определенных в интерфейсе типа операций.

Абстрактный класс (АК) — это класс, содержащий хотя бы один

абстрактный метод.

Прямой связи между АК и АТД нет. АТД может быть абстрактным классом, а может и не быть. Аналогично, АК может иметь инкапсулированную структуру, а может и не иметь. Пример АТД можно найти в ответе на задачу 3 этого варианта. Пример

АК (язык Java):

interface IDrawable

{

void Paint();

}

abstract class UIControl : IDrawable

{

... // нет реализации метода Paint()

}

class EditControl: UIControl

{

public void Paint() { ... // реализация метода Paint()}

. . .

}

6. Ада 83, Ада 95,Си++, Java, Delphi, C#

Понятие «перегрузка» означает, что одному имени в одной области видимости может соответствовать несколько определений. В современных языках программирования перегружаться могут только имена подпрограмм, но не типов, переменных, модулей. Пример на языке Си++:

class X {

public:

void f();

void f (int)

};

X a;

a.f(); // первая функция

a.f(0); // вторая функция

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

7. Структура в языке C# является типом-значением. Имена структур не являются ссылками (как имена объектов-классов), а обозначают непосредственно объект.

Структуры не могут наследоваться, не могут быть наследовать сами (только по умолчанию от класса Object). Также структуры не могут иметь явный конструктор умолчания.

8. Ключевое слово override означает, что метод, в объявлении которого оно появляется, является заместителем виртуального метода из базового класса.

В языке Java такая конструкция отсутствует, поскольку все методы имеют динамическое связывание, поэтому любой метод, имя и сигнатура которого совпадают с методом их базового класса, является его заместителем.

35