Обратимся сначала к простому примеру. // Простой пример, демонстрирующий применение инициализаторов объектов. using System; class MyClass { public int Count; public string Str; } class ObjInitDemo { static void Main() { // Сконструировать объект типа MyClass, используя инициализаторы объектов. MyClass obj = new MyClass { Count = 100, Str = "Тестирование" }; Console.WriteLine(obj.Count + " " + obj.Str); } } Выполнение этого кода дает следующий результат.
100 Тестирование Как показывает результат выполнения приведенного выше кода, переменная экзем пляра obj.Count инициализирована значением 100, а переменная экземпляра obj. Str — символьной строкой "Тестирование". Но обратите внимание на то, что в клас се MyClass отсутствуют явно определяемые конструкторы и не используется обычный синтаксис конструкторов. Вместо этого объект obj класса MyClass создается с помо щью следующей строки кода.
MyClass obj = new MyClass { Count = 100, Str = "Тестирование" }; В этой строке кода имена полей указываются явно вместе с их первоначальными значениями. Это приводит к тому, что сначала конструируется экземпляр объекта типа MyClass (с помощью неявно вызываемого по умолчанию конструктора), а затем задаются первоначальные значения переменных Count и Str данного экземпляра. Следует особо подчеркнуть, что порядок указания инициализаторов особого зна чения не имеет. Например, объект obj можно было бы инициализировать и так, как показано ниже.
MyClass obj = new MyClass { Str = "Тестирование", Count = 100 }; В этой строке кода инициализация переменной экземпляра Str предшествует инициализации переменной экземпляра Count, а в приведенном выше коде все про исходило наоборот. Но в любом случае результат получается одинаковым. Ниже приведена общая форма синтаксиса инициализации объектов:
new имя_класса {имя = выражение, имя = выражение, ...} где имя обозначает имя поля или свойства, т.е. доступного члена класса, на который указывает имя_класса. А выражение обозначает инициализирующее выражение, тип которого, конечно, должен соответствовать типу поля или свойства. Инициализаторы объектов обычно не используются в именованных классах, как, на пример, в представленном выше классе MyClass, хотя это вполне допустимо. Вообще, при обращении с именованными классами используется синтаксис вызова обычного конструктора. И, как упоминалось выше, инициализаторы объектов применяются в основном в анонимных типах, формируемых в LINQ-выражениях. ## Необязательные аргументы В версии C# 4.0 внедрено новое средство, повышающее удобство указания аргу ментов при вызове метода. Это средство называется необязательными аргументами и позволяет определить используемое по умолчанию значение для параметра метода. Данное значение будет использоваться по умолчанию в том случае, если для параме тра не указан соответствующий аргумент при вызове метода. Следовательно, указывать аргумент для такого параметра не обязательно. Необязательные аргументы позволяют упростить вызов методов, где к некоторым параметрам применяются аргументы, вы бираемые по умолчанию. Их можно также использовать в качестве "сокращенной" формы перегрузки методов. Применение необязательного аргумента разрешается при создании необязательного параметра. Для этого достаточно указать используемое по умолчанию значение па раметра с помощью синтаксиса, аналогичного инициализации переменной. Исполь зуемое по умолчанию значение должно быть константным выражением. В качестве примера рассмотрим следующее определение метода.
static void OptArgMeth(int alpha, int beta=10, int gamma = 20) { В этой строке кода объявляются два необязательных параметра: beta и gamma, при чем параметру beta по умолчанию присваивается значение 10, а параметру gamma — значение 20. Эти значения используются по умолчанию, если для данных параметров не указываются аргументы при вызове метода. Следует также иметь в виду, что пара метр alpha не является необязательным. Напротив, это обычный параметр, для кото рого всегда нужно указывать аргумент. Принимая во внимание приведенное выше объявление метода OptArgMeth(), последний можно вызвать следующими способами.
// Передать все аргументы явным образом. OptArgMeth(1, 2, 3); // Сделать аргумент gamma необязательным. OptArgMeth(1, 2); // Сделать оба аргумента beta и gamma необязательными. OptArgMeth(1); При первом вызове параметру alpha передается значение 1, параметру beta — значение 2, а параметру gamma — значение 3. Таким образом, все три аргумента за даются явным образом, а значения, устанавливаемые по умолчанию, не используются. При втором вызове параметру alpha передается значение 1, а параметру beta — зна чение 2, но параметру gamma присваивается устанавливаемое по умолчанию значение 20. И наконец, при третьем вызове упомянутого выше метода параметру alpha пере дается значение 1, а параметрам beta и gamma присваиваются устанавливаемые по умолчанию значения. Следует, однако, иметь в виду, что параметр beta не получит устанавливаемое по умолчанию значение, если то же самое не произойдет с параме тром gamma. Если первый аргумент устанавливается по умолчанию, то и все остальные аргументы должны быть установлены по умолчанию. Весь описанный выше процесс демонстрируется в приведенном ниже примере программы.
// Продемонстрировать необязательные аргументы. using System; class OptionArgDemo { static void OptArgMeth(int alpha, int beta=10, int gamma = 20) { Console.WriteLine("Это аргументы alpha, beta и gamma: " + alpha + " " + beta + " " + gamma); } static void Main() { // Передать все аргументы явным образом. OptArgMeth(1,2,3); // Сделать аргумент gamma необязательным. OptArgMeth(1, 2); // Сделать оба аргумента beta и gamma необязательными. OptArgMeth(1); } } Результат выполнения данной программы лишь подтверждает применение ис пользуемых по умолчанию аргументов.
Это аргументы alpha, beta и gamma: 1 2 3 Это аргументы alpha, beta и gamma: 1 2 20 Это аргументы alpha, beta и gamma: 1 10 20 Как следует из приведенного выше результата, если аргумент не указан, то исполь зуется его значение, устанавливаемое по умолчанию. Следует иметь в виду, что все необязательные аргументы должны непременно ука зываться справа от обязательных. Например, следующее объявление оказывается не действительным.
int Sample(string name = "пользователь", int userid) { // Ошибка! Для исправления ошибки в этом объявлении необходимо указать аргумент userId до аргумента name. Раз уж вы начали объявлять необязательные аргументы, то ука зывать после них обязательные аргументы нельзя. Например, следующее объявление также оказывается неверным.
int Sample(int accountId, string name = "пользователь", int userId) { // Ошибка! Аргумент name объявляется как необязательный, и поэтому аргумент userId сле дует указать до аргумента name (или же сделать его также необязательным). Помимо методов, необязательные аргументы можно применять в конструкторах, ин дексаторах и делегатах. (Об индексаторах и делегатах речь пойдет далее в этой книге.) Преимущество необязательных аргументов заключается, в частности, в том, что они упрощают программирующему обращение со сложными вызовами методов и конструкторов. Ведь нередко в методе приходится задавать больше параметров, чем обычно требуется. И в подобных случаях некоторые из этих параметров могут быть сделаны необязательными благодаря аккуратному применению необязательных ар гументов. Это означает, что передавать нужно лишь те аргументы, которые важны в данном конкретном случае, а не все аргументы, которые в противном случае должны быть обязательными. Такой подход позволяет рационализировать метод и упростить программирующему обращение с ним. ### Необязательные аргументы и перегрузка методов В некоторых случаях необязательные аргументы могут стать альтернативой пере грузке методов. Для того чтобы стало понятнее, почему это возможно, обратимся еще раз к примеру метода OptArgMeth(). До появления в C# необязательных аргументов нам пришлось бы создать три разных варианта метода OptArgMeth(), чтобы добиться таких же функциональных возможностей, как и у рассмотренного выше варианта это го метода. Все эти варианты пришлось бы объявить следующим образом.
static void OptArgMeth(int alpha) static void OptArgMeth(int alpha, int beta) static void OptArgMeth(int alpha, int beta, int gamma) Эти перегружаемые варианты метода OptArgMeth() позволяют вызывать его с од ним, двумя или тремя аргументами. (Если значения параметров beta и gamma не пере даются, то они предоставляются в теле перегружаемых вариантов данного метода.) Без условно, в такой реализации функциональных возможностей метода OptArgMeth() с помощью перегрузки нет ничего дурного. Но в данном случае целесообразнее все же воспользоваться необязательными аргументами, хотя такой подход не всегда оказыва ется более совершенным, чем перегрузка метода. ### Необязательные аргументы и неоднозначность При использовании необязательных аргументов может возникнуть такое затрудне ние, как неоднозначность. Нечто подобное может произойти при перегрузке метода с необязательными параметрами. В некоторых случаях компилятор может оказать ся не в состоянии определить, какой именно вариант метода следует вызывать, когда необязательные аргументы не заданы. В качестве примера рассмотрим два следующих варианта метода OptArgMeth().
static void OptArgMeth(int alpha, int beta=10, int gamma = 20) { Console.WriteLine("Это аргументы alpha, beta и gamma: " + alpha + " " + beta + " " + gamma); } static void OptArgMeth(int alpha, double beta=10.0, double gamma = 20.0) { Console.WriteLine("Это аргументы alpha, beta и gamma: " + alpha + " " + beta + " " + gamma); } Обратите внимание на то, что единственное отличие в обоих вариантах рассматри ваемого здесь метода состоит в типах параметров beta и gamma, которые оказываются необязательными. В первом варианте оба параметра относятся к типу int, а во вто ром — к типу double. С учетом этих вариантов перегрузки метода OptArgMeth() следующий его вызов приводит к неоднозначности.