Scala 3使用experimental实验类型时Substring编译报错如何解决

该编译错误由两个核心原因导致：

1. scala.compiletime.ops.string.Substring是Scala 3.4.0版本才新增的实验性标准库API，3.3.x系列LTS版本的标准库中不存在该类型，必然触发找不到成员的报错。
2. Scala编译器默认隐藏所有标记为实验性的标准库定义，仅在自定义代码上加@experimental注解无法解锁这类API的访问权限，必须显式开启对应编译开关。

按以下步骤操作即可正常编译运行：

• 升级Scala版本至3.4.0及以上，推荐使用3.5.x、3.6.x等正式发布的非LTS稳定版本。
• 为Scala编译器添加-experimental参数，解锁全量实验性功能访问权限：
  • sbt构建场景，在build.sbt中添加配置：

    scalaVersion := "3.5.2"
    scalacOptions += "-experimental"
    

  • Mill构建场景，在构建脚本中添加编译参数：

    def scalacOptions = Seq("-experimental")
    

  • 手动调用scalac编译场景，直接在编译命令后追加-experimental参数即可。
• 调整代码逻辑，所有引用实验性API的定义、调用入口都必须标记@experimental注解，可运行示例代码如下：

  import scala.annotation.experimental
  
  @experimental
  object UseExperimental:
    def x: scala.compiletime.ops.string.Substring["hamburger", 4, 8] = "urge"
  
  // 主入口调用实验性API，同样需要加@experimental注解
  @experimental @main def demo(): Unit =
    println(UseExperimental.x)
  

  代码运行后将正常输出urge，无编译报错。

• 3.3.x系列LTS版本不会回溯合入这类实验性API，无需在LTS版本上尝试调试该功能。
• 代码层面的@experimental注解仅用于标记对应定义为实验性，禁止稳定版代码调用，无法替代编译器的-experimental开关。
• 只要调用链中存在实验性API，链路所有上层节点都必须标记@experimental，否则编译器会抛出非法引用实验性定义的错误。

内容的提问来源于stack exchange，提问作者Viswanath