Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

FunctionDeclaration

FunctionDeclaration[name,typedfun]

将 name 声明为适合在编译器环境中使用的类型化函数.

更多信息

FunctionDeclaration 是一个声明的符号表示，且不会自行运算.
FunctionDeclaration 中的类型化函数的形式可以是 Typed[{t₁,t₂,…}t_out]@Function[{x₁,x₂,…},body] 的形式.
FunctionDeclaration 中形式为 Typed[{t₁,t₂,…}t_out]@DownValuesFunction[sym] 的类型化函数将使用附加在 sym 上的函数定义.
FunctionDeclaration 可在 CompilerEnvironmentAppendTo 内部使用，且为类似于 FunctionCompile 的第一个参数.
在 FunctionDeclaration 中使用的名称可以在多个声明中使用，只要它们具有不同的类型即可.
在 FunctionDeclaration 中声明的函数可以在其他函数声明中使用.
在 FunctionDeclaration 中声明的函数可以通过使用 ForAllType 为多个类型进行定义.
FunctionDeclaration 中使用的类型可以从 TypeDeclaration 声明的新类型中构建.
一个从外部库导出的函数可以通过 LibraryFunctionDeclaration 来声明.

范例

基本范例 (7)

FunctionDeclaration 可以用在 FunctionCompile 中：

编译使用函数声明：

FunctionDeclaration 可以用来为默认的编译器环境添加定义：

在编译中使用该声明：

编译时使用函数声明：

重置编译器环境以清除声明：

FunctionDeclaration 可以用于将定义添加到新的编译器环境中：

使用 CompilerEnvironment 选项指定环境：

一个函数名可以在多个声明中使用：

调用一个版本：

调用另一个版本：

重置编译器环境以清除声明：

函数声明可以调用另一个声明：

编译时使用这两种声明：

一个函数声明可以作用于多个类型：

该声明对一个整数参数有效：

同样的声明也适用于字符串：

函数声明可以通过使用 := 的定义来为其声明设置 DownValues：

给予这个函数一个名称和一个类型，并说明其运行来自于 DownValues：

现在使用这个声明的函数可被编译出来：

巧妙的是，这个工作流程与未编译的版本是兼容的：

顶部