C Sharp 4.0 - C Sharp 4.0

Правильный заголовок этой статьи: C # 4.0. Замена # связано с технические ограничения.

C # 4.0 это версия C # язык программирования, выпущенный 11 апреля 2010 года. Microsoft выпустила 4.0 время выполнения и среда разработки Visual Studio 2010.^[1] Основное внимание в C # 4.0 уделяется взаимодействию с частично или полностью динамически типизированными языками и фреймворками, такими как Среда выполнения динамического языка и COM.

Функции

В C # 4.0 были добавлены следующие новые функции.^[2]

Динамический поиск членов

Новый псевдотип динамичный вводится в систему типов C #. Это рассматривается как System.Object, но, кроме того, любой доступ к члену (вызов метода, доступ к полю, свойству или индексатору или вызов делегата) или применение оператора к значению такого типа разрешается без какой-либо проверки типа, и его разрешение откладывается до запуска -время. Это известно как утка печатать. Например:

  // Возвращает значение свойства или поля Length любого объекта  int GetLength(динамичный объект)  {    возвращаться объект.Длина;  }    GetLength("Привет, мир");        // строка имеет свойство Length,  GetLength(новый int[] { 1, 2, 3 }); // и массив,  GetLength(42);                    // но не целое число - исключение будет сгенерировано в методе GetLength во время выполнения

Вызов динамических методов запускается значением типа динамичный как любой неявный или явный параметр (а не только получатель). Например:

  пустота Распечатать(динамичный объект)  {     Система.Консоль.WriteLine(объект); // какая перегрузка WriteLine () для вызова определяется во время выполнения  }  Распечатать(123);   // заканчивается вызовом WriteLine (int)  Распечатать("abc"); // заканчивается вызовом WriteLine (строка)

Динамический поиск выполняется с использованием трех различных механизмов: COM. IDispatch для COM-объектов, IDynamicMetaObjectProvider Интерфейс DLR для объектов, реализующих этот интерфейс, и отражение для всех остальных объектов. Поэтому любой класс C # может перехватывать динамические вызовы своих экземпляров, реализуя IDynamicMetaObjectProvider.

В случае вызовов динамического метода и индексатора разрешение перегрузки происходит во время выполнения в соответствии с фактическими типами значений, переданных в качестве аргументов, но в остальном в соответствии с обычными правилами разрешения перегрузки C #. Более того, в случаях, когда получатель в динамическом вызове сам не является динамическим, разрешение перегрузки во время выполнения будет учитывать только методы, которые представлены в объявленном типе времени компиляции получателя. Например:

учебный класс Основание{  пустота Фу(двойной Икс);}учебный класс Полученный : Основание{  пустота Фу(int Икс);}динамичный Икс = 123;Основание б = новый Полученный();б.Фу(Икс); // выбирает Base.Foo (double), потому что b имеет тип Base, а Derived.Foo (int) не отображаетсядинамичный b1 = б;b1.Фу(Икс); // выбирает Derived.Foo (int)

Любое значение, возвращаемое из динамического доступа к члену, само имеет тип динамичный. Значения типа динамичный неявно конвертируются как из любого другого типа, так и в любой другой. В приведенном выше примере кода это позволяет GetLength функция для обработки значения, возвращаемого вызовом Длина как целое число без явного приведения. Во время выполнения фактическое значение будет преобразовано в запрошенный тип.

Ковариантные и контравариантные параметры универсального типа

Общий интерфейсы и делегаты могут иметь параметры типа, помеченные как ковариантный или контравариантный используя ключевые слова из и в соответственно. Эти объявления затем учитываются при преобразовании типов, как неявном, так и явном, как во время компиляции, так и во время выполнения. Например, существующий интерфейс IEnumerable был переопределен следующим образом:

интерфейс IEnumerable<из Т>{  IEnumerator<Т> GetEnumerator();}

Следовательно, любой класс, реализующий IEnumerable для какого-то класса Полученный также считается совместимым с IEnumerable <база> для всех классов и интерфейсов Основание который Полученный расширяется, прямо или косвенно. На практике это позволяет писать такой код, как:

пустота PrintAll(IEnumerable<объект> объекты){  для каждого (объект о в объекты)  {    Система.Консоль.WriteLine(о);  }}IEnumerable<нить> струны = новый Список<нить>();PrintAll(струны); // IEnumerable  неявно преобразуется в IEnumerable