WOLFRAM

Wolfram 语言与系统参考资料中心

"InertExpression" （编译类型）

"InertExpression"

代表一个不自动运算的惰性表达式.

更多信息

  • "InertExpression" 可用在 Typed 及相关构造中，用来指定类型.
  • "InertExpression" 对象是由内存自动管理的.
  • "InertExpression" 对象的内部表示与 Wolfram 语言表达式相同.
  • "InertExpression" 对象是惰性的，只有在调用 InertEvaluate 时才会进行运算.

函数构造

  • InertExpression[expr] 根据从常数 expr 构造一个惰性表达式对象.
  • head[arg1,arg2,…] constructs an inert expression head[arg1,arg2,…] where head is an inert expression and arg1 etc... are converted into inert expressions.
  • Construct[head,arg1,arg2,…] constructs an inert expression head[arg1,arg2,…] where head is an inert expression and arg1 etc... are converted into inert expressions.

属性

转换

    表达式

  • 当在运算得到和编译得到的代码之间传递时，惰性表达式会与表达式相互自动转换. »

范例

打开所有单元 关闭所有单元

基本范例  (2)

编译一个返回惰性表达式的程序：

运行该程序：

惰性表达式可以在不运算的情况下操作：

范围  (4)

惰性表达式会自动转换为表达式，并在从编译后的代码返回时进行运算：

Construct an inert expression:

Construct an inert expression, wrapping it in Hold before returning from compiled code:

The command Construct can also be used:

属性和关系  (1)

惰性表达式可以用 InertEvaluate 进行运算：