Typed   

编译类型列表 »

Typed[expr,type]

表示一个表达式，在编译或用于其他目的时，应假定它的类型为指定类型.

更多信息

范例

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

基本范例  (4)

Typed 指定函数参数的类型：

编译代码时，FunctionCompile 使用 Typed 注释：

CompiledCodeFunction 使用与类型匹配的参数进行计算：

如果参数类型不匹配声明的类型，则产生错误：

对于 Wolfram Engine 中的计算，通常忽略 Typed：

"ListVector"
是一种采用另一种类型作为参数的复合类型：

计算按预期进行：

函数类型可以用作已编译函数的参数：

计算按预期进行：

Typed 也被用在 FunctionDeclaration 中：

编译使用函数声明：

可能存在的问题  (1)

在已计算过的代码中使用  (1)

可在函数体中使用 Typed：

编译时，可使用它来指引类型推断过程：

但是，计算时 Typed 被视为惰性表达式：

在函数体中使用 TypeHint 更合适：

编译时，可使用它来指引类型推断过程：

但是，计算时 TypeHint 被剥离：

Wolfram Research (2019)，Typed，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Typed.html.

文本

Wolfram Research (2019)，Typed，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Typed.html.

CMS

Wolfram 语言. 2019. "Typed." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Typed.html.

APA

Wolfram 语言. (2019). Typed. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Typed.html 年

BibTeX

@misc{reference.wolfram_2025_typed, author="Wolfram Research", title="{Typed}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/Typed.html}", note=[Accessed: 03-July-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_typed, organization={Wolfram Research}, title={Typed}, year={2019}, url={https://reference.wolfram.com/language/ref/Typed.html}, note=[Accessed: 03-July-2025 ]}