Книга: Технология XSLT

Отсутствие "побочных" эффектов

Отсутствие "побочных" эффектов

Одним из краеугольных принципов XSLT, с которым, увы, нелегко смириться разработчику, работавшему только с процедурными языками, — это отсутствие "побочных" эффектов. Под побочными эффектами в данном случае понимаются изменения в окружении преобразования, которые отражаются на дальнейшем его выполнении.

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

f(x, у) > вернуть x + у;

будет чистой функцией. Сколько бы раз мы ее не вызывали, ее результат все равно будет равен сумме аргументов. Кроме того, результат вычисления f(f(x₁, y₁), f(x₂, y₂)) будет равен x₁ + y₁ + x₂ + y₂, в каком бы порядке мы не вычисляли эти функции:

f(f(x₁, y₁), f(x₂, y₂)) = f(x₁ + y₁, f(x₂, y₂)) = x₁ + y₁ + f(x₂, y₂) = x₁ + y₁ + x₂ + y₂

f(f(x₁, y₁), f(x₂, y₂)) = f(f(x₁, y₁), x₂ + y₂) = f(x₁, y₁) + x₂ + y₂ = x₁ + y₁ + x₂ + y₂

f(f(x₁, y₁), f(x₂, y₂)) = f(x₁, y₁) + f(x₂, y₂) = x₁ + y₁ + f(x₂, y₂) = x₁ + y₁ + x₂ + y₂

и так далее.

Представим теперь похожую функцию, обладающую побочным эффектом:

f(x, у) ? z присвоить x; увеличить z на у; вернуть z;

В данном случае побочный эффект состоит в изменении значения переменной z. В этом случае результат вычисления выражения f(z, f(x, у)) строго зависит от того, в каком порядке будут вычисляться функции — в одних случаях результатом будет x + у + z, в других 2?x + 2?у. Для того чтобы результат вычислений с побочными эффектами был детерминирован, требуется строгая определенность в порядке действий. В XSLT же эта строгая определенность отсутствует, преобразование — это набор правил, а не последовательность действий.

Таковы теоретические посылки отсутствия побочных эффектов. Главным практическим ограничением является то, что преобразования не могут во время выполнения изменять переменные — после того, как переменной присвоено некоторое начальное значение, измениться оно больше не может.

Сильнее всего это ограничение сказывается на стиле XSLT-программирования. Он становится ближе к функциональному стилю таких языков, как Lisp и Prolog. Научиться соответствовать этому стилю просто, хотя поначалу он и будет казаться неудобным.

Оглавление книги