你管这些叫什么？[数组][字符串][int]

Question

这些叫什么？在powershell中编写脚本时，我可以使用它们来设置或转换变量的数据类型，但这是什么术语呢？这些有官方文件吗？

示例：

$var = @("hello","world")
If ($var -is [array]) { write-host "$var is an array" }

Answer 1

Don Cruickshank有用的回答提供了一个谜题，但让我试着给出一个全面的概述：

[ ] 表达式本身就是一个类型文本，即以System.reflection.TypeInfo实例的形式对.NET类型的引用，该实例是它所表示的类型的丰富反射源。

可以是.NET类型的全名（例如，[System.Text.RegularExpressions.regex]-可以选择省略系统.前缀([Text.RegularExpressions.regex])或PowerShell类型加速器的名称（例如，[regex])

类型文字还用于以下构造：

>

作为强制转换，将(RHS^[1])操作数强制为指定类型，如果可能：

[datetime] '1970-01-01'  # convert a string to System.DateTime

• 请注意，PowerShell强制转换比C#灵活得多，类型转换经常隐式发生-更多信息请参阅此答案。相同的规则适用于以下列出的所有其他用途。

作为类型约束：

>

在函数或脚本中指定参数变量的类型：

function foo { param([datetime] $d) $d.Year }; foo '1970-01-01'

为所有将来的赋值锁定常规变量的类型:^[2]

[datetime] $foo = '1970-01-01'
# ...
$foo = '2021-01-01' # the string is now implicitly forced to [datetime] 

作为-is和-As运算符的RHS，用于类型测试和条件转换：

>

-is测试不仅针对确切类型，而且针对派生类型以及接口实现：

# Exact type match (the `Get-Date` cmdlet outputs instances of [datetime])
(Get-Date) -is [datetime]  # $true

# Match via a *derived* type:
# `Get-Item /` outputs an instance of type [System.IO.DirectoryInfo],
# which derives from [System.IO.FileSystemInfo]
(Get-Item /) -is [System.IO.FileSystemInfo] # $true

# Match via an *interface* implementation:
# Arrays implement the [System.Collections.IEnumerable] interface.
1..3 -is [System.Collections.IEnumerable] # true

-as将LHS实例转换为RHS类型的实例（如果可能），否则返回$null:

'42' -as [int] # 42

'foo' -as [int] # $null

^{[1]在运算符和数学方程的上下文中，通常使用首字母LHS和RHS，分别指左侧操作数和右侧操作数。}

^{[2]从技术上讲，参数和常规变量之间没有真正的区别：类型约束在这两种情况下的作用方式相同，但参数变量在调用时自动绑定（赋值）后，通常不会再次赋值。}