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

TypeOf

TypeOf[expr]

给出 expr 的类型，不对其进行计算.

TypeOf[expr,Typed[x,ty]]

假定 expr 中出现的 x 的类型为 ty.

TypeOf[expr,{Typed[x₁,ty₁],Typed[x₂,ty₂],…}]

假定 x_i 的类型为 ty_i.

更多信息和选项

TypeOf 可以在已解释的程序和编译过的程序中使用.
TypeOf 使用 Wolfram 编译器的类型推断系统.
TypeOf 只接受可由 Wolfram 编译器编译的表达式和类型.

范例

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

基本范例 (3)

求表达式的类型：

只指定子表达式的类型，求表达式的类型：

用 TypeOf 编译程序：

范围 (2)

求使用数组的程序的类型：

TypeOf 不会在编译代码中对其参数进行计算，就像在已计算过的代码中一样：

属性和关系 (2)

TypeOf 推断输入的类型，不对其进行计算：

TypeOf 实际上给出 FunctionCompile 生成的 CompiledCodeFunction 的返回类型，但是速度更快：

可能存在的问题 (1)

TypeOf 只能推断出可编译程序的类型：

顶部