Net framework 5, а также среды Visual Studio 2012 и C#

Глава 19.
 Null-совместимые 
значимые типы
Как известно, переменная значимого типа не может принимать значение 
null
; ее 
содержимым всегда является значение соответствующего типа. Именно поэтому 
типы и называют 
значимыми
. Но в некоторых ситуациях такой подход создает про-
блемы. Например, при проектировании базы данных тип данных столбца можно 
определить как 32-разрядное целое, что в FCL соответствует типу 
Int32
. Однако 
в столбце базы может отсутствовать значение, что соответствует значению 
null
, 
и это — вполне стандартная ситуация. А это создаст проблемы при работе с базой 
данных средствами .NET Framework, ведь общеязыковая среда (CLR) не позволяет 
представить значение типа 
Int32
как 
null
.
ПриМеЧание
Адаптеры.таблиц.Microsoft.ADO NET.поддерживают.типы,.допускающие.присвоение.
null .Но,.к.сожалению,.типы.в.пространстве.имен.System Data SqlTypes.не.замещают-
ся.null-совместимыми.типами.отчасти.из-за.отсутствия.однозначного.соответствия.
между.ними .К.примеру,.тип.SqlDecimal.допускает.максимум.38.разрядов,.в.то.время.
как.обычный.тип.Decimal.—.только.29 .А.тип.SqlString.поддерживает.собственные.
региональные.стандарты.и.порядок.сравнения,.чего.не.скажешь.о.типе.String 
Вот еще один пример: в Java класс 
java.util.Date
относится к ссылочным типам, 
а значит, его переменные допускают присвоение значения 
null
. В то же время в CLR 
тип 
System.DateTime
является значимым и подобного присвоения не допускает. 
Если написанному на Java приложению потребуется передать информацию о дате 
и времени веб-службе на платформе CLR, возможны проблемы. Ведь если Java-
приложение отправит значение 
null
, CLR просто не будет знать, что с ним делать.
Чтобы исправить ситуацию, в Microsoft разработали для CLR 
null-совместимые 
значимые типы
(nullable value type). Чтобы понять, как они работают, познакомимся 
с определенным в FCL классом 
System.Nullable
. Вот логическое представление 
реализации этого класса:
[Serializable, StructLayout(LayoutKind.Sequential)]
public struct Nullable where T : struct {
// Эти два поля представляют состояние
private Boolean hasValue = false; // Предполагается наличие null
internal T value = default(T); // Предполагается, что все биты 
// равны нулю
продолжение


---

486