伴内隐类

Question

我想应该能找到伴生的对象。这是怎么回事？

object Elsewhere{
    case class NamedInt(i: Int, name: String)
    object NamedInt{
        implicit class ToNamedInt(i: Int){
            def named(name: String) = NamedInt(i, name)
        }
    }
}

object Application{
    import Elsewhere.NamedInt

    //Error: value named is not a member of Int
    val named: NamedInt = 3.named("bob") 
}

更新：我意识到我可以直接导入隐式类，但是我认为它应该在没有它的情况下编译，因为隐式在伴生对象中。这不需要额外的导入就能工作。

object Elsewhere{
    case class MyInt(i: Int)
    object MyInt{
        import scala.language.implicitConversions
        implicit def myIntToSome(t: MyInt): Some[Int] = Some(t.i)
    }

}

object Application{
    import Elsewhere.MyInt

    val o: Option[Int] = MyInt(1) 
}

更新2

杰西·艾查尔在他的博客上发表评论

您混淆了隐式参数解析和隐式对象转换。隐式对象转换具有潜在的危险性，因此通常必须显式地将它们导入作用域。 注意事项是在超类中定义的隐式对象转换，而且(我非常肯定)包对象中的对象转换在作用域中是自动的。

这对我来说是有意义的，但是为什么上面的MyInt示例有效呢？

Answer 1

添加一个额外的行修复一些事情(您还需要显式地导入配套对象字段)：

object Application{
    import Elsewhere.NamedInt
    import Elsewhere.NamedInt._

    // Compiles OK now :)
    val named: NamedInt = 3.named("bob")
}