Объявление и вызов методов в C#

том числе перегруженных и принимающих переменное число параметров, а также инструметами рефакторинга, предоставленными Microsoft Visual Studio

действия, которые может выполнять тип

Весь код принадлежит методу

Методы позволяют инкапсулировать операции, которые защищают данные, хранимые внутри типа

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

параметрам метода
если метод возвращает значение, необходимо указать, как использовать это значение

public bool LockReport(string reportName, string userName)
{
bool success = false;
// Perform some processing here.
return success;
}

bool isReportLocked = LockReport("Medical Report", "Don Hall");

int Sum(int first, int second)
{
return first + second;
}

int i = 1;
int j = 2;
int result = Sum(i++, i+j);

result = 5

Аргументы метода вычисляются в строгом порядке слева-направо

public void Deposit(decimal amount)
{
_balance += amount;
}
public void Deposit(string amount)
{
_balance += decimal.Parse(amount);
}
public void Deposit(int dollars, int cents)
{
_balance += dollars + (cents / 100.0m);
}

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

особенно если не существует теоретических ограничений на их количество

int Add(int one, int two)
{
return one + two;
}

int Add(int one, int two, int three)
{
return one + two + three;
}

int Add(int one, int two, int three, int four)
{
return one + two + three + four;
}

int Add(. . .)
{
return one + two + three + four + . . .;
}

i = 0; i < data.Length; i++)
{
sum += data[i];
}
return sum;
}

int[] myData = new int[4];
myData[0] = 99;
myData[1] = 2;
myData[2] = 55;
myData[3] = -26;
//...
int sum = myObject.Add(myData);

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

(int i = 0; i < data.Length; i++)
{
sum += data[i];
}
return sum;
}
...
int sum = myObject.Add(99, 2, 55, -26);

При определении метода с массивом параметров компилятор C# автоматически генерирует код, который создает массив из набора аргументов, указываемых при вызове метода

Ключевое слово params определяет массив параметров

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

путем изменения его внутренней структуры, не влияющей на внешнее поведение кода

Для осуществления рефакторинга существующего кода в метод необходимо выполнить следующие действия

В Visual Studio в окне редактора кода следует выбрать код, который необходимо реорганизовать в метод, щелкнуть правой кнопкой мыши пункт Refactor, а затем нажать кнопку Extract Method

В диалоговом окне Extract Method, в поле New method name нужно ввести имя метода, а затем нажать кнопку OK

1

2

= @"C:\Users\Student\Desktop";
if (messageContents == null || messageContents == String.Empty)
{
throw new ArgumentException("Message cannot be empty");
}
if (filePath == null || !System.IO.File.Exists(filePath))
{
throw new ArgumentException("File path must exist");
}
File.AppendAllText(filePath, messageContents);
string messageContents = "My message text here";
string filePath = @"C:\Users\Student\Desktop";
LogMessage(messageContents, filePath);
File.AppendAllText(filePath, messageContents);
private static void LogMessage(string messageContents, string filePath)
{
if (messageContents == null || messageContents == String.Empty)
{
throw new ArgumentException("Message cannot be empty");
}
if (filePath == null || !System.IO.File.Exists(filePath))
{
throw new ArgumentException("File path must exist");
}
}

также с выходными параметрами и именованными аргументами

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

Используются при взаимодействии с другими технологиями, поддерживающими необязательные параметры
void MyMethod(int intData, float floatData, int moreIntData)
{
...
}
void MyMethod(int intData, float floatData)
{
...
}

int arg1 = 99;
float arg2 = 100.0F;
int arg3 = 101;
MyMethod(arg1, arg2, arg3);
MyMethod(arg1, arg2);

int moreIntData = 99)
{
...
}
// Arguments provided for all three parameters
MyMethod(10, 123.45F, 99);
// Arguments provided for 1st two parameters only
MyMethod(100, 54.321F);
void MyMethod(int intData, float floatData = 101.1F, int moreIntData)
{...}
private static void Do(string massage, DateTime dt = DateTime.Now)
{...}

CTE

Значение, присваиваемое необязательному параметру, должно быть известно во время компиляции и не может вычисляться во время выполнения

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

отличается от порядка параметров в его сигнатуре

void MyMethod(int first, double second, string third)
{. . .}
. . .
MyMethod(third: "Hello", first: 1234, second: 12.12);

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

Объявление метода

Вызов метода с именованными аргументами

Можно смешивать позиционированные и именованные аргументы

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

добавить ключевое слово out к параметру метода
void MyMethod(int first, double second, out int data)
{
...
data = 99;
}

int value;
MyMethod(10, 101.1F, out value);

int value;
MyMethod(10, 101.1F, value);

Присваивать начальное значения не обязательно

Обязательно присвоить соответствующие значения

value = 99

CTE

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

M1()
{
string name = "Joe";
M2(name);
. . .
return;
}

. . .

Стек потока перед вызовом метода M1

Стек потока

M1()
{
string name = "Joe";
M2(name);
. . .
return;
}

. . .

Размещение локальной переменной name метода M1 в стеке потока

name(string)

string name = "Joe";

Стек потока

{

M1()
{
string name = "Joe";
M2(name);
. . .
return;
}

. . .

Размещение аргументов метода М2 и адреса возврата в стек потока

name(string)
void M2(string s)
{
int length = s.Length;
int tally;
. . .
return;
}

s(string)

[return adress]

M2(name);

Стек потока

void M2(string s)

M1()
{
string name = "Joe";
M2(name);
. . .
return;
}

. . .

name(string)
void M2(string s)
{
int length = s.Length;
int tally;
. . .
return;
}

s(string)

length(int)

tally(int)

Стек потока

Выделение в стеке потока памяти для локальных переменных метода М2

int length = s.Length;

[return adress]

int tally;

{

return;

}

. .

Стековый фрейм М2 возвращается в первоначальное состояние

name(string)

M2(name);

Стек потока

return;

}

Стековый фрейм М1 возвращается в первоначальное состояние, M1 возвращает управление вызывающей функции, устанавливая указатель команд процессора на адрес возврата

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

class Employee
{
public int GetYearsEmployed { ... }
public virtual string GetProgressReport { ... }
public static Employee Lookup(string name) { ... }
}
internal sealed class Manager : Employee
{
public override string GetProgressReport { ... }
}

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

CLR загружена в процесс, его куча инициализирована, готовится вызов стека потока, в который загружен метод МЗ

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Type Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

При вызове метода МЗ создаются объекты типа Employee и Manager

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Type Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

Employee e;

int year;

e(Employee)

year(int)

null

0

Выделение памяти в стеке потока для локальных переменных метода МЗ

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

e(Employee)

year(int)

Type object ptr
Sync block index
Instance fields

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Object

Manager Type Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

e = new Manager();

0

Создание и инициализация объекта Manager

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

e(Employee)

year(int)

Type object ptr
Sync block index
Instance fields

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Object

Manager Type Object

Type object ptr
Sync block index
Instance fields

Manager Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

JITted
code

e = Employee.Lookup("Joe");

0

Статический метод Lookup в Employee выделяет память и инициализирует объект Manager значением Joe

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

e(Employee)

year(int)

Type object ptr
Sync block index
Instance fields

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Object

Manager Type Object

Type object ptr
Sync block index
Instance fields

Manager Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

JITted
code

JITted
code

year = e.GetYearsEmployeed();

Невиртуальный экземплярный метод GetYearsEmployeed в Employee возвращает значение 5

5

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

e(Employee)

year(int)

Type object ptr
Sync block index
Instance fields

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Object

Manager Type Object

Type object ptr
Sync block index
Instance fields

Manager Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object

JITted
code

JITted
code

JITted
code

e.GetProgressReport();

При вызове виртуального метода GetProgressReport экземпляра Employee будет вызвана переопределенная реализация этого метода в Manager

5

M3()
{
Employee e;
int year;
e = new Manager();
e = Employee.Lookup("Joe");
year = e.GetYearsEmployeed();
e.GetProgressReport();
}

Управляемая куча

Стек потока

e(Employee)

year(int)

Type object ptr
Sync block index
Instance fields

Type object ptr
Sync block index
Static fields
GetProgressReport

Manager Object

Manager Type Object

Type object ptr
Sync block index
Instance fields

Manager Object
Type object ptr
Sync block index
Static fields
GetYearsEmployed
GetProgressReport
Lookup

Employee Type Object
Type object ptr
Sync block index
Static fields
. . .

Type Type Object

JITted
code

JITted
code

JITted
code

Объекты типа Manager и Employee как экземпляры типа System.Type

5