Еще одна попытка создания Anyval Option
Я пытаюсь реализовать опцию, которая не использует дополнительную память для оболочки. Я создаю класс. Нуль обозначает None, ненулевое значение обозначает Some.
class Maybe[+T](private val nullable: T) extends AnyVal {
@inline final def isDefined: Boolean = {
println("isDefined called")
val res = nullable != null
println(s"result = $res")
res
}
@inline final def get: T = if (isDefined) nullable else throw new NoSuchElementException
@inline final def getOrElse[B >: T](default: => B): B = if (isDefined) this.get else default
@inline final def map[B](f: T => B) : Maybe[B] = if (isDefined) Maybe.some(f(this.get)) else Maybe.none
@inline final def flatMap[B](f: T => Maybe[B]): Maybe[B] = if (!isDefined) Maybe.none else f(get)
def toOption : Option[T] = if (isDefined) Some(get) else None
}
object Maybe {
def some[T](value:T) : Maybe[T] = new Maybe(value)
final val none : Maybe[Nothing] = {
println("start initializing none")
val v = new Maybe(null)
println("1")
val res = v.asInstanceOf[Maybe[Nothing]]
println("2")
res
}
}
object MaybeTest extends App {
println("try to create Maybe.none")
val myNone = Maybe.none
println("Initialized")
println(myNone.isDefined)
println("Accessed")
}
Но когда я пытаюсь запустить его, я получаю NPE:
попробуйте создать Maybe.none
начать инициализацию нет
1
2
Initialized
Исключение в потоке "main" java.lang.NullPointerException в com.MaybeTest$.delayedEndpoint$com$MaybeTest$1(Maybe.scala:34) в com.MaybeTest$delayedInit$body.apply(Maybe.scala:30) в scala.Function0$class.apply$mcV$sp(Function0.scala:34) в scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) в scala.App$$anonfun$main$1.apply(приложение.scala:76) в scala.App$$anonfun$main$1.apply(App.scala:76) в scala.collection.immutable.List.foreach(List.scala:392) в классе scala.collection.generic.TraversableForwarder$.foreach(TraversableForwarder.scala:35) в scala.App$class.main(App.scala:76) в com.MaybeTest$.main(Maybe.scala:30) в com.MaybeTest.main(Maybe.scala)
Если я удаляю 'extends AnyVal', все работает нормально. Может ли кто-нибудь объяснить такое поведение?
1 ответ
Комментарий @Jasper-M объясняет, почему ваше решение не может работать, но это близко:
class Maybe[+T] private (private val nullable: Object) extends AnyVal {
@inline private final def get0 = nullable.asInstanceOf[T]
@inline final def isDefined: Boolean = nullable != null
@inline final def get: T = if (isDefined) get0 else throw new NoSuchElementException
@inline final def getOrElse[B >: T](default: => B): B = if (isDefined) get0 else default
@inline final def map[B](f: T => B) : Maybe[B] = if (isDefined) Maybe.some(f(get0)) else Maybe.none
@inline final def flatMap[B](f: T => Maybe[B]): Maybe[B] = if (!isDefined) Maybe.none else f(get0)
@inline final def toOption: Option[T] = if (isDefined) Some(get0) else None
}
object Maybe {
def some[A](value: A) : Maybe[A] = {
val value1 = value.asInstanceOf[Object]
assert(value1 != null)
new Maybe[A](value1)
}
private val _none = new Maybe[Null](null)
def none[A]: Maybe[A] = _none.asInstanceOf[Maybe[A]]
def apply[A](value: A) = new Maybe[A](value.asInstanceOf[Object])
}
Но это не совсем " Option
который не использует дополнительную память для оболочки ": это просто вызов null
под другим именем. Например Option[Option[A]]
работает как положено, но Maybe[Maybe[A]]
нет (и компилятор не скажет вам!).