Scala TypeApplyMethods.args用法及代碼示例

args 方法(或屬性)屬於 scala.quoted.Quotes.reflectModule.TypeApplyMethods 特性(trait)，其相關用法說明如下。

用法：

def args: List[TypeTree]

傳遞給方法的(推斷的)類型參數

TypeApply 可能是部分應用的方法：

package scala.quoted
trait Snippet0 { self: runtime.QuoteUnpickler & scala.quoted.runtime.QuoteMatching &    scala.quoted.Quotes =>
  val QuoteUnpickler = self
  val QuoteMatching = self
  val Quotes = self
  trait Snippet1 { self: Quotes.reflect.type /*Quotes.reflectModule*/ &    Quotes.reflectModule =>
    val reflect = self
    val reflectModule = self
    trait Snippet2 { self: reflectModule.TypeApplyMethods =>
      val TypeApplyMethods = self
      type T
      extension (x: Int) def f[T](y: T) = ???
      // represented as
      // def f(x: Int)[T](y: T) = ???
      
      1.f[Int](2)
      // represented as
      // f(1)[Int](2)
    }
  }
}

fun是f(1)[Int]的TypeApply中的[Int]

源碼：: Quotes.scala

相關用法

注：本文由純淨天空篩選整理自scala-lang.org大神的英文原創作品 TypeApplyMethods.args。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。

源碼：