Введение в ООП
©Павловская Т.А. (СПбГУ ИТМО) 1
Понятие объекта
В реальном мире каждый предмет или процесс обладает
набором статических и динамических характеристик
(свойствами и поведением). Поведение объекта зависит
от его состояния и внешних воздействий.
Понятие объекта в программе совпадает с обыденным
смыслом этого слова: объект представляется как
совокупность данных, характеризующих его состояние, и
функций их обработки, моделирующих его поведение.
Вызов функции на выполнение часто называют посылкой
сообщения объекту.
При создании объектно-ориентированной программы
предметная область представляется в виде
совокупности объектов. Выполнение программы состоит
в том, что объекты обмениваются сообщениями.
©Павловская Т.А. (СПбГУ ИТМО) 2
Абстрагирование и инкапсуляция
При представлении реального объекта с помощью
программного необходимо выделить в первом его
существенные особенности и игнорировать
несущественные. Это называется абстрагированием.
Таким образом, программный объект — это абстракция.
Детали реализации объекта скрыты, он используется
через его интерфейс — совокупность правил доступа.
Скрытие деталей реализации называется
инкапсуляцией. Это позволяет представить программу в
укрупненном виде — на уровне объектов и их
взаимосвязей, а следовательно, управлять большим
объемом информации.
Итак, объект — это инкапсулированная абстракция с
четко определенным интерфейсом.
©Павловская Т.А. (СПбГУ ИТМО) 3
Наследование
Важное значение имеет возможность многократного
использования кода. Для объекта можно определить
наследников, корректирующих или дополняющих его
поведение.
Наследование применяется для:
исключения из программы повторяющихся фрагментов кода;
упрощения модификации программы;
упрощения создания новых программ на основе
существующих.
Благодаря наследованию появляется возможность
использовать объекты, исходный код которых
недоступен, но в которые требуется внести изменения.
Наследование позволяет создавать иерархии объектов.
Иерархия представляется в виде дерева, в котором более
общие объекты располагаются ближе к корню, а более
специализированные — на ветвях и листьях.
©Павловская Т.А. (СПбГУ ИТМО) 4
Полиморфизм
ООП позволяет писать гибкие, расширяемые и
читабельные программы.
Во многом это обеспечивается благодаря
полиморфизму, под которым понимается возможность
во время выполнения программы с помощью одного и
того же имени выполнять разные действия или
обращаться к объектам разного типа.
Чаще всего понятие полиморфизма связывают с
механизмом виртуальных методов.
©Павловская Т.А. (СПбГУ ИТМО) 5
Достоинства ООП
использование при программировании понятий,
близких к предметной области;
возможность успешно управлять большими объемами
исходного кода благодаря инкапсуляции, то есть
скрытию деталей реализации объектов и упрощению
структуры программы;
возможность многократного использования кода за
счет наследования;
сравнительно простая возможность модификации
программ;
возможность создания и использования библиотек
объектов.
©Павловская Т.А. (СПбГУ ИТМО) 6
Недостатки ООП
некоторое снижение быстродействия программы,
связанное с использованием виртуальных
методов;
идеи ООП не просты для понимания и в
особенности для практического использования;
для эффективного использования существующих
объектно-ориентированных систем требуется
большой объем первоначальных знаний;
неграмотное применение ООП может привести к
значительному ухудшению характеристик
разрабатываемой программы.
©Павловская Т.А. (СПбГУ ИТМО) 7
Понятие класса
Класс является типом данных, определяемым
пользователем. Он должен представлять собой одну
логическую сущность, например, являться моделью
реального объекта или процесса. Элементами класса
являются данные и функции, предназначенные для их
обработки.
Все классы .NET имеют общего предка — класс object, и
организованы в единую иерархическую структуру.
Внутри нее классы логически сгруппированы в
пространства имен, которые служат для упорядочивания
имен классов и предотвращения конфликтов имен: в
разных пространствах имена могут совпадать.
Пространства имен могут быть вложенными.
Любая программа использует пространство имен System.
©Павловская Т.А. (СПбГУ ИТМО) 8
Описание класса
[ атрибуты ] [ спецификаторы ] class имя_класса [ :
предки ] тело_класса
Имя класса задается по общим правилам.
Тело класса — список описаний его элементов,
заключенный в фигурные скобки.
Атрибуты задают дополнительную информацию о классе.
Спецификаторы определяют свойства класса, а также
доступность класса для других элементов программы.
Простейший пример описания класса:
class Demo {}
©Павловская Т.А. (СПбГУ ИТМО) 9
Спецификаторы класса
Спецификатор Описание
new Используется для вложенных классов. Задает
новое описание класса взамен
унаследованного от предка. Применяется
в иерархиях
public Доступ не ограничен
protected Используется для вложенных классов. Доступ
только из элементов данного и
производных классов
internal Доступ только из данной программы (сборки)
protected internal Доступ только из данного и производных
классов или из данной программы
(сборки)
private Используется для вложенных классов. Доступ
только из элементов класса, внутри
которого описан данный класс
abstract Абстрактный класс. Применяется в иерархиях
sealed Бесплодный класс. Применяется в иерархиях
©Павловская Т.А. (СПбГУ ИТМО) 10
Элементы класса
класс
локальные
типы
данные
функции
поля свойства
(переменные константы
) события
один набор на индексаторы
поля статические класс
поля методы
экземпляра
один набор на
каждый экземпляр
операции
конструкторы конструкторы
экземпляра
деструкторы
статические
конструкторы обычные
методы
методы методы
экземпляра класса
©Павловская Т.А. (СПбГУ ИТМО) 11
Описание объекта
Класс является обобщенным понятием, определяющим
характеристики и поведение множества конкретных
объектов этого класса, называемых экземплярами
(объектами) класса.
Объекты создаются явным или неявным образом (либо
программистом, либо системой). Программист создает
экземпляр класса с помощью операции new:
Demo a = new Demo();
Demo b = new Demo();
Для каждого объекта при его создании в памяти
выделяется отдельная область для хранения его данных.
Кроме того, в классе могут присутствовать статические
элементы, которые существуют в единственном
экземпляре для всех объектов класса.
Функциональные элементы класса всегда хранятся в
единственном экземпляре.
©Павловская Т.А. (СПбГУ ИТМО) 12
Присваивание и сравнение объектов
Хип
Значение Значение Значение
Стек
Ссылка Ссылка Ссылка
а b c
Объекты
b=c
Величины ссылочного типа равны, если они ссылаются на
одни и те же данные (b == c, но a != b даже при
равенстве их значений или если обе ссылки равны null).
©Павловская Т.А. (СПбГУ ИТМО) 13
Данные: поля и константы
Данные, содержащиеся в классе, могут быть
переменными или константами.
Переменные, описанные в классе, называются полями
класса.
При описании полей можно указывать атрибуты и
спецификаторы, задающие различные характеристики
элементов:
[ атрибуты ] [ спецификаторы ] [ const ] тип имя
[ = начальное_значение ]
Все поля сначала автоматически инициализируются
нулем соответствующего типа (например, полям типа int
присваивается 0, а ссылкам на объекты — значение null).
После этого полю присваивается значение, заданное при
его явной инициализации.
©Павловская Т.А. (СПбГУ ИТМО) 14
Спецификаторы полей и констант класса
Спецификатор Описание
new Новое описание поля, скрывающее унаследованный
элемент класса
public Доступ к элементу не ограничен
protected Доступ только из данного и производных классов
internal Доступ только из данной сборки
protected internal Доступ только из данного и производных классов и
из данной сборки
private Доступ только из данного класса
static Одно поле для всех экземпляров класса
readonly Поле доступно только для чтения
volatile Поле может изменяться другим процессом или
системой
©Павловская Т.А. (СПбГУ ИТМО) 15
Пример описания класса
using System;
namespace CA1
{ class Demo
{ public int a = 1; // поле данных
public const double c = 1.66; // константа
public static string s = "Demo"; // статическое поле класса
double y; // закрытое поле данных
}
class Class1
{ static void Main()
{
Demo x = new Demo(); // создание экземпляра класса Demo
[Link]( x.a ); // x.a - обращение к полю класса
[Link]( Demo.c ); // Demo.c - обращение к константе
[Link]( Demo.s ); // обращение к статическому полю
}}}
©Павловская Т.А. (СПбГУ ИТМО) 16
Методы
Метод — функциональный элемент класса, реализующий
вычисления или другие действия. Методы определяют
поведение класса и составляют его интерфейс.
Метод — законченный фрагмент кода, к которому можно
обратиться по имени. Он описывается один раз, а
вызываться может столько раз, сколько необходимо.
Один и тот же метод может обрабатывать различные
данные, переданные ему в качестве аргументов.
Синтаксис метода:
[ атрибуты ] [ спецификаторы ] тип имя_метода
( [ параметры ] ) тело_метода
При описании методов можно использовать первые 7
спецификаторов полей, а также virtual, sealed, override,
abstract и extern. Чаще всего для методов задается public.
©Павловская Т.А. (СПбГУ ИТМО) 17
Примеры методов
Вызывающая
функция
public void Sety(double z)
{ y = z; }
public double Gety() Вызов метода
{ return y; } Метод
Тип метода определяет, значение
какого типа вычисляется с помощью return …
метода
Параметры используются для обмена Возврат
информацией с методом. Параметр - значения
локальная переменная, которая при
вызове метода принимает значение [Link](3.12);
соответствующего аргумента. double t = [Link]();
double a = 0.1;
double b = [Link](a);
[Link](a);
©Павловская Т.А. (СПбГУ ИТМО) 18
Параметры методов
Параметры определяют множество значений аргументов, которые
можно передавать в метод.
Список аргументов при вызове как бы накладывается на список
параметров, поэтому они должны попарно соответствовать друг
другу.
Для каждого параметра должны задаваться его тип, имя и,
возможно, вид параметра.
Имя метода вкупе с количеством, типами и спецификаторами его
параметров представляет собой сигнатуру метода — то, по чему
один метод отличают от других.
В классе не должно быть методов с одинаковыми сигнатурами.
Метод, описанный со спецификатором static, должен обращаться
только к статическим полям класса.
Статический метод вызывается через имя класса, а обычный —
через имя экземпляра.
©Павловская Т.А. (СПбГУ ИТМО) 19
Пример
class Demo {
public int a = 1;
public const double c = 1.66;
static string s = "Demo";
double y;
public double Gety() { return y; } // метод получения y
public void Sety( double y_ ){ y = y_; } // метод установки y
public static string Gets() { return s; } // метод получения s
}
class Class1 {
static void Main()
{ Demo x = new Demo();
[Link](0.12); // вызов метода установки y
[Link]([Link]()); // вызов метода получения y
[Link]([Link]()); // вызов метода получения s
// [Link](Gets()); // при вызове из др. метода
}}
©Павловская Т.А. (СПбГУ ИТМО) 20
Вызов метода
При вызове метода:
1. Вычисляются выражения, стоящие на месте аргументов.
2. Выделяется память под параметры метода.
3. Каждому из параметров сопоставляется соответствующий
аргумент. При этом проверяется соответствие типов
аргументов и параметров и при необходимости выполняется
их преобразование. При несоответствии типов выдается
диагностическое сообщение.
4. Выполняется тело метода.
5. Если метод возвращает значение, оно передается в точку
вызова; если метод имеет тип void, управление передается
на оператор, следующий после вызова.
©Павловская Т.А. (СПбГУ ИТМО) 21
Иллюстрация передачи параметров
Описание аргументов: int b; double a, c;
Вызов метода: obj.P(a, b, c);
Заголовок метода: public void P(double x, int y, double z);
©Павловская Т.А. (СПбГУ ИТМО) 22
Пример передачи параметров
class Class1
{ static int Max(int a, int b) // выбор макс. значения
{
if ( a > b ) return a;
else return b;
}
static void Main()
{
int a = 2, b = 4;
int x = Max( a, b ); // вызов метода Max
[Link]( x ); // результат: 4
short t1 = 3, t2 = 4;
int y = Max( t1, t2 ); // вызов метода Max
[Link]( y ); // результат: 4
int z = Max( a + t1, t1 / 2 * b ); // вызов метода Max
[Link]( z ); // результат: 5
}}
©Павловская Т.А. (СПбГУ ИТМО) 23
Способы передачи параметров и их типы
Способы передачи параметров: по значению и по ссылке.
При передаче по значению метод получает копии значений
аргументов, и операторы метода работают с этими копиями.
При передаче по ссылке (по адресу) метод получает копии адресов
аргументов и осуществляет доступ к аргументам по этим адресам.
В С# четыре типа параметров:
параметры-значения;
параметры-ссылки (ref);
выходные параметры (out);
параметры-массивы (params).
Ключевое слово предшествует описанию типа параметра. Если
оно опущено, параметр считается параметром-значением.
Пример:
public int Calculate( int a, ref int b, out int c, params int[] d ) …
©Павловская Т.А. (СПбГУ ИТМО) 24
Пример: параметры-значения и ссылки
using System;
namespace ConsoleApplication1
{ class Class1
{ static void P( int a, ref int b )
{
a = 44; b = 33;
[Link]( "внутри метода {0} {1}", a, b );
}
static void Main()
{
int a = 2, b = 4;
[Link]( "до вызова {0} {1}", a, b );
P( a, ref b );
[Link]( "после вызова {0} {1}", a, b );
}}}
Результат работы программы:
до вызова 2 4
внутри метода 44 33
после вызова 2 33
©Павловская Т.А. (СПбГУ ИТМО) 25
Применение параметров-значений и ссылок
1. Для параметров-значений используется передача по
значению. Этот способ применяется для исходных
данных метода.
При вызове метода на месте параметра, передаваемого
по значению, может находиться выражение (а также его
частные случаи — переменная или константа). Должно
существовать неявное преобразование типа выражения к
типу параметра.
2. Параметры-ссылки передаются по адресу. Этот способ
применяется для передачи побочных результатов метода.
При вызове метода на месте параметра-ссылки может
находиться только имя инициализированной переменной
точно того же типа. Перед именем параметра
указывается ключевое слово ref.
©Павловская Т.А. (СПбГУ ИТМО) 26
Ключевое слово this
Чтобы обеспечить работу метода с полями того объекта, для
которого он был вызван, в метод автоматически передается
скрытый параметр this, в котором хранится ссылка на вызвавший
функцию объект.
В явном виде параметр this применяется:
// чтобы возвратить из метода ссылку на вызвавший объект:
class Demo
{
double y;
public Demo T() { return this; }
// для идентификации поля, если его имя совпадает с именем
// параметра метода:
public void Sety( double y ) { this.y = y; }
}
©Павловская Т.А. (СПбГУ ИТМО) 27
Конструкторы
Конструктор предназначен для инициализации объекта. Он
вызывается автоматически при создании объекта класса с
помощью операции new. Имя конструктора совпадает с
именем класса.
Свойства конструкторов:
Конструктор не возвращает значение, даже типа void.
Класс может иметь несколько конструкторов с разными
параметрами для разных видов инициализации.
Если программист не указал ни одного конструктора или
какие-то поля не были инициализированы, полям
значимых типов присваивается нуль, полям ссылочных
типов — значение null.
Конструктор, вызываемый без параметров, называется
конструктором по умолчанию.
©Павловская Т.А. (СПбГУ ИТМО) 28
Пример класса с конструктором
class Demo
{
public Demo( int a, double y ) // конструктор
{
this.a = a;
this.y = y;
}
int a;
double y;
}
class Class1
{ static void Main()
{
Demo a = new Demo( 300, 0.002 ); // вызов конструктора
Demo b = new Demo( 1, 5.71 ); // вызов конструктора
…
}}
©Павловская Т.А. (СПбГУ ИТМО) 29
Пример класса с двумя конструкторами
class Demo
{
public Demo( int a ) // конструктор 1
{
this.a = a;
this.y = 0.002;
}
public Demo( double y ) // конструктор 2
{
this.a = 1;
this.y = y;
}
...
}
...
Demo x = new Demo( 300 ); // вызов конструктора 1
Demo y = new Demo( 5.71 ); // вызов конструктора 2
©Павловская Т.А. (СПбГУ ИТМО) 30
Свойства
Свойства служат для организации доступа к полям класса. Как
правило, свойство определяет методы доступа к закрытому полю.
Синтаксис свойства:
[ атрибуты ] [ спецификаторы ] тип имя_свойства
{
[ get код_доступа ]
[ set код_доступа ]
}
Чаще всего свойства объявляются как открытые (public).
Код доступа представляет собой блоки операторов, которые
выполняются при получении (get) или установке (set) свойства.
Может отсутствовать либо часть get, либо set, но не обе
одновременно.
Если отсутствует часть set, свойство доступно только для чтения
(read-only), если отсутствует часть get, свойство доступно только
для записи (write-only).
©Павловская Т.А. (СПбГУ ИТМО) 31
Пример описания свойств
public class Button: Control
{ private string caption; // поле, с которым связано свойство
public string Caption { // свойство
get { return caption; } // способ получения свойства
set // способ установки свойства
{ if (caption != value) { caption = value; }
}} ...
В программе свойство выглядит как поле класса:
Button ok = new Button();
[Link] = "OK"; // вызывается метод установки свойства
string s = [Link]; // вызывается метод получения свойства
При обращении к свойству автоматически вызываются указанные в
нем методы чтения и установки.
©Павловская Т.А. (СПбГУ ИТМО) 32
Рекомендации по программированию
Интерфейс класса должен быть интуитивно ясен,
непротиворечив и обозрим.
Интерфейс должен быть полным (предоставлять возможность
выполнять любые разумные действия с классом), и минимально
необходимым (без дублирования и пересечения возможностей
методов).
Поля предпочтительнее делать закрытыми (private). Поля,
характеризующие класс в целом, то есть имеющие одно и то же
значение для всех экземпляров, следует описывать как
статические.
Необходимо стремиться к максимальному сокращению области
действия каждой переменной.
Все литералы, связанные с классом (числовые и строковые
константы), описываются как поля-константы с именами,
отражающими их смысл.
Каждый метод класса должен решать только одну задачу.
©Павловская Т.А. (СПбГУ ИТМО) 33