Motoko中非空判断后?Product仍无法转实体Product类型报错如何解决？

报错原因 #

Motoko的类型系统不会对普通的相等/不等判断做Option类型的自动窄化，也就是说即使你加了product != null的判断，编译器依然会将if代码块内的product识别为?Product可选类型，和你Array.append指定的泛型参数Product不匹配，因此抛出类型错误。

正确实现方式 #

方式1：使用if模式匹配直接解包（更简洁，官方推荐） #

直接在if判断里同时完成非空判断+解包，解包后的值天然就是Product类型：

for (id in productIds.vals()) {
   if (let product = products.products.get(id)) {
      products_list := Array.append<Product>(products_list, [product]);
   };
};

当get返回非空的?Product时才会进入if块，此时product的类型已经被编译器推导为纯Product类型，无需额外操作。

方式2：保留原有判断逻辑，手动强制解包 #

如果你要保留原来的非空判断写法，需要在if块内用!操作符强制解包可选类型：

for (id in productIds.vals()) {
   var product: ?Product = products.products.get(id);
   if (product != null) {
      products_list := Array.append<Product>(products_list, [product!]);
   };
};

!操作符会把?T类型转换为T类型，运行时如果值为null会触发陷阱，你前面已经做了非空判断，所以此处解包是安全的。

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