VB vs C#: Почему это возможно?

Question

Вот какой-то код, который беспокоит меня каждый раз, когда я об этом думаю.

Option Strict On 

Module Module1 

    Sub Main() 
     For Each i As Integer In New String() {"why", "is", "this", "tolerated?"} 
      ' compiles just fine. 
     Next 
    End Sub 

End Module 

C# просто не разрешает преобразовывать строки в целые числа неявно.

class Program { 
    static void Main(string[] args) { 
     foreach (int i in new string[] {"that's", "better"}) { 
      // will not compile, and for good reason. 
     } 
    } 
} 

Почему VB позволяет нам это делать? Я пытаюсь получить удовольствие от этого, потому что я все еще относительно новичок, но мне также очень любопытно. Я уверен, что там есть разработчики с ответом.

Answer 1

Это, по-видимому, идиосинкразия заявления For Each. Согласно документации, она оценивается в Runtime.

От Link:

Когда Option Strict установлено значение On, сужая преобразования обычно приводят к ошибкам компиляции. Однако в операторе For Each преобразования из элементов в группе в элемент оцениваются и выполняются во время выполнения, а ошибки компилятора, вызванные сужением конверсий, подавляются.

В следующем примере назначение m в качестве начального значения для n не компилируется, когда параметр Strict включен, поскольку преобразование длинного в целое является сужающим преобразованием. Однако в инструкции For Each не сообщается об ошибке компилятора, даже если для присвоения номеру требуется такое же преобразование из Long в Integer. В операторе For Each, который содержит большое число, возникает ошибка времени выполнения, когда ToInteger применяется к большому числу.

Answer 2

В качестве дополнения к отвечу Марка, вот как выглядит скомпилированный код vb.net. Как вы можете видеть, код компилируется в оператор For...Next, и ошибка возникает только во время выполнения при попытке преобразования строки в целое.

Dim VB$t_array$L0 As String() = New String() { "why", "is", "this", "tolerated?" } 
Dim VB$t_i4$L0 As Integer 
For VB$t_i4$L0 = 0 To VB$t_array$L0.Length - 1 
    Dim i As Integer = Conversions.ToInteger(VB$t_array$L0(VB$t_i4$L0)) 
Next VB$t_i4$L0 

Answer 3

Microsoft извиняется за это в спецификации языка, глава 10.9:

Текущий элемент итерации преобразуется к типу управляющей переменной цикла, даже если преобразование явно, потому что есть нет удобного места для введения оператора преобразования в оператор. Это стало особенно трудным при работе с наиболее распространенным типом коллекции System.Collections.ArrayList, потому что его тип элемента - Object. Это потребовало бы отливок в большом количестве циклов, что-то, что мы чувствовали, было не идеальным.

Похоже, что дженерики позволили создать строго типизированную коллекцию System.Collections.Generic.List (Of T), которая, возможно, заставила нас переосмыслить эту точку дизайна, но для совместимости это не может быть изменено сейчас.

Answer 4

Я единственный, кто может видеть, что в коде VB массив представляет собой общий (вариант) массив, в то время как код C# содержит строгий массив строк?