Простейший запрос
if (1=0)
begin
declare @foo int = 1;
end
select @foo;

В результате дает на выходе NULL. То есть переменная объявилась, хотя условие не соблюдено. Я правильно понимаю, что скуль при анализе объявляет все переменные, а потом уже смотрит на условия IF и, следуя условию, присваивает значение и именно по этому я имею видимость переменной. Может быть есть некий порядок при разборе блока. Что то типа "сначала объявляем и сохраняем в памяти все переменные, далее IF, далее еще что нибудь...."?

msLex,

Вот оно что. Благодарю. На самом деле я с этим столкнулся, объявляя табличную переменную в теле курсора. Почему то мне всегда казалось, что каждая "итерация" курсора - это отдельный батч. Вышло, что табличная переменная копила данные при каждом прохождении по курсору. И игнорируется каждый раз ее объявление. Во всяком случае не выдает ошибку. Вот именно это меня смутило.
Тогда выходит, что скуль собирает при разборе информацию об объявлениях переменных, а потом игнорирует все declare, если они для переменных с таким же именем опять встречаются по ходу логики выполнения

[quot TaPaK#22026009]

Если он компилируется условия "все равно", то значит тратит на это ресурсы. И по логике выходит, что я могу миллион конструкций с IF накрутить, при этом ничего выполняться не будет, но ресурсы потратятся? Типа IF 1=0, else if 2=0 и так далее...

Владислав Колосов,
благодарю. Вопрос закрыт.