- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
更新:我修改了示例以便可以编译和测试。
我有一个定义丰富方法的隐式类:
case class Pipe[-I,+O,+R](f: I => (O, R));
object Pipe {
// The problematic implicit class:
implicit class PipeEnrich[I,O,R](val pipe: Pipe[I,O,R]) extends AnyVal {
def >->[X](that: Pipe[O,X,R]): Pipe[I,X,R] = Pipe.fuse(pipe, that);
def <-<[X](that: Pipe[X,I,R]): Pipe[X,O,R] = Pipe.fuse(that, pipe);
}
def fuse[I,O,X,R](i: Pipe[I,O,R], o: Pipe[O,X,R]): Pipe[I,X,R] = null;
// Example that works:
val p1: Pipe[Int,Int,String] = Pipe((x: Int) => (x, ""));
val q1: Pipe[Int,Int,String] = p1 >-> p1;
// Example that does not, just because R = Nothing:
val p2: Pipe[Int,Int,Nothing] = Pipe((x: Int) => (x, throw new Exception));
val q2: Pipe[Int,Int,String] = p2 >-> p2;
}
问题是当 R
在第二个例子中是 Nothing
时它不起作用。它会导致编译器错误:在这种情况下,我会收到以下编译器错误:
Pipe.scala:19: error: type mismatch;
found : Pipe[Int,Int,R]
required: Pipe[Int,Int,String]
val q2: Pipe[Int,Int,String] = p2 >-> p2;
为什么会这样?
我设法通过为这种情况创建一个单独的隐式类来解决它:
trait Fuse[I,O,R] extends Any {
def >->[X](that: Pipe[O,X,R])(implicit finalizer: Finalizer): Pipe[I,X,R];
}
protected trait FuseImpl[I,O,R] extends Any with Fuse[I,O,R] {
def pipe: Pipe[I,O,R];
def >->[X](that: Pipe[O,X,R]) = Pipe.fuse(pipe, that);
def <-<[X](that: Pipe[X,I,R]) = Pipe.fuse(that, pipe);
}
implicit class PipeEnrich[I,O,R](val pipe: Pipe[I,O,R])
extends AnyVal with FuseImpl[I,O,R];
implicit class PipeEnrichNothing[I,O](val pipe: Pipe[I,O,Nothing])
extends AnyVal with FuseImpl[I,O,Nothing];
但是我可以依赖 Scala 将来的行为,它不会将 Nothing
视为 R
的选项吗?如果将来发生变化,代码将停止工作,因为我将有两个不同的适用隐式。
最佳答案
嗯...您还没有显示所有代码,而且您显示的代码存在一些令人困惑的不一致之处。所以这将是一个疯狂的猜测。我怀疑你的问题是 Pipe
在其类型参数中是不变的 R
.这是我的简化示例:
case class Test[A](a: A)
object Test {
implicit class TestOps[A](val lhs: Test[A]) extends AnyVal {
def >->(rhs: Test[A]): Test[A] = ???
}
def test {
def lhs = Test(???)
def rhs = Test(???)
lhs >-> rhs
}
}
我从这段代码得到的编译错误是:
value >-> is not a member of Test[Nothing]
lhs >-> rhs
^
...我承认这与您发布的错误不同。但我并不完全相信你发布的内容,所以我要继续!解决这个问题的方法是制作 Test
其类型参数的协变 A
:
case class Test[+A](a: A)
老实说,我不明白为什么会出现编译错误。编译器似乎不想统一 A =:= Nothing
在转换为 TestOps
,但我不明白为什么不。尽管如此,Test
在 A
中应该是协变的不管怎样,我猜你是Pipe
类在 R
中同样应该是协变的.
我只花了几分钟浏览 Scala bug list并发现了几个可能相关的问题:SI-1570 , SI-4509 , SI-4982和 SI-5505 .我真的不知道任何细节,但听起来像 Nothing
被特殊对待,不应该。 Paul 和 Adriaan 会问...
关于scala - 当其中一个类型参数应该为 Nothing 时,为什么 Scala 的隐式类不起作用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15310451/
我刚刚更新了 Ruby,现在我在尝试启动 compass 时遇到以下错误: Encoding::CompatibilityError on line ["28"] of /usr/local/Cell
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 6 年前。
关闭。这个问题需要debugging details .它目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and th
按照目前的情况,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
我正在尝试在我的 iOS 应用程序中开发可折叠/ Accordion 式的功能。这将是您可以在网站上找到的典型 FAQ 类型功能。我想点击标题,然后显示详细信息。 因为这是帮助部分,只有几个项目,我认
我正在尝试设计一个基于 REST 的 Web 服务来与我正在开发的农场动物管理系统进行交互。 为了详细说明问题,我收藏了动物 属于一个农场。每只动物都有自己的信息——例如姓名、身份证号、品种年龄等。因
我有 3 种不同的表单,其中复选框数量不同,每个部分基本上代表一个表单,因此当用户选择该部分中的复选框时,它会显示他们在该部分的总金额中 checkout 了多少 HTML
我有一份 32 页的 PDF 版家谱。与其将家谱全部放在一个非常大的 PDF 页面上(这是我想要的),不如将其格式化为一组 8 个单独的美国信纸大小的页面应该在整个宽度上缝合; 4 行这样就完成了树。
指SASS implementation for Java? : 在 Maven 目标编译包中自动编译 compass-style.org 样式表的最佳方法是什么? 我不想发送太多的自编译库,也不想通
鉴于以下 XAML... 我正在寻找一种绑定(bind) ComboBox、Button 和 Command 的方法,以便当 ComboBox 的值更改时,在 Command 上调用 CanExe
在玩具应用程序中,我有一个显示所有帖子标题的“帖子”模板。当您单击每个标题时,我不想直接进入“显示” View ,而是直接内联展开该帖子的其余内容。 我考虑过让 postRoute 重用 postsR
我需要一些使用 Twitter Bootstrap 或其他响应式框架的自定义 Swagger-UI 实现。需要在我的移动设备上使用这样的 UI 测试我的 API,但 swagger-ui 不能很好地扩
我正在做一个项目,我真的在尝试编写面向对象的 JavaScript 代码。我刚刚开始阅读Douglas Crockford's JavaScript: The Good Parts我很快开始意识到用
在 C# 中,我通过执行以下操作来加密文本数据(请注意我正在以 block ( block )的形式加密数据): public string EncryptData(string pu
我正在构建一个社交网站,该网站将向全世界公开 REST API (WCF WebAPI),以便任何开发人员都能够为该网站创建客户端应用程序、将其与其他服务集成等。 我想为 API 实现 Faceboo
我是一名优秀的程序员,十分优秀!