Scala 3中@main注解方法为何忽略参数默认值？

在Scala 3中，我们可以用@main注解定义带参数的主方法：

@main def main(mode: String): Unit = ???

运行时不指定参数会报错Illegal command line: more arguments expected，这符合预期。但如果给参数设置默认值：

@main def main(mode: String = "foo"): Unit = ???

运行时不传参仍然会报相同的错误。针对这个现象，以下是具体解析：

1. 为什么默认值不生效？ #

Scala 3的@main注解在编译时会生成符合JVM规范的静态主方法（即public static void main(String[] args)）。对于带参数的@main方法，编译后的入口方法会严格校验命令行传入的参数数量，默认值的逻辑并没有被整合到生成的JVM主入口中。

当你定义带默认参数的@main方法时，编译器会生成两个方法：一个是你编写的带默认参数的Scala方法，另一个是供JVM调用的标准主方法。后者只会处理显式传入的命令行参数，不会自动触发默认值填充逻辑——只要参数数量不匹配，就直接抛出错误。

2. 编译器为何不提前报错？ #

这是Scala 3编译器的设计权衡结果：

• 首先，@main标注的方法本质上还是一个普通Scala方法，允许设置默认参数是符合通用语言语法的，编译器不会因为它被用作主入口就限制这个特性。
• 其次，带默认参数的@main方法仍可在其他Scala代码中作为普通方法调用（此时默认值是正常生效的），编译器无法提前判断你是否会将该方法作为JVM主入口运行，因此不会直接抛出编译错误。

这个设计确实容易引发误解，目前已有相关问题在Scala 3官方开发流程中跟进处理。

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