scala – 获取具有冲突名称的外部函数的参数的引用

发布时间：2020-12-16 18:40:33 所属栏目：安全来源：网络整理

导读：请考虑以下代码： trait A { def a : Int}def f ( a : Int ) = { def a0 = a new A { def a = a0 }} 问题非常明显：def a0 = a是一个典型的令人讨厌的样板代码,只有当引入更多参数时情况才会恶化. 我想知道是否有可能以某种方式直接引用特征实例的声明中的外

请考虑以下代码：

trait A {
  def a : Int
}

def f ( a : Int ) = {
  def a0 = a
  new A {
    def a = a0
  }
}

问题非常明显：def a0 = a是一个典型的令人讨厌的样板代码,只有当引入更多参数时情况才会恶化.

我想知道是否有可能以某种方式直接引用特征实例的声明中的外部范围的变量,从而摆脱中间的a0.

请记住,改变特征时不允许更改函数输入参数的名称.

解决方法

我认为没有直接的方法可以做到这一点,因为它需要一些特殊的(假设的)标识符thisMethod.但是,根据您的上下文,可能有以下两种避免名称阴影的方法：

(1)用实现类替换匿名类A：

case class AImpl(a: Int) extends A

def f(a : Int): A = AImpl(a)

(2)在抽象特征中定义f并使用具体实现：

trait F {
  def f(a: Int): A
}

object FImpl extends F {
  def f(a0: Int): A = new A { val a = a0 }
}

def test(factory: F): A = factory.f(a = 33)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!