Зіставляння із взірцем

Зіставляння із взірцем або зіставлення із шаблоном (англ. pattern matching) — метод аналізу та опрацювання структур даних у мовах програмування, заснований на виконанні певних інструкцій залежно від збігу досліджуваного значення з тим чи іншим взірцем (шаблоном), яким може бути константа, предикат, тип даних або інша конструкція, підтримувана мовою.

Зазвичай є можливість задати більше одного взірця та пов'язаної з ним дії.

Зіставляння із взірцем часто зустрічається у функційних мовах програмування, наприклад, мовах сімейства ML та Haskell, зокрема у вигляді вартових виразів.

Зразки послідовностей (наприклад, текстовий рядок) можна зіставляти з регулярними виразами.

Найпростішим варіантом є зіставляння з константою. У цьому разі зіставляння із взірцем еквівалентне умовному оператору або конструкції switch (case) в імперативних мовах.

Розглянемо, наприклад, обчислення логічного заперечення.

В OCaml :

let neg x =
  match x with
  | false -> true
  | true -> false
;;

Тут значення після символа | є взірцями, а вирази після -> обчислюються в разі збігу аргументу x з одним із взірців. Той самий приклад з використанням умовного оператора:

let neg x = 
  if x = false then true
  else false
;;

Обчислення суми списку:

let rec sum l = 
  match l with
  | [] -> 0
  | x :: xs -> x + (sum xs)
;;

У цьому прикладі аргумент функції sum зіставляється зі значенням «порожній список» або із взірцем «голова :: хвіст» (де :: — оператор додавання елемента на початок списку).

Як взірець може застосовуватися конструктор значення типу:

type animal = Dog of string | Cat of string ;;

let say x =
  match x with
  | Dog (x) -> x ^ "says 'woof'"
  | Cat (x) -> x ^ "says 'meow'"
;;

Мови з розвиненими засобами опрацювання тексту, такі як AWK та SNOBOL, підтримують зіставляння з регулярним виразом.

Приклад на AWK — підрахунок кількості входжень слів foo або bar:

/foo|bar/ { foobar++ }

END { print foobar }

В іншому мовному розділі є повніша стаття Pattern matching(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою перекладу з англійської. Дивитись автоперекладену версію статті з мови «англійська». Перекладач повинен розуміти, що відповідальність за кінцевий вміст статті у Вікіпедії несе саме автор редагувань. Онлайн-переклад надається лише як корисний інструмент перегляду вмісту зрозумілою мовою. Не використовуйте невичитаний і невідкоригований машинний переклад у статтях української Вікіпедії! Машинний переклад Google є корисною відправною точкою для перекладу, але перекладачам необхідно виправляти помилки та підтверджувати точність перекладу, а не просто скопіювати машинний переклад до української Вікіпедії. Не перекладайте текст, який видається недостовірним або неякісним. Якщо можливо, перевірте текст за посиланнями, поданими в іншомовній статті. Докладні рекомендації: див. Вікіпедія:Переклад.