ocaml - 如何访问ocaml数据类型并递归修改值？

Question

我正在学习 Ocaml 并且完全不知道如何处理这个问题。

这里是例子。

假设

type xml = Element of tag * xml list | CharData of string;;

我想访问标签值并修改它。

我能想到的方法是

match xml with 
    Element (tag, xlist) -> (* do something *) 
|   CharData str -> (* do something *)

我知道这不是递归语法，但我想至少知道如何处理这个

Answer 1

如果我理解你的问题，你可以通过两种不同的方式实现你想要的。

您在标签类型上使用可变数据结构，如下例所示:

type tag = string ref;;
type xml = Element of tag * xml list | CharData of string;;

let xml_test = Element (ref "person",
   [CharData "text0";
    Element (ref "phoneNumber", [CharData "text2"]);
    CharData "text1";
    Element (ref "phoneNumber", [CharData "text3"])]);;

let modify_tag tag new_value=
    tag := new_value;;

let rec modify_and_print_xml xml =
    match xml with 
        Element (tag, xlist) -> modify_tag tag (!tag^"_modified");
                                print_string (!tag); print_newline ();

                                (*here you do the recursive call*)
                                List.iter (fun element -> modify_and_print_xml element) xlist

        |CharData str -> print_string str; print_newline ();;

modify_and_print_xml xml_test;;

否则，由于您是函数式编程的新手，考虑它的最佳方式不是就地修改标签值，而是构造一个具有修改后标签的新 xml 值(这是您应该做的编写纯功能代码并消除副作用)。

这是一个例子，假设您要将名为“phoneNumber”的每个标签修改为“phone”:

let rec get_modified_xml xml =
    match xml with
        Element (tag, xlist) -> if (!tag = "phoneNumber") then
                                    Element(ref "phone", List.map (fun element -> get_modified_xml element) xlist)
                                else
                                    Element (tag, List.map (fun element -> get_modified_xml element) xlist)
        | _ -> xml;;


get_modified_xml xml_test;;

输出:

- : xml =
Element ({contents = "person"},
 [CharData "text0"; Element ({contents = "phone"}, [CharData "text2"]);
  CharData "text1"; Element ({contents = "phone"}, [CharData "text3"])])