PowerShell 是强类型语言吗？

Question

PowerShell 肯定属于动态语言的范畴，但它会被视为强类型吗？

Answer 1

这些术语存在一定程度的混乱。 本文解释了一种有用的类型分类法系统。

PowerShell 是动态、隐式类型的：

> $x=100
> $x=dir

没有类型错误 - 变量可以在运行时更改其类型。 这就像 Python，Perl，JavaScript 但是与 C++、Java, C# 等。

但是：

> [int]$x = 100
> $x = dir
Cannot convert "scripts-2.5" to "System.Int32".

因此，如果您愿意，它还支持显式变量输入。 但是，类型检查是在运行时而不是编译时完成的，因此它不是静态类型的。

我看到有人说 PowerShell 使用类型推断（因为您不必声明变量的类型），但我认为这是错误的说法。 类型推断是在编译时进行类型检查的系统功能（如 C# 中的“var”）。 PowerShell 仅在运行时检查类型，因此它可以检查实际值而不是进行推理。

但是，正在进行一定量的自动类型转换：

> [int]$a = 1
> [string]$b = $a
> $b
1
> $b.GetType()

IsPublic IsSerial Name                                     BaseType
-------- -------- ----                                     --------
True     True     String                                   System.Object

因此某些类型会即时转换。 根据大多数定义，这将使 PowerShell 成为一种弱类型语言。 它肯定比Python（几乎？）从不动态转换类型更弱。 但可能不像 Perl 那么弱，Perl 几乎可以根据需要转换任何东西。

Answer 2

PowerShell 是动态类型的、简单明了的。 它的创建者 Bruce Payette 如此描述它。

此外，如果有人参加过基本的编程语言理论课程，他们就会知道这一点。 仅仅因为有类型注释系统并不意味着它是强类型的。 甚至类型注释的变量在强制转换期间也会动态地表现。 任何允许您将字符串分配给变量并将其打印出来，然后将数字分配给同一变量并用它进行计算的语言都是动态类型的。

此外，PowerShell 的作用域是动态的（如果这里有人知道这意味着什么的话）。

Answer 3

我认为进一步查看向 Int 添加 String 示例将为讨论提供更多依据。 什么被认为是动态类型转换？ 其中一条评论中有人说，在这种情况下：

4 + "4"

“4”变成了 Int32。 我根本不相信情况是这样。 我认为，中间步骤发生在命令更改为：

4 + [System.Convert]::ToInt32("4")

请注意，这意味着 "4" 在整个过程中保持字符串状态。 为了证明这一点，请考虑以下示例：

19# $foo = "4"
20# $foo.GetType()

IsPublic IsSerial Name                                     BaseType
-------- -------- ----                                     --------
True     True     String                                   System.Object


21# 4 + $foo
8
22# $foo.GetType()

IsPublic IsSerial Name                                     BaseType
-------- -------- ----                                     --------
True     True     String                                   System.Object

Answer 4

如果您需要的话，它可以是。

像这样：

[1] » [int]$x = 5
[2] » $x
5
[3] » $x = 'haha'
Cannot convert value "haha" to type "System.Int32". Error: "Input string was not in a correct format."
At line:1 char:3
+ $x  <<<< = 'haha'
[4] »

使用 [type] 表示法来指示您是否关心变量是强类型的。

编辑：

正如edg指出的那样，这并不妨碍 PowerShell 在执行 (5 + “5”) 时将“5”解释为整数。 我进行了更多挖掘，根据 Windows PowerShell 实际操作 中的 Bruce Payette 的说法，PowerShell实际上是一种“类型混杂的语言”。 所以，我想，我的答案是“有点”。

Answer 5

从技术上讲，它是一种强类型语言。

您可以拒绝在 shell 中声明类型，从而使其表现得像动态类型脚本语言，但它会将弱类型对象包装在“PsObject”类型的包装器中。 通过使用“New-Object”语法声明对象，对象是强类型的并且不是包装的。

$compilerParameters = New-Object System.CodeDom.Compiler.CompilerParameters

Answer 6

我认为您需要定义“强类型”的含义：

在计算机科学和计算机编程中，术语“强类型”用于描述编程语言对涉及不同数据类型的值的操作如何混合指定一个或多个限制的情况。 反义词是弱类型。 然而，在计算的短暂历史中，这些术语被赋予了如此广泛的含义，以至于很难脱离上下文来了解个别作者在使用它们时的含义。

--维基百科

Answer 7

我撤回我之前的回答——引用如下。 我应该说一些更微妙的话，例如：

PowerShell 具有强大的类型系统，具有强大的类型推断功能，并且是动态类型的。

在我看来，这里存在几个问题，因此需要一个答案对“强类型语言”的含义进行更好的定义可能在他们解决问题的方法上更加明智。

由于 PowerShell 跨越了许多边界，因此 PowerShell 所在位置的答案可能存在于由以下区域组成的维恩图中：

• 静态与动态类型检查
• 强类型与弱类型
• 安全类型与不安全类型
• 显式与隐式声明和推理
• 结构与 推理主格类型系统

<块引用>

“PowerShell 是一种强类型语言。

但是，它只要求您在存在歧义的地方声明类型。

如果它能够推断类型，则不需要您指定它。”