OCaml使用List.iter时出现Unbound value错误的求助

错误原因 #

你的getloc函数里，let res = Database.query meta ip in的作用域仅覆盖到第一个printf语句——因为你使用了;;，这会终止当前表达式的上下文，导致后续所有printf语句都不在res的作用域范围内，因此编译器报错"Unbound value res"。

在OCaml中，let <binding> in <expression>的语法规则要求<expression>必须是单个表达式。如果需要执行多个带副作用的语句（比如连续的printf），需要使用序列表达式：用;分隔语句，并用begin...end或括号将它们包裹成一个整体表达式。

修正后的代码 #

将getloc函数中的;;替换为;，并用begin...end包裹所有输出语句，确保它们都处于res的作用域内：

open Printf
open Ip2location

(* query IP2Location BIN datababase *)
let meta = Database.open_db "./IP2LOCATION-LITE-DB1.IPV6.BIN"

let mylist = ["0.0.0.0"; "8.3.34.0"; "8.8.8.8"; "3.91.171.8"; "37.252.228.50"; "64.94.62.0"; "197.85.191.64"; "255.255.255.254"; "255.255.255.255"; "179.125.12.0"; "::"; "2001::"; "2001:0:4136:e378:8000:63bf:f7f7:f7f7"; "2001:0000:4136:e378:8000:63bf:f7fc:ddff"; "2002::"; "2002:808:808::"; "2002:0803:2200::0803:2200"; "2600:1F18:45B0:5B00:0000:0000:0000:0000"; "::FFFF:FFFF"; "::FFFF:3.91.171.8"; "::FFFF:8.3.34.0"; "::FFFF:64.94.62.0"; "::FFFF:C555:BF40"; "ffff:ffff:ffff:ffff:FFFF:FFFF:FFFF:FFFE"; "FFFF:FFFF:FFFF:FFFF:FFFF:FFFF:FFFF:FFFF"; "0:0:0:0:0:ffff:b37d:0c00"; "0.0.0.256"; "0.0.0"; "1"; "A"]

let getloc ip =
    let res = Database.query meta ip in
    begin
        printf "country_short: %s\n" res.country_short;
        printf "country_long: %s\n" res.country_long;
        printf "region: %s\n" res.region;
        printf "city: %s\n" res.city;
        printf "isp: %s\n" res.isp;
        printf "latitude: %f\n" res.latitude;
        printf "longitude: %f\n" res.longitude;
        printf "domain: %s\n" res.domain;
        printf "zip_code: %s\n" res.zip_code;
        printf "time_zone: %s\n" res.time_zone;
        printf "net_speed: %s\n" res.net_speed;
        printf "idd_code: %s\n" res.idd_code;
        printf "area_code: %s\n" res.area_code;
        printf "weather_station_code: %s\n" res.weather_station_code;
        printf "weather_station_name: %s\n" res.weather_station_name;
        printf "mcc: %s\n" res.mcc;
        printf "mnc: %s\n" res.mnc;
        printf "mobile_brand: %s\n" res.mobile_brand;
        printf "elevation: %f\n" res.elevation;
        printf "usage_type: %s\n" res.usage_type;
        printf "address_type: %s\n" res.address_type;
        printf "category: %s\n" res.category;
        printf "district: %s\n" res.district;
        printf "asn: %s\n" res.asn;
        printf "as: %s\n" res.asys
    end

List.iter getloc mylist

Database.close_db meta

额外提示 #

• 编译型OCaml代码中，尽量避免使用;;，它主要用于交互式环境（如utop）来分隔表达式。
• 序列表达式中的;用于分隔多个有副作用的语句，整个序列的返回值是最后一个语句的返回值（这里所有printf返回unit，所以整体返回unit，符合List.iter对函数参数的要求）。

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