使類型Array（T）的類成員屬性接受T的二維數組

Question

我已經定義了一個Container類。在@values屬性中，我需要存儲一個數組或二維數組，而這些數組中的元素可以是Int32或Float64。如果我初始化這樣的：

class Container 

    def initialize(value) 
    @values = values 
    end 

end 

我得到一個錯誤：@values : Type, is inferred from assignments to it across the whole program.

如果我定義它是這樣的：

class Container 

    def initialize(value : Array) 
    @values = values 
    end 

end 

我得到：can't use Array(T) as the type of instance variable @values of Container(T), use a more specific type

我怎樣才能讓這個類更靈活，所以我可以這樣做：

Container.new([1,2,3]) 
Container.new([1.0, 3.0, 4.0]) 
Container.new([[1, 2], [4,3,2],[1]]) 
Container.new([[1.0, 4.5], [2.2, 0.0]]) 

Answer 1

做了一些挖掘之後，似乎確實有一個official way of doing this。但是，一定要規劃好，因爲使用語法構造給了我下面的水晶0.20.1

def initialize(value : Array(Array | Int32 | Float64)) 
    @values = value 
end 

Error in line 3: can't use Array(T) in unions yet, use a more specific type 

如果我正確地從您的樣本數據的理解，好像類型將是均勻（即陣列將始終包含一個特定的類型）。如果是這種情況，你可以簡單地重載構造函數。這不是一個漂亮的解決方案，但也許它可以把你綁定。

class Container 

    def initialize(value : Array(Array)) 
    @values = value 
    calculate 
    end 

    def initialize(value : Array(Int32)) 
    @values = value 
    calculate 
    end 

    def initialize(value : Array(Array(Int32))) 
    @values = value 
    calculate 
    end 

    def initialize(value : Array(Array(Float64))) 
    @values = value 
    calculate 
    end 

    def initialize(value : Array(Float64)) 
    @values = value 
    calculate 
    end 

    def calculate 
    # do stuff here 
    end 

end 

Container.new([1,2,3]) 
Container.new([1.0, 3.0, 4.0]) 
Container.new([[1, 2], [4,3,2],[1]]) 
Container.new([[1.0, 4.5], [2.2, 0.0]]) 

編輯：

看來你可以使用@ faaq的解決方案，而該類型的感謝，指定由@Sija評論。他們也共享this sample code，我認爲它比重載構造函數更清潔。

Answer 2

爲什麼不使用泛型？

class Container(Type) 

    def initialize(@values : Type) 
    pp @values 
    pp typeof(@values) 
    end 

end 

value = [1,2,3] 
Container(typeof(value)).new(value) 
value = [1.0, 3.0, 4.0] 
Container(typeof(value)).new(value) 
value = [[1, 2], [4,3,2],[1]] 
Container(typeof(value)).new(value) 
value = [[1.0, 4.5], [2.2, 0.0]] 
Container(typeof(value)).new(value) 

輸出是：

@values # => [1, 2, 3] 
typeof(@values) # => Array(Int32) 
@values # => [1.0, 3.0, 4.0] 
typeof(@values) # => Array(Float64) 
@values # => [[1, 2], [4, 3, 2], [1]] 
typeof(@values) # => Array(Array(Int32)) 
@values # => [[1.0, 4.5], [2.2, 0.0]] 
typeof(@values) # => Array(Array(Float64))