Typed   

编译类型列表 »

Typed[expr,type]

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

更多信息

范例

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

基本范例  (1)

Typed 可用于标记函数参数建议的类型：

对于 Wolfram 引擎中的计算，Typed 的使用是建议性的：

FunctionCompile 使用 Typed 用于推理代码类型：

如果 CompiledCodeFunction 参数匹配声明的类型，则进行计算：

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

可能存在的问题  (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_2024_typed, author="Wolfram Research", title="{Typed}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/Typed.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_typed, organization={Wolfram Research}, title={Typed}, year={2019}, url={https://reference.wolfram.com/language/ref/Typed.html}, note=[Accessed: 17-November-2024 ]}