私有修饰符在Scala类声明中的位置有什么区别？

在Scala中，private 是一个访问修饰符，用于控制类成员（如变量、方法、嵌套类等）的可见性。private 修饰符可以放在类成员声明的前面，也可以放在类声明的内部，但它们的作用范围和效果是不同的。

放在类成员声明前面

当 private 修饰符直接放在类成员声明的前面时，它仅对该成员有效。这意味着该成员只能在定义它的类内部访问。

class MyClass {
  private var privateVar = 0

  def accessPrivateVar: Int = privateVar
}

在这个例子中，privateVar 是一个私有变量，只能在 MyClass 内部访问。外部代码无法直接访问 privateVar。

放在类声明内部

当 private 修饰符放在类声明的内部时，它会影响整个类的可见性。这意味着整个类只能在定义它的包内部访问。

private class PrivateClass {
  var publicVar = 0
}

class MyClass {
  val privateClassInstance = new PrivateClass
}

在这个例子中，PrivateClass 是一个私有类，只能在定义它的包内部访问。MyClass 可以创建 PrivateClass 的实例，但外部包无法访问 PrivateClass。

区别和应用场景

局部私有成员：当 private 放在类成员声明前面时，它提供了一种细粒度的访问控制，允许类的设计者隐藏某些实现细节，同时提供公共接口供外部使用。
包级私有类：当 private 放在类声明内部时，它限制了类的可见性到定义它的包，这有助于封装和组织代码，使得类的实现细节对外部包不可见。

示例代码

package com.example

// 包级私有类
private class PrivateClass {
  var publicVar = 0
}

class MyClass {
  // 可以访问 PrivateClass，因为它们在同一个包中
  val privateClassInstance = new PrivateClass

  // 私有成员变量
  private var privateVar = 0

  // 公共方法访问私有变量
  def accessPrivateVar: Int = privateVar
}

object Main extends App {
  val myClassInstance = new MyClass
  println(myClassInstance.accessPrivateVar) // 输出私有变量的值

  // 下面的代码会导致编译错误，因为 PrivateClass 是包级私有的
  // val privateClassInstanceOutside = new PrivateClass
}

通过这种方式，Scala 提供了灵活的访问控制机制，允许开发者根据需要调整类和成员的可见性，从而实现更好的代码封装和组织。