Реализация наследования

5.4.4. Реализация наследования

В языке Eiffel список наследования помещается вслед за ключевым словом inherit:


	class ITEM

	export

	  cut, move, pick, ungroup

	feature

	  cut is deferred end;

	  move (deltax, deltay: REAL) is deferred end;

	  pick (x, y: REAL): BOOLEAN is deferred end;

	  ungroup () is deferred end

	class SHAPE

	export

	  cut, draw, erase, move, pick, ungroup, write

	inherit ITEM

	feature

	* x, y: REAL;

	  cut is <body> end;

	  draw is <body> end;

	  erase is <body> end;

	  move (deltax, deltay: REAL) is <body> end;

	  pick (x, y: REAL): BOOLEAN is <body> end;

	  ungroup is <body> end;

	  write (acolor: COLOR) is deferred end;

	end

	classrBOX

	export pick, write

	inherit SHAPE redefine pick, write

	feature

	  width, height: REAL;

	  Create (x0, y0, width0, height0:*REAL) is <body> end;

	  pick (x, y: REAL): BOOLEAN is <body> end;

	  write (acolor: COLOR) is <body> end

	end

	class CIRCLE

	export pick, write

	inherit SHAPE redefine pick, write

	feature

	  radius: REAL;

	  Create (x0, y0, radius0: REAL) is <body> end;

	  pick (x, y: REAL): BOOLEAN is <body> end;

	  write (acolor: COLOR) is <body> end

	end

Для обозначения абстрактных операций используется ключевое слово deferred; такие операции должны быть реализованы во всех подклассах. Переопределение свойств класса в подклассе отмечается в разделе redefine.

В языке Smalltalk описание класса Item, его подкласса Shape, а также подклассов Box и Circle класса Shape может иметь следующий вид:


	class name Item

	superclass Object

	 

	class name Shape

	superclass Item

	instance variables

	  x

	  y

	instance methods

	  cut

	  draw

	  erase

	  move: aPoint

	  ungroup

	 

	class name Box

	superclass Shape

	instance variables

	  width

	  height

	instance methods

	  pick: aPoint

	  write: aColor

	class methods

	  createAt: aPoint width: widthSize length: lengthSize

	 

	class name Circle

	superclass Shape

	instance variables

	  radius

	instance methods

	  pick: aPoint

	  write: aColor

	class methods

	  createAt: aPoint radius: radiusSize

Все атрибуты суперкласса доступны всем его потомкам. Все методы могут быть переопределены в подклассах. Множественное наследование не поддерживается.

Назад | Содержание | Вперед