编译表达式声明

编译表达式声明[小时,n个]

表示窗体表达式的类型小时[x个1,x个2,…,x个n个]，适用于编译代码。

编译表达式声明[小时,{t吨1,t吨2,…}]

表示窗体表达式的类型小时[x个1,x个2,…,x个n个]，使用x个我具有类型t吨我.

编译表达式声明[小时"名称",…]

命名声明的类型"名称".

编译表达式声明[小时"名称"::[v（v）1,v（v）2,…],{t吨1,t吨2,…}]

表示参数标记为的参数化类型v（v）1,v（v）2,….

编译表达式声明[小时"名称"::[v（v）1,v（v）2,…],康德,{t吨1,t吨2,…}]

断言条件康德在类型参数上。

编译表达式声明[…,测试]

表示任何表达式的类型快递在其中编译函数测试收益真的.

细节

  • 编译表达式声明是声明的符号表示，不单独计算。
  • 编译表达式声明可以在内部使用编译器环境附加到和函数的第一个参数，如函数编译.
  • 当未提供显式类型名称时，符号名称[小时]使用。
  • 当指定参数类型时，编译的表达式在内部存储为有效的产品类型。
  • 指定参数类型时，编译表达式声明自动定义函数，包括构造函数部分和头部.
  • 未指定参数类型时，编译的表达式在内部存储为“惯性表达式”.
  • 未指定参数类型时，测试[快递,第y天]用于检查给定表达式快递匹配已编译的表达式类型第y天.

示例

全部打开全部关闭

基本示例  (2)

表示表示窗体表达式的类型声明foo公司[_整数,_真实]但是在内部以产品类型存储数据：

编译一个函数，该函数实例化并返回具有新类型的对象：

表示一个类型声明，该类型表示头为foo、长度为2的表达式，并在表达式中内部存储数据：

编译一个需要foo公司作为参数并返回不变：

函数接受具有指定结构的表达式：

但拒绝不具有指定结构的表达式：

范围  (2)

一种类型声明，表示带有头foo的表达式，其第一个参数中包含任意数字，第二个参数中含有布尔值：

编译一个返回该类型对象的函数：

注意，函数的返回类型由foo在其第一个参数中接受的数字类型参数化。

表示带有头foo的表达式的类型声明，它接受任意两个参数：

编译一个返回该类型对象的函数：

注意，函数的返回类型由两个参数类型参数化。这相当于声明一个编译表达式，该表达式在两个参数中都有不受限制的类型变量：

Wolfram Research（2022），编译表达式声明，Wolfram语言函数，https://reference.wolfram.com/language/ref/CompiledExpressionDeclaration.html。

文本

Wolfram Research（2022），编译表达式声明，Wolfram语言函数，https://reference.wolfram.com/language/ref/CompiledExpressionDeclaration.html。

CMS公司

沃尔夫拉姆语言。2022.“CompiledExpressionDeclaration”，Wolfram语言与系统文档中心。Wolfram研究。https://reference.wolfram.com/language/ref/CompiledExpressionDeclaration.html。

亚太地区

沃尔夫拉姆语言。(2022). 编译表达式声明。Wolfram语言与系统文档中心。检索自https://reference.wolfram.com/language/ref/CompiledExpressionDeclaration.html

BibTeX公司

@misc{reference.wolfram_2024_compiledexpressiondeclaration，author=“wolfram Research”，title=“{compiledexpressiondeclaration}”，year=“2022”，howpublished=“\url{https://reference.jolfram.com/language/ref/CompiledExpression Declaration.html}”]}

BibLaTeX公司

@online｛reference.wolfram_2024_compiledexpressiondeclaration，organization=｛wolfram Research｝，title=｛compiledexpressiondeclaration｝，year=｛2022｝，url=｛https://reference.wolfram.com/language/ref/compiledexpressiondeclaration.html｝，note=[访问时间：2024年9月21日]}