轉換

Question

說我有在Java中定義下面的類：

public class A 
{ 
    public class B 
    { 
    } 

    public B[] someFunc() {...} 
} 

，我試圖如下訪問它在斯卡拉：

val array: Array[A#B] = a.someFunc() 

編譯器給我以下警告：

* type mismatch;找到：Array [aB] required：Array [A＃B]注意：aB <：A＃B，但類Array在類型T中不變。您可能希望研究通配符類型，例如`_ <：A＃B *

我不知道我應該用來糾正這個錯誤的正確語法。我嘗試使用以下，但它不會編譯：

val array: Array[T <: A#B] = a.someFunc() 

但我發現走通過它傳遞給一個函數來克服這個問題：

def test[T <: A#B](array: Array[T]) = ... 
test(a.someFunc()) 

它編譯罰款。

我將如何實現正確的類型分配而不必定義此測試功能？

由於

德

Answer 1

你B內該類沒有標記static，這意味着，從階來看，它是不伴隨對象的成員（即，靜態成員） A#B，但它是實例化對象本身的成員a.B。

所以，你應該只需要聲明你的價值是這樣的：

val array: Array[a.B] = a.someFunc() 

還是讓類型推斷做到這一點：

val array = a.someFunc() // typed as Array[a.B] 

編輯：如果你沒有a參考說謊通常你可以將a.B上傳到A#B。 Array是不變的，所以這是行不通的，但有一個詭計：將它包裝在協變的東西中。

val array: IndexedSeq[A#B] = a.someFunc() 

您可以使用一個像一個陣列，它實際上沒有任何轉換（它是一個WrappedArray），你可以在調用它toArray如果你真的想要得到的Array[A#B]。

這只是避免做a.someFunc().asInstanceOf[Array[A#B]]的一招，但當然你可以直接做到這一點。