匯出子句

匯出子句定義物件中所選成員的別名。範例

class BitMap
class InkJet

class Printer:
  type PrinterType
  def print(bits: BitMap): Unit = ???
  def status: List[String] = ???

class Scanner:
  def scan(): BitMap = ???
  def status: List[String] = ???

class Copier:
  private val printUnit = new Printer { type PrinterType = InkJet }
  private val scanUnit = new Scanner

  export scanUnit.scan
  export printUnit.{status as _, *}

  def status: List[String] = printUnit.status ++ scanUnit.status

兩個 export 子句在類別 Copier 中定義下列 匯出別名

final def scan(): BitMap            = scanUnit.scan()
final def print(bits: BitMap): Unit = printUnit.print(bits)
final type PrinterType              = printUnit.PrinterType

它們可以在 Copier 內部以及外部存取

val copier = new Copier
copier.print(copier.scan())

export 子句的格式與匯入子句相同。其一般形式為

export path . { sel_1, ..., sel_n }

它包含限定詞運算式 path（必須是穩定的識別碼），後面接著一個或多個選擇器 sel_i，用於識別哪些項目會取得別名。選擇器可以是下列其中一種形式

• 簡單選擇器 x 會為 path 中所有符合資格且名稱為 x 的成員建立別名。
• 重新命名選擇器 x as y 會為 path 中所有符合資格且名稱為 x 的成員建立別名，但別名名稱為 y，而非 x。
• 省略選擇器 x as _ 可防止 x 被後續萬用字元選擇器指定別名。
• 指定選擇器 given x 具有選用型別繫結 x。它會為所有符合 x 的符合資格指定實例建立別名，如果省略 x 則為 Any，但先前簡單、重新命名或省略選擇器所命名的成員除外。
• 萬用字元選擇器 * 會為 path 的所有符合資格成員建立別名，但指定實例、編譯器產生的合成成員和先前簡單、重新命名或省略選擇器所命名的成員除外。
  注意事項
  • 符合資格的建構函式代理程式也會包含在內，即使它們是合成成員。
  • 由匯出建立的成員也會包含在內。它們是由編譯器建立的，但不會被視為合成。

如果符合下列所有條件，則成員符合資格

• 它的擁有者不是包含匯出子句的類別(*)的基本類別，
• 成員不會覆寫具體定義，而該定義的擁有者為包含匯出子句的類別的基本類別。
• 它在匯出子句中可存取，
• 它不是建構函式，也不是物件的（合成）類別部分，
• 它是一個指定實例（使用 given 宣告），當且僅當匯出來自指定選擇器。

如果簡單或重新命名選擇器未識別任何符合資格的成員，則為編譯時期錯誤。

型別成員由型別定義指定別名，而術語成員由方法定義指定別名。例如

object O:
  class C(val x: Int)
  def m(c: C): Int = c.x + 1
export O.*
  // generates
  //   type C = O.C
  //   def m(c: O.C): Int = O.m(c)

匯出別名會複製它們所參考成員的型別和值參數。匯出別名永遠是 final。指定實例的別名會再次定義為指定（舊式暗示的別名為 implicit）。延伸函式的別名會再次定義為延伸函式。內聯方法或值的別名會再次定義為 inline。別名沒有其他可用的修飾詞。這對覆寫有下列影響

• 匯出別名無法被覆寫，因為它們是最終的。
• 匯出別名無法覆寫基本類別中的具體成員，因為它們未標記為 override。
• 不過，匯出別名可以實作基本類別的遞延成員。

對於公開值定義的匯出別名，如果在限定符號路徑中存取時未參考私人值，編譯器會將它們標記為「穩定」，而且它們的結果型別是別名定義的單例型別。這表示它們可用作穩定識別符號路徑的一部分，即使它們在技術上是方法。例如，下列情況是允許的

class C { type T }
object O { val c: C = ... }
export O.c
def f: c.T = ...

限制

1. 匯出子句可以出現在類別中，也可以出現在頂層。匯出子句無法出現在區塊中作為陳述式。

2. 如果匯出子句包含萬用字元或指定選擇器，則禁止其限定符號路徑參考套件。這是因為目前還不知道如何安全追蹤萬用字元相依性，以進行增量編譯。

3. 匯出重新命名會隱藏與目標名稱相符的未重新命名的匯出。例如，由於 B 已被 A as B 重新命名隱藏，因此下列子句會無效。

   export {A as B, B}        // error: B is hidden
   

4. 匯出子句中的重新命名必須具有成對不同的目標名稱。例如，下列子句會無效

   export {A as C, B as C}   // error: duplicate renaming
   

5. 像這樣的簡單重新命名匯出

   export status as stat
   

   尚未受到支援。它們會違反匯出的 a 無法已是包含匯出的物件成員的限制。此限制可能會在未來解除。

(*) 注意：除非另有說明，否則本討論中的「類別」一詞也包含物件和特質定義。

class StringOps(x: String):
  def *(n: Int): String = ...
  def capitalize: String = ...

extension (x: String)
  def take(n: Int): String = x.substring(0, n)
  def drop(n: Int): String = x.substring(n)
  private def moreOps = new StringOps(x)
  export moreOps.*

extension (x: String)
  def take(n: Int): String = x.substring(0, n)
  def drop(n: Int): String = x.substring(n)
  private def moreOps = StringOps(x)
  def *(n: Int): String = moreOps.*(n)
  def capitalize: String = moreOps.capitalize

TemplateStat      ::=  ...
                    |  Export
TopStat           ::=  ...
                    |  Export
ExtMethod         ::=  ...
                    |  Export
Export            ::=  ‘export’ ImportExpr {‘,’ ImportExpr}
ImportExpr        ::=  SimpleRef {‘.’ id} ‘.’ ImportSpec
ImportSpec        ::=  NamedSelector
                    |  WildcardSelector
                    | ‘{’ ImportSelectors) ‘}’
NamedSelector     ::=  id [‘as’ (id | ‘_’)]
WildCardSelector  ::=  ‘*’ | ‘given’ [InfixType]
ImportSelectors   ::=  NamedSelector [‘,’ ImportSelectors]
                    |  WildCardSelector {‘,’ WildCardSelector}

class B { val c: Int }
object A { val b = new B }
export A.*
export b.*

export b.*
export A.*