Презентация на тему Функции (c#)

процедуры и функции. Они позволяли задавать определенную функциональность и

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

функциональную, но и архитектурную роль. Весьма популярным при построении

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

библиотеки классов. Библиотека классов FCL Framework Class Library, библиотека

классов каркаса), доступная в языке C#, существенно расширяет возможности языка. Знание классов этой библиотеки и методов этих классов совершенно необходимо для практического программирования на C# с использованием всей его мощи.

функциональность данных класса и называются методами класса. Главную роль

в программной системе играют данные, а функции лишь служат данным. Напомним еще раз, что в C# процедуры и функции существуют только как методы некоторого класса, они не существуют вне класса. В данном контексте понятие класс распространяется и на все его частные случаи - структуры, интерфейсы, делегаты.

procedure и function, но присутствуют сами эти понятия. Синтаксис

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

всегда вычисляет некоторое значение, возвращаемое в качестве результата функции;

2. И вызывается в выражениях.

формальный результат void, указывающий на отсутствие результата;
2. Вызов

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

когда он имеет один выходной аргумент, рассматриваемый как результат

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

синтаксис заголовка метода: [атрибуты][модификаторы]{void| тип_результата_функции}
имя_метода ([список_формальных_аргументов])

метода. Отметим, что в сигнатуру не входят имена формальных

аргументов - здесь важны типы аргументов. В сигнатуру не входит и тип возвращаемого результата.

которых пока рассмотрим только два - public и private.

Модификатор public показывает, что метод открыт и доступен для вызова клиентами и потомками класса. Модификатор private говорит, что метод предназначен для внутреннего использования в классе и доступен для вызова только в теле методов самого класса. Отметим, что если модификатор доступа опущен, то по умолчанию предполагается, что он имеет значение private и метод является закрытым для клиентов и потомков класса.

имени метода и круглых скобок, наличие которых необходимо и

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

{...}; int B(){...}; public void C(){...};
Методы A и

B являются закрытыми, а метод С - открыт. Методы A и С реализованы процедурами, а метод B - функцией, возвращающей целое значение.

аргументов метода может быть пустым, и это довольно типичная

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

| out | params ] тип_аргумента имя_аргумента.
Обязательным является

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

при вызове метода передавать ему произвольное число фактических аргументов.

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

входные, выходные и обновляемые. Аргументы первой группы передают информацию

методу, их значения в теле метода только читаются. Аргументы второй группы представляют собой результаты метода, они получают значения в ходе работы метода. Аргументы третьей группы выполняют обе функции. Их значения используются в ходе вычислений и обновляются в результате работы метода. Выходные аргументы всегда должны сопровождаться ключевым словом out, обновляемые - ref. Что же касается входных аргументов, то, как правило, они задаются без ключевого слова, хотя иногда их полезно объявлять с параметром ref. Отметим, если аргумент объявлен как выходной с ключевым словом out, то в теле метода обязательно должен присутствовать оператор присваивания, задающий значение этому аргументу. В противном случае возникает ошибка еще на этапе компиляции.

первый аргумент представляет сумму кубов /// произвольного числа оставшихся

аргументов /// Аргументы могут быть разного типа. /// private void A(out long p2, int p1) { p2 = (long) Math.Pow(p1, 3); Console.WriteLine("Метод A-1"); } private void A(out long p2, params int[ ] p) { p2 = 0; for (int i = 0; i < p.Length; i++) p2 += (long) Math.Pow(p[i], 3); Console.WriteLine("Метод A-2"); } private void A(out double p2, double p1) { p2 = Math.Pow(p1, 3); Console.WriteLine( “Метод A-3"); } private void A(out double p2, params double[ ] p) { p2 = 0; for (int i = 0; i < p.Length; i++) p2 += Math.Pow(p[i], 3); Console.WriteLine("Метод A-4"); } ///

/// Функция с побочным эффектом ///

/// Увеличивается на 1 /// значение a на входе private int f(ref int a) { return a++; }

f будут использоваться при объяснении перегрузки и побочного эффекта.

Сейчас проанализируем только их заголовки. Все методы закрыты, поскольку объявлены без модификатора доступа. Перегруженные методы с именем A являются процедурами, метод f - функцией. Все четыре перегруженных метода имеют разную сигнатуру. Хотя имена и число аргументов у всех методов одинаковы, но типы и ключевые слова, предшествующие аргументам, различны. Первый аргумент у всех четырех перегруженных методов - выходной и сопровождается ключевым словом out, в теле метода этому аргументу присваивается значение. Аргумент функции f - обновляемый, он снабжен ключевым словом ref, в теле функции используется его значение для получения результата функции, но и само значение аргумента изменяется в теле функции. Два метода из группы перегруженных методов используют ключевое слово params для своего последнего аргумента. Позже мы увидим, что при вызове этих методов указанному аргументу будет соответствовать несколько фактических аргументов, число которых может быть произвольным.

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

фигурные скобки. Если речь идет о теле функции, то в блоке должен быть хотя бы один оператор перехода, возвращающий значение функции в форме return (выражение).
Переменные, описанные в блоке, считаются локализованными в этом блоке. В записи операторов блока участвуют имена локальных переменных блока, имена полей класса и имена аргументов метода.
Знания семантики описаний и операторов достаточно для понимания семантики блока.

по ссылке, для этого есть ключевое слово ref:
static

void Swap(ref int a, ref int b)
{ int t = a; a = b; b = t; }

не изменить существующее значение, то нужно использовать ключевое слово

out:
static void SolveSquareEquation( double a, double b, double c, out double x1, out double x2);
Причем соответствующее слово должно ставиться не только в заголовке функции, но и при ее вызове
swap(ref aa, ref bb);

массив объектов, а сами объекты размещаются теперь в куче,

а не на стеке Для компилятора указывается ключевое слово params:

void F(params int[] args)
{ Console.WriteLine("# of arguments: {0}",

args.Length);
for (int i = 0; i < args.Length; i++)
{ Console.WriteLine("\targs[{0}] = {1}", i, args[i]);
}
static void Main()
{ F(); F(1); F(1, 2); F(1, 2, 3);
F(new int[] {1, 2, 3, 4}); } }
}

могут вызывать кто угодно
protected - функции могут вызывать

только производные классы
private - функции могут вызываться только из этого же класса
internal - функции могут вызываться внутри пространства имен?
protected internal = protected + internal
то же самое относится ко всему, что находится внутри класса

этого потребуется перед ней написать ключевое слово new. Можно

переопределить, использовав ключевое слово override. Но переопределить можно только те функции, которые были объявлены ключевым словом virtual, как виртуальные (в отличие от Java, функции в C# по умолчанию невиртуальные)

реализовать дополнительную логику.
public string Caption
{
get
{

return ...;
}
set
{ ... = value; ...redraw...
}
}
Если написать только функцию доступа get, а функцию доступа put пропустить, то свойство будет доступным только для чтения.