scala – 什么时候应该为类型成员使用访问修饰符？

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

导读：class EG { private[this] type TypeMember = A private[this] var field: Int = 0} 可以像字段一样为类型成员指定访问修饰符.在OOP的情况下,很好地理解,encapsulation个字段确实提供了有益的防止意外的状态共享和限制状态的修改.据我所知,类型成员只能在Sca

class EG {
  private[this] type TypeMember = A
  private[this] var field: Int = 0
}

可以像字段一样为类型成员指定访问修饰符.在OOP的情况下,很好地理解,encapsulation个字段确实提供了有益的防止意外的状态共享和限制状态的修改.据我所知,类型成员只能在Scala中找到,并且在很多地方它们只是被定义为public,因此在类型成员上使用访问修饰符并不像字段那样很好理解.类型成员不保存任何状态,如变量或字段.由于它不具有值,因此无法进行变异.所以我的问题是你应该限制访问类型成员的位置(将类型成员定义为私有或受保护)？

解决方法

在不提供定义的情况下将类型成员声明设为私有不仅无用,而且编译器也不允许

scala> class Foo { private[this] type T }
<console>:11: error: abstract member may not have private modifier
       class Foo { private[this] type T }

如果您改为定义类型成员,那么可能存在一些合法的用例.

示例,私有类型别名：

trait Foo {   
  private[this] type T = String
}

在这种情况下,类型T仅存在于类中.仅在实现的上下文中为类型提供较短的名称可能是有用的.

另一个例子,私有重命名类型参数

trait Foo[Key] {
  private[this] type K = Key
}

大致相同的用例.

关于保护它,它也可能有意义.例：

trait Foo {
  protected[this] type V

  def foo(v: V): V
}

它定义了一个接口,该接口由一个处理尚未指定的类型V的方法组成,然后：

class Bar extends Foo {
  type V = String // actually defining the type
  def foo(v: V): V = v 
}

（编辑：李大同）

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