Язык программирования C#9 и платформа .NET5

***** Fun with Implicit Typing *****

myInt is a: Int32

myBool is a: Boolean

myString is a: String

Неявное объявление чисел

Неявное объявление Как утверждалось ранее, целые числа по умолчанию получают тип int, а числа с плавающей точкой — тип double. Создайте новый метод по имени DeclareImplicitNumerics и поместите в него показанный ниже код, в котором демонстрируется неявное объявление чисел:

static void DeclareImplicitNumerics ( )

{

  // Неявно типизированные числовые переменные.

  var myUInt = 0u;

  var myInt = 0;

  var myLong = 0L;

  var myDouble = 0.5;

  var myFloat = 0.5F;

  var myDecimal = 0.5M;

  // Вывод лежащего в основе типа.

  Console.WriteLine("myUInt is a: {0}", myUInt.GetType().Name);

  Console.WriteLine("myInt is a: {0}", myInt.GetType().Name);

  Console.WriteLine("myLong is a: {0}", myLong.GetType().Name);

  Console.WriteLine("myDouble is a: {0}", myDouble.GetType().Name);

  Console.WriteLine("myFloat is a: {0}", myFloat.GetType().Name);

  Console.WriteLine("myDecimal is a: {0}", myDecimal.GetType().Name);

}

Ограничения неявно типизированных переменных

С использованием ключевого слова var связаны разнообразные ограничения. Прежде всего, неявная типизация применима только к локальным переменным внутри области видимости метода или свойства. Использовать ключевое слово var для определения возвращаемых значений, параметров или данных полей в специальном типе не допускается. Например, показанное ниже определение класса приведет к выдаче различных сообщений об ошибках на этапе компиляции:

class ThisWillNeverCompile

{

  // Ошибка! Ключевое слово var не может применяться к полям!

  private var myInt = 10;

  // Ошибка! Ключевое слово var не может применяться

  // к возвращаемому значению или типу параметра!

  public var MyMethod(var x, var y){}

}

Кроме того, локальным переменным, которые объявлены с ключевым словом var, обязано присваиваться начальное значение в самом объявлении, причем присваивать null в качестве начального значения невозможно. Последнее ограничение должно быть рациональным, потому что на основании только null компилятору не удастся вывести тип, на который бы указывала переменная.

// Ошибка! Должно быть присвоено значение!

var myData;

// Ошибка! Значение должно присваиваться в самом объявлении!

var myInt;

myInt = 0;

// Ошибка! Нельзя присваивать null в качестве начального значения!

var myObj = null;

Тем не менее, присваивать null локальной переменной, тип которой выведен в результате начального присваивания, разрешено (при условии, что это ссылочный тип):

// Допустимо, если SportsCar имеет ссылочный тип!

var myCar = new SportsCar();

myCar = null;

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

// Также нормально!

var myInt = 0;

var anotherlnt = myInt;

string myString = "Wake up!";

var myData = myString;

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

static int GetAnlntO

{

  var retVal = 9;

  return retVal;

}

Неявно типизированные данные строго типизированы