當前位置: 首頁>>代碼示例 >>用法及示例精選 >>正文


Scala compiletime.requireConst用法及代碼示例


requireConst 方法(或屬性)屬於 scala.compiletime 包(package),其相關用法說明如下。

用法:

inline def requireConst(inline x: Boolean | Byte | Short | Int | Long | Float | Double | Char | String): Unit

在編譯時檢查提供的值是內聯和常量折疊後的常量。

用法:

package scala.compiletime
trait Snippet0 { self: compiletime.package$package.type =>
  inline def twice(inline n: Int): Int =
    requireConst(n) // compile-time assertion that the parameter `n` is a constant
    n + n
  
  twice(1)
  val m: Int = ???
  twice(m) // error: expected a constant value but found: m
}

源碼:

package.scala

相關用法


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