Глава 12 Расширения языка

19 Расширенные операторы индексирования

• 19.1 Многоиндексная нотация

(Введено в версии 4.06)

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

module Dict = struct
include Hashtbl
let ( .%{} ) tabl index = find tabl index
let ( .%{}<- ) tabl index value = add tabl index value
end
let dict =
  let dict = Dict.create 10 in
  let () =
    dict.Dict.%{"one"} <- 1;
    let open Dict in
    dict.%{"two"} <- 2 in
  dict

# dict.Dict.%{"one"};;

- : int = 1

# let open Dict in dict.%{"two"};;

- : int = 2

19.1 Многоиндексная нотация

Многоиндексная нотация также поддерживается с помощью второго варианта операторов индексирования

let (.%[;..]) = Bigarray.Genarray.get
let (.%{;..}) = Bigarray.Genarray.get
let (.%(;..)) = Bigarray.Genarray.get

который вызывается, когда литералы индексов содержат список выражений, разделенных точкой с запятой и имеющих два или более элемента:

let sum x y = x.%[1;2;3] + y.%[1;2]
(* is equivalent to *)
let sum x y = (.%[;..]) x [|1;2;3|] + (.%[;..]) y [|1;2|]

В частности, эта многоиндексная нотация позволяет единообразно обрабатывать индексирование массивов Genarray и других реализаций многомерных массивов.

module A = Bigarray.Genarray
let (.%{;..}) = A.get
let (.%{;..}<- ) = A.set
let (.%{ }) a k = A.get a [|k|]
let (.%{ }<-) a k x = A.set a [|k|] x
let syntax_compare vec mat t3 t4 =
          vec.%{0} = A.get vec [|0|]
   &&   mat.%{0;0} = A.get mat [|0;0|]
   &&   t3.%{0;0;0} = A.get t3 [|0;0;0|]
   && t4.%{0;0;0;0} = t4.{0,0,0,0}

Обратите внимание, что различие между операторами многоиндекса и одноиндекса чисто синтаксическое: операторы многоиндекса ограничены выражениями индексов, которые содержат одну или несколько точек с запятой ;. Например,

  let pair vec mat = vec.%{0}, mat.%{0;0}

эквивалентно

  let pair vec mat = (.%{ }) vec 0, (.%{;..}) mat [|0;0|]

Обратите внимание, что в случае vec мы вызываем оператор одноиндекса (.%{}), а не многоиндексную версию (.{;..}). По этой причине ожидается, что большинство пользователей операторов многоиндекса должны совместно определить вариант одноиндекса

let (.%{;..}) = A.get
let (.%{ }) a k = A.get a [|k|]

для единообразной обработки обоих случаев.