Scala条件编译

Question

我正在编写Scala程序，我希望它能与一个大型库的两个版本一起工作。

这个大型库的版本2稍微改变了API (只有一个类构造函数签名有一个额外的参数)。

// Lib v1
class APIClass(a: String, b:Integer){
...
}

// Lib v2
class APIClass(a: String, b: Integer, c: String){
...
}


// And my code extends APIClass.. And I have no #IFDEF

class MyClass() extends APIClass("x", 1){ //  <--  would be APIClass("x", 1, "y") in library v2
  ...
}

我真的不想把我的代码分叉。因为接下来我需要维护两个分支，明天3,4，用于微小API更改的..branches：

理想情况下，我们应该在Scala中有一个简单的预处理器，但是这个想法很久以前就被Scala社区拒绝了。

我无法真正理解的一点是:在这种情况下，斯卡梅塔能帮助模拟预处理器吗？也就是说，有条件地解析两个源文件，比如编译时已知的环境变量？

如果没有，你将如何处理这个现实生活中的问题？

Answer 1

1. C++预处理器可以与cpp /Scala一起使用，如果您在javac或scalac之前运行cpp(也有流形)。

2.如果您真的想在Scala中进行条件编译，可以使用宏注释 (编译时展开)

宏/src/main/scala/extendsAPIClass.scala

import scala.annotation.{StaticAnnotation, compileTimeOnly}
import scala.language.experimental.macros
import scala.reflect.macros.blackbox

@compileTimeOnly("enable macro paradise")
class extendsAPIClass extends StaticAnnotation {
  def macroTransform(annottees: Any*): Any = macro ExtendsAPIClassMacro.impl
}

object ExtendsAPIClassMacro {
  def impl(c: blackbox.Context)(annottees: c.Tree*): c.Tree = {
    import c.universe._
    annottees match {
      case q"$mods class $tpname[..$tparams] $ctorMods(...$paramss) extends { ..$earlydefns } with ..$parents { $self => ..$stats }" :: tail => 
        def updateParents(parents: Seq[Tree], args: Seq[Tree]) = 
          q"""${tq"APIClass"}(..$args)""" +: parents.filter { case tq"scala.AnyRef" => false; case _ => true }

        val parents1 = sys.env.get("LIB_VERSION") match {
          case Some("1") => updateParents(parents, Seq(q""" "x" """, q"1"))
          case Some("2") => updateParents(parents, Seq(q""" "x" """, q"1", q""" "y" """))
          case None      => parents
        }

        q"""
          $mods class $tpname[..$tparams] $ctorMods(...$paramss) extends { ..$earlydefns } with ..$parents1 { $self => ..$stats }
          ..$tail
        """
    }
  }
}

core/src/main/scala/MyClass.scala (如果LIB_VERSION=2)

@extendsAPIClass
class MyClass

//Warning:scalac: {
//  class MyClass extends APIClass("x", 1, "y") {
//    def <init>() = {
//      super.<init>();
//      ()
//    }
//  };
//  ()
//}

build.sbt

ThisBuild / name := "macrosdemo"

lazy val commonSettings = Seq(
  scalaVersion := "2.13.2",
  organization := "com.example",
  version := "1.0.0",
  scalacOptions ++= Seq(
    "-Ymacro-debug-lite",
    "-Ymacro-annotations",
  ),
)

lazy val macros: Project = (project in file("macros")).settings(
  commonSettings,
  libraryDependencies ++= Seq(
    scalaOrganization.value % "scala-reflect" % scalaVersion.value,
  )
)

lazy val core: Project = (project in file("core")).aggregate(macros).dependsOn(macros).settings(
  commonSettings,
  )
)

3.也可以使用斯卡梅塔生成代码(在编译之前的时间)

build.sbt

ThisBuild / name := "scalametacodegendemo"

lazy val commonSettings = Seq(
  scalaVersion := "2.13.2",
  organization := "com.example",
  version := "1.0.0",
)

lazy val common = project
  .settings(
    commonSettings,
  )

lazy val in = project
  .dependsOn(common)
  .settings(
    commonSettings,
  )

lazy val out = project
  .dependsOn(common)
  .settings(
    sourceGenerators in Compile += Def.task {
      Generator.gen(
        inputDir = sourceDirectory.in(in, Compile).value,
        outputDir = sourceManaged.in(Compile).value
      )
    }.taskValue,
    commonSettings,
  )

项目/建设

libraryDependencies += "org.scalameta" %% "scalameta" % "4.3.10"

项目/Generator.scala

import sbt._

object Generator {
  def gen(inputDir: File, outputDir: File): Seq[File] = {
    val finder: PathFinder = inputDir ** "*.scala"

    for(inputFile <- finder.get) yield {
      val inputStr = IO.read(inputFile)
      val outputFile = outputDir / inputFile.toURI.toString.stripPrefix(inputDir.toURI.toString)
      val outputStr = Transformer.transform(inputStr)
      IO.write(outputFile, outputStr)
      outputFile
    }
  }
}

项目/Transformer.scala

import scala.meta._

object Transformer {
  def transform(input: String): String = {
    val (v1on, v2on) = sys.env.get("LIB_VERSION") match {
      case Some("1") => (true, false)
      case Some("2") => (false, true)
      case None      => (false, false)
    }
    var v1 = false
    var v2 = false
    input.tokenize.get.filter(_.text match {
      case "// Lib v1" =>
        v1 = true
        false
      case "// End Lib v1" =>
        v1 = false
        false
      case "// Lib v2" =>
        v2 = true
        false
      case "// End Lib v2" =>
        v2 = false
        false
      case _ => (v1on && v1) || (v2on && v2) || (!v1 && !v2)
    }).mkString("")
  }
}

通用/src/main/scala/com/api/apiclass.scala

package com.api

class APIClass(a: String, b: Integer, c: String)

in/src/main/scala/com/example/MyClass.scala

package com.example

import com.api.APIClass

// Lib v1
class MyClass extends APIClass("x", 1)
// End Lib v1

// Lib v2
class MyClass extends APIClass("x", 1, "y")
// End Lib v2

out/target/scala-2.13/src_managed/main/scala/com/example/MyClass.scala

(在sbt out/compile if LIB_VERSION=2之后)

package com.example

import com.api.APIClass

class MyClass extends APIClass("x", 1, "y")

宏注释覆盖Scala函数的toString

如何合并scala中的多个导入？

Answer 2

我看到了一些选项，但如果它们是“条件编译”，则没有选项。

• 您可以在构建中创建两个模块--它们将有一个共享的源目录，每个模块都有一个特定于它的代码的源目录。然后您将发布整个库的两个版本。
• 创建3个模块--一个带有您的库和一个抽象类/特性，它将通过这些模块进行对话，另有两个模块具有特定于版本的特性实现。

问题是-如果您在v1和用户提供的v2上构建代码怎么办？或者相反？您发出了字节码，但是JVM需要其他的东西，而且都会崩溃。

实际上，每次发生这种兼容性破坏的更改时，库要么拒绝更新，要么拒绝分叉。不是因为你不能生成2个版本-你会的。问题是在下游-您的用户将如何处理这种情况。如果您正在编写一个应用程序，您可以提交其中一个。如果您正在编写库，并且不希望将用户锁定在您的选择中.您必须为每种选择发布单独的版本。

理论上，您可以创建一个包含两个模块的项目，它们共享相同的代码，并使用不同的分支，如#ifdef宏在C++中使用Scala宏或Scalameta -但如果您想要使用IDE或发布您的用户可以在IDE中使用的源代码，这将是一场灾难。没有消息来源可查。没有办法跳到定义的源头。拆解字节码充其量。

因此，您只需要为不匹配的版本提供单独的源目录的解决方案，从长远来看更容易读、写和维护。