12

PowerShell ScriptBlock 不是词法闭包，因为它不会关闭在其声明环境中引用的变量。相反，它似乎利用了在运行时绑定在 lambda 表达式中的动态范围和自由变量。

function Get-Block {
  $b = "PowerShell"
  $value = {"Hello $b"}
  return $value
}
$block = Get-Block
& $block
# Hello
# PowerShell is not written as it is not defined in the scope
# in which the block was executed.


function foo {
  $value = 5
  function bar {
    return $value
  }
  return bar
}
foo
# 5
# 5 is written $value existed during the evaluation of the bar function
# it is my understanding that a function is a named scriptblock
#  which is also registered to function:

在 ScriptBlock 上调用 GetNewClosure() 会返回一个新的 ScriptBlock，它会关闭引用的变量。但这在范围和能力上非常有限。

ScriptBlock 的分类是什么？

4

2 回答 2

8

根据文档，脚本块是“脚本文本的预编译块”。因此，默认情况下，您只是一个预解析的脚本块，不多也不少。执行它会创建一个子范围，但除此之外，就好像您粘贴了内联代码。所以最合适的术语就是“只读源代码”。

在动态生成的 Module 上调用GetNewClosurebolts，该 Module 基本上带有调用者范围内所有变量的快照GetNewClosure。它不是真正的闭包，只是变量的快照副本。脚本块本身仍然只是源代码，在调用它之前不会发生变量绑定。您可以根据需要在附加的模块中添加/删除/编辑变量。

function GetSB
{
   $funcVar = 'initial copy'

   {"FuncVar is $funcVar"}.GetNewClosure()

   $funcVar = 'updated value'  # no effect, snapshot is taken when GetNewClosure is called
}

$sb = GetSB

& $sb  # FuncVar is initial copy

$funcVar = 'outside'
& $sb  # FuncVar is initial copy

$sb.Module.SessionState.PSVariable.Remove('funcVar')
& $sb  # FuncVar is outside
于 2012-09-25T17:44:13.277 回答
7

PowerShell ScriptBlock 等效于一流的匿名函数。我看到的大多数混淆不是与 ScriptBlocks 相关，而是与function关键字相关。

  • PowerShell 确实支持函数闭包，但function关键字不支持。

例子

功能：

PS> function Hello {
>>      param ([string] $thing)
>>      
>>      return ("Hello " + $thing)
>>  }

PS> Hello "World"
"Hello World"

脚本块：

PS> $HelloSB = {
>>      param ([string] $thing)
>>      
>>      return ("Hello " + $thing)
>>  }

PS> & $HelloSB "World"
"Hello World"

PS> $HelloRef = $HelloSB
PS> & $HelloRef "Universe"
"Hello Universe"

关闭：

PS> $Greeter = {
>>      param ([string] $Greeting)
>>      
>>      return ( {
>>          param ([string] $thing)
>>          
>>          return ($Greeting + " " + $thing)
>>      }.GetNewClosure() )
>>  }

PS> $Ahoy = (& $Greeter "Ahoy")
PS> & $Ahoy "World"
"Ahoy World"

PS> $Hola = (& $Greeter "Hola")
PS> & $Hola "Mundo"
"Hola Mundo"

尽管您可以使用“Set-Item”cmdlet绕过function关键字的限制：

PS> function Greeter = { ... }  # ✕ Error
PS> function Greeter { ... }.GetNewClosure()  # ✕ Error

PS> Set-Item -Path "Function:Greeter" -Value $Greeter  # (defined above)  ✓ OK
PS> $Hola = Greeter "Hola"
PS> & $Hola "Mundo"
"Hola Mundo"

“Set-Item” cmdlet的Value参数可以是任何 ScriptBlock，甚至是另一个函数返回的。（例如，“Greeter”函数返回一个闭包，如上所示。）

PS> Set-Item -Path "Function:Aloha" -Value (Greeter "Aloha")
PS> Aloha "World"
"Aloha World"

另外两个重要的点：

  • PowerShell 使用动态作用域，而不是词法作用域。

    词法闭包在其源代码环境中关闭，而动态闭包基于调用 GetNewClosure() 时存在的活动/动态环境而关闭。（这更适合脚本语言。）

  • PowerShell 可能有“函数”和“返回”语句，但实际上它的输入/输出是基于流和管道的。将返回使用“Write-Output”或“write”cmdlet 从 ScriptBlock 中写入的任何内容。

于 2015-11-07T10:41:02.770 回答