Browse by Tags

• Arrays
• Breaking Change
• C#
• Code Generation
• Conversions
• Memory Management
• Reference
• Scripting
• Type Safety

• Почему ковариантность массивов типов-значений несогласована?

  Еще один интересный вопрос со StackOverflow : uint[] foo = new uint[10]; object bar = foo; Console.WriteLine("{0} {1} {2} {3}", foo is uint[], // True foo is int[], // False bar is uint[], // True bar is int[]); // True Что за ерунда тут происходит? Этот Read More... Posted Thursday, September 24, 2009 6:53 AM by gaidar | 0 Comments Filed under: C#, Covariance and Contravariance, Arrays

• Почему в ref и out параметрах нет вариантности типов?

  Вот хороший вопрос со StackOverflow : Если у вас есть метод, принимающий «X», то вы должны передавать выражение типа X или что-то, приводимое к X . Скажем, выражение производного от X типа. Но если у вас есть метод, принимающий «ref X», то вы обязаны Read More... Posted Monday, September 21, 2009 6:36 AM by gaidar | 0 Comments Filed under: C#, Covariance and Contravariance, Conversions, Type Safety, Reference

• Void не вариантен

  [ДОПОЛНЕНИЯ ниже] Некоторое время назад я описал вид вариантности, который мы поддерживаем, начиная с C# 2.0 . При присваивании группы методов делегату такого типа, что и выбранный метод, и делегат возвращают ссылочный тип, то разрешено ковариантное преобразование. Read More... Posted Monday, June 29, 2009 7:30 AM by gaidar | 1 Comments Filed under: C#, Breaking Change, Scripting, Memory Management, Code Generation, Covariance and Contravariance, Conversions