Определение объекта типа функции.

Напомним, что

объект – это область памяти, которая имеет имя.

Каждый объект характеризуется своим типом. Когда задается тип объекта, системе сообщается:

• Размер объекта (система знает, сколько байт выделить под этот объект);
• Способ кодировки информации в этой области памяти;
• Какие действия можно делать над информацией, записанной в этой области памяти и как их делать.

Объект типа функция относится к группе производных типов. Правила работы с этими объектами (размер, способ кодировки, действия) определил разработчик языка, они заложены в компилятор языка и система их «знает». Эти правила необходимо изучить для того, чтобы уметь работать с этими объектами.

Функция – это имя типа объекта. Но объекты типа функция обычно называют просто функциями.

 

Для того, чтобы в программе можно было работать с объектом, его надо физически создать, т.е. программист на языке С++ должен дать указание на его создание – на выделение памяти требуемого размера и нужной кодировки. Выделенной памяти должно быть присвоено имя. В этом случае говорят, надо определить (defined) объект. Определить объект можно только один раз!!!!!!!!   Объект, который определен, одновременно и описан (declared).

 

Итак, определение объекта типа функция состоит из заголовка функции и тела функции.

 

Вот как синтаксически выглядит определение функции:

тип_возвращаемого_значения имя_объекта_функции ( список_формальных_параметров )

{

       /*    Это тело функции. Здесь пишутся инструкции, которые определяют объекты,  создаваемые внутри функции – локальные объекты.

                   Здесь пишутся инструкции, задающие действия над этими объектами  - алгоритм работы функции

       */

}

 

Заголовок функции это:

тип_возвращаемого_значения имя_объекта_функции ( список_формальных_параметров )

 

Заголовок функции задает, каким образом организован обмен данными между ней и вызвавшей ее объектом–функцией. То есть заголовок определяет, какие данные и как функция получает от функции, вызвавшей ее, а также какие результаты своей работы функция возвращает и как она их возвращает в точку ее вызова.

 

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

 

{

       /*    Это тело функции. Здесь пишутся инструкции, которые определяют объекты,  создаваемые внутри функции – локальные объекты.

                   Здесь пишутся инструкции, задающие действия над этими объектами  -алгоритм работы функции

       */

}

 

Как известно, определить объект типа функция, как и любой другой объект, можно только один раз. И как любой другой объект функцию порой приходится описывать. Зачем? Для того, чтобы уметь правильно с этим объектом  работать, когда его по каким либо причинам «не видно» (например тело функции определено не в том файле из которого его вызывают).

 

Как выглядит инструкция описания функции?

Описание функции – это точная копия заголовка функции, после которого стоит точка с запятой (ведь это инструкция!):

тип_возвращаемого_значения имя_объекта_функции ( список_формальных_параметров );

Для инструкции описания функции есть специальное название – прототип (prototype).

По инструкции описания объект не создается, а только объявляется, что такой объект должен быть создан и его характеристики – имя и список параметров будет таким, каким он описан.

 

В примере тела функции показано, как записать в программе на языке С++ много строковый комментарий. В комментарии можно  дать нужные пояснения к всей программе, ее частям – функциям или к отдельным инструкциям. Комментарии  системой не воспринимается как распознаваемый текст. Этот текст только для чтения программистом:

/*   это много

       строковый

       комментарий */

Комментарий, который занимает одну строку, можно создать так:

// это комментарий в одну строку

 

В комментарии можно использовать любые символы.

 

Главная функция в СИ++ как точка входа в программу.

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

Такой функцией всегда будет функция, которая имеет имя main:

// тип_возвращаемого_значения имя_объекта_функции ( список_формальных_параметров )

void                                              main                        (              void                            )

{

       //    инструкции тела функции   main

}

Слово void является зарезервированным словом и именем никакого типа (пустого типа). В заголовке этой функцииимя типа   void используется в списке ее формальных параметров чтобы указать, что функция не имеет параметров (список ее формальных параметров пустой) – она не получает информации от других объектов – функций, так как ее никто не вызывает, она первая исполняемая функция в программе. Тип  возвращаемого значения этой функции указан как тип void, то есть эта функция не передает информацию никакому другому объекту-функции через возвращаемое значение.

 

Операторы языка С++. Инструкция выражения.

Тело функции состоит из инструкций (statement). Часть инструкций определяет объекты, которые должны хранить обрабатываемые этой функцией данные, часть инструкций задает последовательность действия над этими объектами.

Действия над объектами (операции) в С++ осуществляются операторами (oper ator), которые задаются одним или более символов. (Обратите внимание, что в других языках и часто и в учебниках C++ инструкции (statement) называются операторами, а операторы - операциями).

Все операторы представляют собой отдельные лексемы, например  +      -   /    sizeof     ::.

По количеству операндов, участвующих в действии, определяемой оператором, операторы делятся на унарные (действие осуществляется над одним объектом) и бинарные (действие осуществляется над двумя объектами).

 

Понятие выражения.

Выражение  (выр expression) – это последовательность имен объектов, соединенных операторами.   Выражение задает выполнение некоторых действий над объектами в виде математической формулы и/или отношения.

Например, если определены следующие объекты:

int       nA1, nA2;

float    flt B;

то выражения могут выглядеть так:

nA1 + fltB – 2. / nA2

или так

fltB = 2.8

или так

nA1 = (nA2 + fltB) / nA2 - fltB * nA1

 

Порядок выполнения операторов в выражении.

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

 

 

В таблице приведены операторы языка, сгруппированные в порядке их приоритетов.

СВОДКА ОПЕРАТОРОВ (операций) С++ В каждой очерченной части находятся операторы с одинаковым приоритетом

 

Приоритет	Опера тор	Назначение опера тора	Синтаксис оператора
1	::	разрешение области видимости	имя_класса:: член
	::	глобальное	:: имя
2	->	выбор члена	указатель  -> член
	[ ]	индексация	указатель  [ выр ]
	()	вызов функции	выр (список_выр)
	sizeof	определение размера типа	sizeof (тип)
	sizeof	определение размера объекта	sizeofвыр
3	++	приращение после	lvalue ++
	++	приращение до	++ lvalue
	- -	уменьшение после	lvalue - -
	- -	уменьшение до	- - lvalue
	~	дополнение	~ выр
	!	не	!   выр
	-	ударный минус	- выр
	+	ударный плюс	+ выр
	&	адрес объекта	& lvalue
	*	разыменование	* выр
	new	создание (размещение)	new mun
	delete	уничтожение (освобождение)	delete указатель
	delete [ ]	уничтожение массива	delete  [] указатель
	()	преобразование типа	(тип) выр
4	*	умножение	выр * выр
	/	деление	выр /  выр
	%	взятие по модулю (остаток)	выр %  выр
5	+	сложение (плюс)	выр +  выр
	-	вычитание (минус)	выр   - выр
6	<<	сдвиг влево	lvalue << выр
	>>	сдвиг вправо	lvalue >> выр
7	<	меньше	выр < выр
	<=	меньше или равно	выр <= выр
	>	больше	выр > выр
	>=	больше или равно	выр >= выр
8	= =	равно	выр == выр
	!=	не равно	выр!= выр
9	&	побитовое И	выр  & выр
10	^	побитовое исключающее ИЛИ	выр  ^ выр
11	|	побитовое включающее ИЛИ	выр  |   выр
12	&&	логическое И	выр && выр
13	||	логическое ИЛИ	выр || выр
14	?:	арифметический if	выр? выр: выр
15	=	простое присваивание	lvalue = выр
	* =	умножить и присвоить	lvalue * = выр
	/ =	разделить и присвоить	lvalue / = выр
	% =	взять по модулю и присвоить	lvalue % = выр
	+ =	сложить и присвоить	lvalue + = выр
	- =	вычесть и присвоить	lvalue - = выр
16	,	запятая (последование)	выр  , выр

I ++ равнозначно    I = I + 1

++ I    равнозначно I = I + 1

J = I ++ равнозначно двум действиям в таком порядке J = I I = I + 1

J = ++ I равнозначнодвум действиям в таком порядке I = I + 1 J = I

Термин lvalue (left value) – леводопустимое выражение (происходит от объяснения оператора присваивания LV=A, в котором  левый операнд LV может быть только адресным объектом, в который копируется информация,  т.е. изменяемым выражением).

 

 

Неявное преобразование типов в выражении.

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

Если в выражение входят операнды одного типа, то значение выражения будет того же типа. В выражении операнды могут быть различных типов. Тогда перед вычислением выражения будут выполняться преобразования типов по умолчанию таким образом, чтобы осуществить преобразования более коротких типов в более длинные для сохранения значения и точности (это не относится! к оператору =)

Например, если определены следующие объекты:

int   nA1 = 2,    nA2 = 5.5; // значение объекта nA2 равно 5, так как произошло неявное

        // преобразование константы 5.5 типа float к типу int при выполнении оператора =

float flt B = 3;

Выражение nA1 + 2 - nA2 будет иметь значение - 1, тип которого int (все операнды в выражении типа int).

Выражение flt B = nA1+ 2 - nA2  будет иметь то же значение - 1., но тип его будет float, так как при выполнении оператора = произошло неявное преобразование внутреннего представления информации в объекте flt B.

Выражение nA1 + 2.2 - nA2 будет иметь значение 0.8, тип которого float (один из операндов константа 2.2 имеет тип float, следовательно все операнды в выражении преобразованы к более длинному типу float).

Выражение flt А2 = nA1+ 2.2 - nA2  будет иметь то же значение 0, тип его будет int, так как при выполнении оператора = произошло неявное преобразование значения 0.8, вычисленного в выражении nA1 + 2.2 - nA2 и имеющего значение float  к типу int.

 

 

Разберитесь каковы значения и тип у следующих выражений:

nA1 + fltB – 2. / nA2   // значение 4.6, тип float, т.к. значение 2. / nA2 равно 0.4

nA1 + fltB – 2 / nA2 // значение 5., тип float, т.к. значение 2 / nA2   равно  0

 

или так

fltB = 2.8                 // значение 2.8, тип float

 

или так         

       //           1.6                -   6

nA1 = (nA2 + fltB) / nA2 - fltB * nA1 // при выполнении последнего оператора =

//     nA1 = - 4.4 получили значение равное -4, тип int

Инструкция выражения.

Инструкция- выражение – это выражение, после которого стоит точка с запятой.

Например:

nB = 2.8;

       nA1 = (nA2 + fB) / nA2 - fB * nA1;

Инструкция выражение делает то, что делают над объектами операторы, записанные в выражении. Это одна из самых мощных инструкций, так как количество сочетаний различных действий, записанных в выражениях бесконечно.

 

Пример первой программы, состоящей из одной функции main.

 

Далее следует пример программы, состоящей из одной функции. А раз функция одна, то такой функцией может быть только функция main.

  Обратите внимание на цвет текста. Зарезервированные слова пишутся в редакторе синим цветом, комментарии зеленным, все остальные слова (слова, начертания которых определяет программист) и символы–операторы черные.