我是Scala的新手，仍然围绕着类型系统，以及它的灵活性。我在理解某些类型范围时会遇到一些问题，以及在不同位置定义参数时我可以参考哪些类型的参数 - 尤其是使用＆＃34;更高级的类型＆＃34;我在两个级别嵌套类型，即：Foo[T <: Bar[U]](x: U) // U does not seem to be accessible here as a type for x
我希望能够做的是定义一个Config类型，它类型安全但通用，足以用于多种类型（Config[T]），这样我就可以传入{{1}这样就强制只传递Config[T](c: Map[AttributeKey[Attribute[T]], AttributeValue[Attribute[T]]]) AttributeKey的{{1}}，同样地，T只传递AttributeValue个Attribute。
我在下面定义的内容不起作用，我感觉我可能会走错路。如果有人可以帮助我解开并理解它，我真的很乐意。我试过看一下SBT的来源，但还没能把它提炼到我需要的部分。
T