OCaml中ISO-Latin1字符告警与非法字符错误的原因排查咨询

错误原因 #

你调用put_list时使用了全角单引号（’），但OCaml规定字符字面量必须用**英文半角单引号（'）**包裹。全角单引号属于ISO-Latin1字符，不在OCaml允许的语法字符范围内，因此编译器抛出“Illegal character (\128)”错误，同时触发ISO-Latin1字符的废弃警告。

解决方法 #

将调用语句里所有的全角单引号替换为英文半角单引号即可：

put_list 'x' 3 ['-'; '-'; '-'; '-'; '-'; '-'];; 

另外补充一个函数逻辑优化点：当前代码在传入的索引i大于列表长度时，会直接返回原列表（递归到空列表时返回空，拼接后相当于忽略替换操作）。如果需要处理索引越界的情况，可以在递归前添加长度检查：

let put_list v i list =
    if i < 1 then invalid_arg "index must be positive"
    else if List.length list < i then invalid_arg "index out of bounds"
    else
        let rec put_list_rec v i list = match list with
             [] -> []
           | e::t -> if i = 1 then v::t
                     else e::put_list_rec v (i-1) t
        in put_list_rec v i list;;

内容的提问来源于stack exchange，提问作者aa2