当前位置: 首页>>代码示例 >>用法及示例精选 >>正文

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。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。