Foreach

Для оператора foreach stmt в форме

foreach ( неуправляемый_тип: идентификатор in выражение ) внедренный_оператор

· состояние определенного присваивания переменной v в начале выражения expr соответствует состоянию переменной v в начале операции stmt;

· состояние определенного присваивания переменной v при переключении потока управления на внедренный_оператор или в конечную точку операции stmt соответствует состоянию переменной v в конце выражения expr.