如何正确处理Js.Nullable？解决类型不兼容报错问题

首先，咱们先明确报错的核心原因：你试图把Js.Nullable.t(string)和Js.Nullable.t(int)塞进同一个数组，但ReasonML是静态类型语言，数组要求所有元素的类型必须完全一致，这两个类型显然不兼容，所以编译器直接抛出了类型不匹配的错误。

接下来给你两种实用的处理思路：

1. 统一类型后再输出 #

既然数组要求类型一致，那咱们把int类型的Nullable转成string类型即可。用Js.Nullable.map就能轻松实现——它会帮你转换Nullable内部的值，同时保留Nullable的空值结构：

let str_result: Js.Nullable.t(string) = Js.Nullable.return("something");
let int_result: Js.Nullable.t(int) = Js.Nullable.fromOption(Some(5));

// 将int类型的Nullable转换为string类型的Nullable
let int_str_result = Js.Nullable.map(int_result, string_of_int);

// 现在两个元素都是Js.Nullable.t(string)，可以正常放在数组里日志输出了
Js.log([|str_result, int_str_result|]);

如果int_result本身是null，Js.Nullable.map会自动保留null状态，完全不用额外处理空值。

2. 分别处理每个Nullable值 #

如果你不想统一类型，也可以单独处理每个Nullable，这种方式更灵活，还能自定义null场景的输出：

let str_result: Js.Nullable.t(string) = Js.Nullable.return("something");
let int_result: Js.Nullable.t(int) = Js.Nullable.fromOption(Some(5));

// 用Js.Nullable.iter遍历Nullable：有值就执行回调，null就跳过
Js.Nullable.iter(str_result, str => Js.log(str));
Js.Nullable.iter(int_result, num => Js.log(string_of_int(num)));

// 或者封装一个通用日志函数，专门处理Nullable的空值情况
let logNullable = (value, converter) => {
  switch Js.Nullable.toOption(value) {
  | Some(v) => Js.log(converter(v))
  | None => Js.log("该值为null")
  };
};

// 调用封装好的函数
logNullable(str_result, x => x);
logNullable(int_result, string_of_int);

这种方式的优势是，你可以针对不同类型的Nullable做个性化处理，比如给null值设置更友好的提示信息。

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