Scala和typecheck为依赖类型

Question

给定java类“抽象凭证”并导出“EmailPassword”/“OAuth”类。

和接口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]] = ...

Answer 1

type T <: Credentials定义抽象类型。 您还没有定义此实例中的T是什么。 尝试包括type T = credentials.EmailPassword并type S = storage.EmailPasswordStorage[T] 。