Когда в коде применяются обнуляемые типы, создаваемый обнуляемый объект обычно выглядит следующим образом. int? count = null;
В данной строке кода переменная count явно инициализируется пустым значени ем (null). Это вполне соответствует принятому правилу: прежде чем использовать переменную, ей нужно присвоить значение. В данном случае присваиваемое значение означает, что переменная не определена.
Значение может быть присвоено обнуляемой переменной обычным образом, по скольку преобразование базового типа в обнуляемый определено заранее. Например, в следующей строке кода переменной count присваивается значение 100. count = 100;
Определить, имеет переменная обнуляемого типа пустое или конкретное значение, можно двумя способами. Во-первых, можно проверить переменную на пустое значе ние. Так, если переменная count объявлена так, как показано выше, то в следующей строке определяется, имеет ли эта переменная конкретное значение. if (count != null) // переменная имеет значение
Если переменная count не является пустой, то она содержит конкретное значение. И во-вторых, можно воспользоваться доступным только для чтения свойством HasValue типа Nullable<T>, чтобы определить, содержит ли переменная обнуляе мого типа конкретное значение. Это свойство показано ниже. bool HasValue
Свойство HasValue возвращает логическое значение true, если экземпляр объекта, для которого оно вызывается, содержит конкретное значение, а иначе оно возвраща ет логическое значение false. Ниже приведен пример, в котором конкретное значе ние обнуляемого объекта count определяется вторым способом с помощью свойства HasValue. if(count.HasValue) // переменная имеет значение
Если обнуляемый объект содержит конкретное значение, то получить это значение можно с помощью доступного только для чтения свойства Value типа Nullable. Т Value
Свойство Value возвращает экземпляр обнуляемого объекта, для которо го оно вызывается. Если же попытаться получить с помощью этого свойства зна чение пустой переменной, то в итоге будет сгенерировано исключение System. InvalidOperationException. Кроме того, значение экземпляра обнуляемого объек та можно получить путем приведения к его базовому типу.
В следующей программе демонстрируется основной механизм обращения с обну ляемым типом. // Продемонстрировать применение обнуляемого типа. using System; class NullableDemo { static void Main() { int? count = null; if(count.HasValue) Console.WriteLine("Переменная count имеет следующее значение: " + count.Value); else Console.WriteLine("У переменной count отсутствует значение"); count = 100; if(count.HasValue) Console.WriteLine("Переменная count имеет следующее значение: " + count.Value); else Console.WriteLine("У переменной count отсутствует значение"); } }
Вот к какому результату приводит выполнение этой программы. У переменной count отсутствует значение Переменная count имеет следующее значение: 100 Применение обнуляемых объектов в выражениях
Обнуляемый объект может использоваться в тех выражениях, которые являются действительными для его базового типа. Более того, обнуляемые объекты могут со четаться с необнуляемыми объектами в одном выражении. И это вполне допустимо благодаря предопределенному преобразованию базового типа в обнуляемый. Когда обнуляемые и необнуляемые типы сочетаются в одной операции, ее результатом ста новится значение обнуляемого типа.
В приведенной ниже программе демонстрируется применение обнуляемых типов в выражениях. // Использовать обнуляемые объекты в выражениях. using System; class NullableDemo { static void Main() { int? count = null; int? result = null; int incr = 10; // переменная incr не является обнуляемой // переменная result содержит пустое значение. // переменная оказывается count пустой. result = count + incr; if(result.HasValue) Console.WriteLine("Переменная result имеет следующее значение: " + result.Value); else Console.WriteLine("У переменной result отсутствует значение"); // Теперь переменная count получает свое значение, и поэтому // переменная result будет содержать конкретное значение. count = 100; result = count + incr; if(result.HasValue) Console.WriteLine("Переменная result имеет следующее значение: " + result.Value); else Console.WriteLine("У переменной result отсутствует значение"); } }
При выполнении этой программы получается следующий результат. У переменной result отсутствует значение Переменная result имеет следующее значение: 110 Оператор ??
Попытка преобразовать обнуляемый объект в его базовый тип путем при ведения типов обычно приводит к генерированию исключения System. InvalidOperationException, если обнуляемый объект содержит пустое значение. Это может произойти, например, в том случае, если значение обнуляемого объекта присваивается переменной его базового типа с помощью приведения типов. Появле ния данного исключения можно избежать, если воспользоваться оператором ??, на зываемым нулеобъединяющим оператором. Этот оператор позволяет указать значение, которое будет использоваться по умолчанию, если обнуляемый объект содержит пу стое значение. Он также исключает потребность в приведении типов.
Ниже приведена общая форма оператора ??. обнуляемый_объект ?? значение_по_умолчанию
Если обнуляемыйобъект содержит конкретное значение, то результатом опера ции ?? будет именно это значение. В противном случае результатом операции ?? ока жется значениепо_умолчанию.
Например, в приведенном ниже фрагменте кода переменная balance содержит пустое значение. Вследствие этого переменной currentBalance присваивается зна чение 0.0, используемое по умолчанию, и тем самым устраняется причина для гене рирования исключения. double? balance = null; double currentBalance; currentBalance = balance ?? 0.0;
В следующем фрагменте кода переменной balance присваивается значение 123.75. double? balance = 123.75; double currentBalance; currentBalance = balance ?? 0.0;
Теперь переменная currentBalance содержит значение 123.75 переменной balance.
И еще одно замечание: выражение в правой части оператора ?? вычисляется толь ко в том случае, если выражение в левой его части не содержит значение. Этот факт демонстрируется в приведенной ниже программе. // Применение оператора ?? using System; class NullableDemo2 { // Возвратить нулевой остаток. static double GetZeroBal() { Console.WriteLine("В методе GetZeroBalO."); return 0.0; } static void Main() { double? balance = 123.75; double currentBalance; // Здесь метод GetZeroBal() не вызывается, поскольку // переменная balance содержит конкретное значение. currentBalance = balance ?? GetZeroBal(); Console.WriteLine(currentBalance); } }
В этой программе метод GetZeroBal() не вызывается, поскольку переменная balance содержит конкретное значение. Как пояснялось выше, если выражение в ле вой части оператора ?? содержит конкретное значение, то выражение в правой его части не вычисляется. Обнуляемые объекты, операторы отношения и логические операторы
Обнуляемые объекты могут использоваться в выражениях отношения таким же образом, как и соответствующие объекты необнуляемого типа. Но они должны под чиняться следующему дополнительному правилу: когда два обнуляемых объекта срав ниваются в операциях сравнения <, >, <= или >=, то их результат будет ложным, если любой из обнуляемых объектов оказывается пустым, т.е. содержит значение null. В качестве примера рассмотрим следующий фрагмент кода. byte? lower = 16; byte? upper = null;
// Здесь переменная lower определена, а переменная upper не определена. if(lower < upper) // ложно
В данном случае проверка того, что значение одной переменой меньше значения другой, дает ложный результат. Хотя это и не совсем очевидно, как, впрочем, и следую щая проверка противоположного характера. if(lower > upper) // .. также ложно!
Следовательно, если один или оба сравниваемых обнуляемых объекта оказываются пустыми, то результат их сравнения всегда будет ложным. Это фактически означает, что пустое значение (null) не участвует в отношении порядка.
Тем не менее с помощью операторов == и != можно проверить, содержит ли обну ляемый объект пустое значение. Например, следующая проверка вполне допустима и дает истинный результат. if(upper == null) // ...
Если в логическом выражении участвуют два объекта типа bool?, то его результат может иметь одно из трех следующих значений: true (истинное), false (ложное) или null (неопределенное). Ниже приведены результаты применения логических опера торов & и | к объектам типа bool?. P Q P | Q P & Q true null true null false null null false null true true null null false null false null null null null
И наконец, если логический оператор ! применяется к значению типа bool?, ко торое является пустым (null), то результат этой операции будет неопределенным (null). Частичные типы
Начиная с версии 2.0, в C# появилась возможность разделять определение класса, структуры или интерфейса на две или более части с сохранением каждой из них в от дельном файле. Это делается с помощью контекстного ключевого слова partial. Все эти части объединяются вместе во время компиляции программы.
Если модификатор partial используется для создания частичного типа, то он принимает следующую общую форму: partial тип имя_типа { // ...
где имя_типа обозначает имя класса, структуры или интерфейса, разделяемого на ча сти. Каждая часть получающегося частичного типа должна указываться вместе с моди фикатором partial.
Рассмотрим пример разделения простого класса, содержащего координаты XY, на три отдельных файла. Ниже приведено содержимое первого файла.
partial class XY { public XY(int a, int b) { X = a; Y = b; } }
Далее следует содержимое второго файла. partial class XY { public int X { get; set; } }
И наконец, содержимое третьего файла. partial class XY { public int Y { get; set; } } В приведенном ниже файле исходного текста программы демонстрируется при менение класса XY.