नल चुपके से: जावा का उपयोग करके स्काला ऑप्शन को तोड़ना

अभिवादन, हब्र! मैं आपके ध्यान में जावा, स्काला, पागल प्रोग्रामर और टूटे वादों के बारे में एक लघु शुक्रवार का लेख लाता हूं।

सरल अवलोकन कभी-कभी बहुत सरल प्रश्न नहीं बनते हैं।

यहां, उदाहरण के लिए, एक सरल और बाह्य रूप से, शायद यहां तक ​​कि तुच्छ तथ्य है जो बताता है कि जावा में आप किसी भी गैर-अंतिम वर्ग और किसी भी इंटरफ़ेस को दायरे में बढ़ा सकते हैं। और दूसरा, यह भी काफी सरल है, यह कहते हुए कि जावा कोड के लिए JVM के लिए संकलित स्काला कोड का उपयोग किया जा सकता है।

इन दोनों तथ्यों के संयोजन ने, मुझे आश्चर्यचकित कर दिया: जावा के दृष्टिकोण से कोई भी वर्ग कैसा व्यवहार करेगा, जो कि स्काला में सील है, अर्थात्। अपनी फ़ाइल के सापेक्ष बाहरी कोड के साथ विस्तार नहीं किया जा सकता है?

कलाकार की दृष्टि में विघटित स्काला-वर्ग। स्रोत: https://specmahina.ru/wp-content/uploads/2018/08/razobrannaya-benzopila.jpg

एक प्रयोगात्मक खरगोश के रूप में, मैंने मानक वर्ग लिया Option। इसे इंटेलीज आइडिया में निर्मित डिकम्पॉइलर को खिलाकर, हमें कुछ इस तरह मिलता है:

//  ,     
public abstract class Option 
implements IterableOnce, Product, Serializable {
    //   
    public abstract Object get();
    //    
}

Decompiled कोड, हालांकि, मान्य Java कोड नहीं होगा - यहाँ वर्णित एक समस्या के समान , उदाहरण के लिए, इस पद्धति के साथ:

public List toList() {
    return (List)(
        this.isEmpty() 
            ? scala.collection.immutable.Nil..MODULE$  
            : new colon(this.get(), scala.collection.immutable.Nil..MODULE$)
    );
}

MODULE$ , package object. , , Java , ?

, , ...

Java ( Maven), Scala provided- — , , , :

<dependency>
    <groupId>org.scala-lang</groupId>
    <artifactId>scala-library</artifactId>
    <version>2.13.1</version>
    <scope>provided</scope>
</dependency>

, scala.Option. Idea, , Scala , sealed-, , , :

package hack;

public class Hacking<T> extends scala.Option<T> {
    @Override
    public T get() {
        return null;
    }

    public int productArity() {
        return 0;
    }

    public Object productElement(int n) {
        return null;
    }

    public boolean canEqual(Object that) {
        return false;
    }
}

- , Option Product.

, — . mvn package — , , jar-, , Java, , , .

, Scala.

… scala-

Scala (, SBT) — lib , , , ; build.sbt , Idea. ( ) :

import hack.Hacking

object Main {
  def main(args: Array[String]): Unit = {
    implicit val opt: Option[String] = new Hacking()
    //    
  }

  private def tryDo[T](action: => T): Unit = {
    try {
      println(action)
    } catch {
      case e: Throwable => println(e.toString)
    }
  }
}

implicit var .

tryDo — , : , , . call-by-name tryDo , , .

, match — , sealed class- ( , sealed-, ?)

object Main {
  def main(args: Array[String]): Unit = {
    // snip
    tryMatch
  }

  private def tryDo[T](action: => T): Unit = {
    // snip
  }

  private def tryMatch(implicit opt: Option[String]): Unit = tryDo {
    opt match {
      case Some(inner) => inner
      case None => "None"
    }
  }
}

:

scala.MatchError: hack.Hacking

, : Option — sealed class, ( case Some case None), :

[warn] $PATH/Main.scala:22:5: match may not be exhaustive.
[warn] It would fail on the following input: None
[warn]     opt match {
[warn]     ^

, .

, - Option:

object Main {
  def main(args: Array[String]): Unit = {
    // snip
    tryMap
  }

  private def tryDo[T](action: => T): Unit = {
    // snip
  }

  private def tryMap(implicit opt: Option[String]): Unit = 
    tryDo(opt.map(_.length))
}

:

java.lang.NullPointerException

, map:

sealed abstract class Option[+A] /* extends ... */ {
  //   . ,  None -  .
  final def isEmpty: Boolean = this eq None
  //  ,       null.
  def get: A
  // , ,  map.
  @inline final def map[B](f: A => B): Option[B] =
    if (isEmpty) None else Some(f(this.get))
}

, :

• — None. , isEmpty false.
• , this.get, null.
• null , — length.
• length null NPE.

, NPE , Java ? (, , , ...)

:

object Main {
  def main(args: Array[String]): Unit = {
    // snip
    tryContainsNull
  }

  private def tryDo[T](action: => T): Unit = {
    // snip
  }

  private def tryContainsNull(implicit opt: Option[String]): Unit =
    tryDo(opt.contains(null))
}

(, , null) , contains -Nullable . , , , Option false — null. ?

:

true

, , , contains map: !isEmpty && this.get == elem.

, . , null , Option ( , , ) else match.

वास्तव में, एक जेवीएम पर विभिन्न भाषाओं के बीच बातचीत की एक बारीकियों को प्रकट करने के लिए एक छोटे से प्रयोग के लिए इस लेख की आवश्यकता थी। बारीकियों के साथ, थोड़ा विचार के साथ, स्पष्ट है, लेकिन - मेरे स्वाद के लिए, अभी भी दिलचस्प है।