scala - 多个隐式转换的交集 : reinventing the wheel?

Question

好的，公平的警告:这是我的 ridiculous question 的后续行动从上周开始。虽然我认为这个问题并不那么荒谬。无论如何，这里是:

上一个荒谬的问题:

假设我有一些基本特征 T带有子类 A , B和 C ，我可以声明一个集合Seq[T]例如，可以包含 A 类型的值, B和 C .让子类型更明确，让我们使用 Seq[_ <: T]类型绑定(bind)语法。

现在假设我有一个类型类 TC[_]与成员(member) A , B和 C (其中“成员”表示编译器可以在隐式范围内找到一些 TC[A] 等)。与上面类似，我想声明一个类型为 Seq[_ : TC] 的集合，使用上下文绑定(bind)语法。

这不是合法的 Scala，尝试模仿可能会让你觉得自己像一个 bad person .请记住，上下文绑定(bind)语法(如果使用得当!)为正在定义的类或方法脱糖到一个隐式参数列表中，这在这里没有任何意义。

新前提:

所以让我们假设类型类实例(即隐式值)是不可能的，而在这种情况下我们需要使用隐式转换。我有一些类型V (“v”应该代表“view”，fwiw)和范围内的隐式转换A => V , B => V和 C => V .现在我可以填充 Seq[V] ，尽管 A , B和 C在其他方面无关。

但是如果我想要一组可以隐式转换为 View 的东西怎么办V1和 V2 ?我不能说Seq[V1 with V2]因为我的隐式转换不会以这种方式神奇地聚合。

隐式转换的交集？

我这样解决了我的问题:

// a sort of product or intersection, basically identical to Tuple2
final class &[A, B](val a: A, val b: B)

// implicit conversions from the product to its member types
implicit def productToA[A, B](ab: A & B): A = ab.a
implicit def productToB[A, B](ab: A & B): B = ab.b

// implicit conversion from A to (V1 & V2)
implicit def viewsToProduct[A, V1, V2](a: A)(implicit v1: A => V1, v2: A => V2) =
  new &(v1(a), v2(a))

现在我可以写 Seq[V1 & V2]像一个老板一样。例如:

trait Foo { def foo: String }
trait Bar { def bar: String }

implicit def stringFoo(a: String) = new Foo { def foo = a + " sf" }
implicit def stringBar(a: String) = new Bar { def bar = a + " sb" }
implicit def intFoo(a: Int) = new Foo { def foo = a.toString + " if" }
implicit def intBar(a: Int) = new Bar { def bar = a.toString + " ib" }

val s1 = Seq[Foo & Bar]("hoho", 1)
val s2 = s1 flatMap (ab => Seq(ab.foo, ab.bar))
// equal to Seq("hoho sf", "hoho sb", "1 if", "1 ib")

来自 String 的隐式转换和 Int输入 Foo & Bar在填充序列时发生，然后从 Foo & Bar 进行隐式转换至 Foo和 Bar调用 foobar.foo 时发生和 foobar.bar .

当前荒谬的问题:

以前有没有人在任何地方实现过这种模式，还是我是第一个这样做的白痴？

有没有一种我盲目错过的更简单的方法？

如果没有，那么我将如何实现更通用的管道，这样我就可以写 Seq[Foo & Bar & Baz] ?这似乎是 HList 的工作...

额外的 super 组合奖励:在实现更通用的管道时，我可以将类型限制为唯一吗？例如，我想禁止 Seq[Foo & Foo] .

失败的附录:

My latest attempt (gist) .不可怕，但有两件事我不喜欢那里:

Seq[All[A :: B :: C :: HNil]]语法(我希望 HList 的东西是不透明的，并且更喜欢 Seq[A & B & C] )

转换所需的显式类型注释 (abc[A].a)。似乎您可以进行类型推断或隐式转换，但不能同时进行...无论如何，我无法弄清楚如何避免它。

Answer 1

对于第 4 点，我可以给出部分答案。这可以通过应用以下技术来获得:

http://vpatryshev.blogspot.com/2012/03/miles-sabins-type-negation-in-practice.html