Scala中是否有直接API将Expr转换为字面量常量？

1. 是否存在更直接的API实现该转换，无需借助方法调用的workaround？ #

目前Scala的反射/宏公开API中，并没有专门提供直接将可化简为常量的Expr[T]转换为Literal(<T>Constant(value))的接口。你提到的通过将Expr[T]传入Predef.identity这类方法调用触发编译器常量求值的技巧，是社区里实现该需求的常用方案。

2. 若不存在，反射API未直接提供该功能的具体原因是什么？ #

主要有几方面的设计考量：

• 常量求值本质是Scala编译器前端的内部优化逻辑，反射API的核心定位是对外暴露语法树的操作、查询能力，而非封装编译器内部的优化细节。
• 常量化简的边界场景复杂：需要覆盖的可化简表达式范围极广（包括算术运算、字符串拼接、常量引用等），不同Scala版本对常量求值的支持规则还可能有差异，维护一个通用的公开API成本很高。
• 社区已有成熟的workaround可以满足需求，官方没有将其优先纳入公开API的必要。

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