Motoko中的条件为空？

Question

获取以下错误：

expression of type
  ?Product/798
cannot produce expected type
  {id : Nat; name : Text; price : Nat; sku : Text}

当尝试循环遍历ids列表时，获取相应的Product值，并仅当HashMap ()函数返回HashMap时才添加到新数组中。

for (id in productIds.vals()) {
   var product: ?Product = products.products.get(id);

   if (product != null) {
      products_list := Array.append<Product>(products_list, [product]);
   };
};

我是不是误解了解决这个问题的最好方法？看起来我不应该得到任何错误，因为如果它不是Product类型(这是它引用的“预期类型”)，它应该继续下去，对吗？

Answer 1

变量product的类型为?Product，但Array.append函数的实例化需要一个普通类型为Product的值数组。

与null的比较并没有神奇地改变变量的类型。您需要将其与switch进行模式匹配，以提取实际值：

switch product {
  case (?p) { products_list := Array.append<Product>(products_list, [p]) };
  case null { ...do something else... };
}