给定 java 类“抽象凭证”并派生“EmailPassword”/“OAuth”类。
和接口(interface) CredentialsStorage，具有适当的实现 EmailPasswordStorage 和 OAuthStorage
我需要创建某种具有三元组的数组:存储、有效凭证、无效凭证)
所以我从这个开始:
type T <: Credentials
type S <: CredentialsStorage[T]
private var testData: Array[(S, T, T)] = Array(
(emailStorage, validEmailPasswd, new EmailPasswordCredentials("1", "2")),
(oAuthStorage, validAuthToken, new OAuthCredentials("invalid auth token", OAuthService.FACEBOOK))
)
然而这并不能编译
error: type mismatch;
found : storage.EmailPasswordStorage[credentials.EmailPassword]
required: CredentialsStorageTest.this.S
(emailStorage, validEmailPasswd, new EmailPasswordCredentials("1", "2")),
我该如何解决这个问题以及此处依赖/存在类型的正确定义是什么？
UPD 我通过元组类型本身的定义解决了这个问题:
type T[A] = (CredentialsStorage[A],A,A)
val testData : Array[T[_ <: Credentials]] = ...
最佳答案
type T <: Credentials定义一个抽象类型。你还没有定义什么 T在这种情况下。尝试包括 type T = credentials.EmailPassword和 type S = storage.EmailPasswordStorage[T] .
关于Scala 和依赖类型的类型检查，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13473692/