gpt4 book ai didi

scala - 从参数化类型引用抽象类型

转载 作者:行者123 更新时间:2023-12-04 17:53:29 25 4
gpt4 key购买 nike

给出这个例子:

abstract class Base { type Value }
case object Foo extends Base { type Value = String }

case class Bar[A <: Base](a: A, value: A#Value)

val x = Bar(Foo, "It's a Foo") // Won't compile with found String required ?#Value

我希望 value 的类型约束与 A 的类型相同。 IE。 String 因为我传入了 Foo。我知道我可以用不同的方式对此进行建模,但很高兴知道它是否完全可行?

最佳答案

作为起点,它会编译并提供您需要的一些约束。

abstract class Base { type Value }
case object Foo extends Base { type Value = String }

case class Bar[A <: Base, V <: A#Value](a: A, value: V)

val x = Bar(Foo, "It's a Foo")

关于scala - 从参数化类型引用抽象类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8148386/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com