Блок (программирование)

Блок (также говорят блок кода, блок команд, блок инструкций) в программировании — это логически сгруппированный набор идущих подряд инструкций в исходном коде программы, является основой парадигмы структурного программирования.

Блоки служат для ограничения области видимости переменных и функций, а также позволяют обращаться к блоку инструкций как к единой инструкции, могут быть пустыми или вложенными один в другой.

Блок в коде иногда сравнивают с параграфом в тексте, хотя эти понятия имеют существенные различия.

С одной стороны, блок – крайне простая концепция программирования, с другой стороны, в некоторых языках программирования, например, в JavaScript, он связан с не малым количеством малозаметных специфичных особенностей, порой усложняющих оперирование им.

Выделение блока[править | править код]

Для выделения блоков применяются специальные конструкции языка программирования. Например, в семействе Си-подобных языков (С, C++, Java) и в языке JavaScript применяются фигурные скобки («{» и «}»). В языках, основанных на ALGOL, применяются ключевые слова begin и end (операторные скобки). В языках, основанных на Lisp, применяются S-выражения (lambda, let и т. д.) В языке Python блоки определяются различиями в отступе строк кода от левого края начала строки (обычно в 4 символа пробела).

Область видимости[править | править код]

Во многих языках блоки используются для ограничения области видимости. Так, например, переменная i, объявленная внутри блока, будет «видна» в этом блоке (включая вложенные блоки), но не будет «видна» за его пределами, поэтому часто используемый идентификатор i может применяться во многих местах программы, не вызывая ошибок. То же относится к именам процедур, функций, в некоторых языках — классов.

Область видимости блока в некоторых языках имеет довольно нетривиальное поведение. Например, в языке JavaScript её действие зависит от нескольких обстоятельств.

Особенности[править | править код]

В языках семейства Smalltalk блоки — это объекты со всеми соответствующими возможностями.

В языке JavaScript синтаксис блока аналогичен синтаксису литерала объекта, а семантика этих конструкций определяется внешним контекстом — принадлежностью к выражению, так как, в частности, алгоритм определения семантики внутренним контекстом столкнётся с неразрешимыми неоднозначностями. Также в нём инструкция break не видит меток за пределами функции, непосредственно в которой она применяется, что может служить веским аргументом в пользу реализации в JavaScript do-выражений.

Примеры[править | править код]

Блок внутри функции на языке (Си):

 {    int a = 1;    int b = 2;    int с = a + b;    return c;   } 

Блок на языке Pascal:

 begin    a := 5;    b := a - 2;  end 

Пример блока на Transact-SQL:

 BEGIN    SET @a = 'f'    IF @b = 1      SET @a = @a + ',f'    ELSE IF @b = 2      SET @a = @a + ',e'  END 

Блок на языке JavaScript без метки:

{     const a = 1, b = 2,           c = a + b; } 

Пустой блок без метки вложенный в множество блоков без меток на языке JavaScript:

{{{{{{{{{{{{{{{{{{{{{{{{{{{{{}}}}}}}}}}}}}}}}}}}}}}}}}}}}} 

Демонстрация одной из особенностей области видимости блока в JavaScript:

{     let a = 1;     var b = 2;     console.log(b) // 2     console.log(a) // 1 } console.log(b) // 2 console.log(a) // ReferenceError! 

Несмотря на особенность, продемонстрированную в предыдущем примере, следующий пример кода на языке JavaScript приведёт к синтаксической ошибке.

{     let a = 1;     var a = 1; } 

Блок на языке JavaScript с меткой и прерыванием его выполнения инструкцией break по его же метке (обратите внимание на отсутствие конфликта между меткой и одноимённым идентификатором):

x: {     const x = 0;     console.log(x);     break x;     console.log(x); } 

Разные семантики {...} в языке JavaScript (ошибочное содержимое используется с целью продемонстрировать определение семантики внешним контекстом):

// Блок кода { _: 1, _: 2, } + []; // SyntaxError!  // Блок кода eval('{ _: 1, _: 2, }') // SyntaxError! eval('{ valueOf: _ => Math.random() }') /*Неразрешимая неоднозначность для алгоритма определения семантики внутренним контекстом*/  // Литерал объекта eval('({ _: 1, _: 2, })') eval('+{ valueOf: _ => Math.random() }')  // Часть синтаксиса стрелочной функции (() => { _: 1, _: 2, })() // SyntaxError! // Литерал объекта (() => ({ _: 1, _: 2, }))() 

Демонстрация «слепоты» инструкции break языка JavaScript:

x: {     console.log(1);     (() => {         break x; // SyntaxError!     })();     console.log(2); } 

Для улучшения этой статьи желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. После исправления проблемы исключите её из списка. Удалите шаблон, если устранены все недостатки.