为啥 Crystal 不能在初始化程序中推断出这种类型？

Posted 2023-03-06

【中文标题】为啥 Crystal 不能在初始化程序中推断出这种类型？

【英文标题】：Why can't Crystal infer this type in initializer?为什么 Crystal 不能在初始化程序中推断出这种类型？

【发布时间】：2018-01-28 14:39:48

【问题描述】：

我有以下代码：

class Triangle
  def initialize(@sides : Array(Int32))
    @set = Set.new(@sides)
  end
end

但是我得到了一个编译器错误：

Can't use Set(T) as the type of instance variable @set of Triangle, use a more specific type

因为@sides 是Array(Int32) 类型，所以我会认为在片场会有类型推断。我已经阅读了the docs，但没有看到答案。

【参考方案1】：

本质上，实例变量的类型推断不够聪明，无法确定泛型类型。我想这应该是可能的，并且可能会在一段时间内实现，但现在你必须明确地编写它。

【参考方案2】：

你必须设置集合的类型，像这样：

class Triangle
  def initialize(@sides : Array(Int32))
    @set = Set(Int32).new(@sides)
  end
end

【讨论】：

谢谢，我知道该怎么做，但不明白为什么编译器需要它（这是我的问题）。