Scala 中的模式匹配。当参数表现出多态性或者是子类时的行为是什么：

您是正确的，一条match语句将只执行第一个case匹配的语句，它不会检查或执行后面的匹配项（否则case _将始终执行）。

没有“变通办法”，因为这不是错误或限制，它是该语言的一个非常有用的功能。

听起来好像您有许多不同的traits，每个 s 都有不同的行为，并且您想要为所有特征执行该行为。

最好的方法是编写单独的函数来匹配每个特征（Sum Var等），并在Tree实例上一一调用它们。您可以制作一系列这些并用于foldLeft依次应用它们中的每一个。由于您的derive函数返回一个新Tree实例，因此您需要明确要应用操作的顺序。

我仍然不清楚为什么您有一个同时代表 aVar和 a 的对象Const，所以我怀疑您的数据结构存在更深层次的问题。