Variable scoping in PowerShell

Question

A sad thing about PowerShell is that function and scriptblocks are dynamically scoped.

But there is another thing that surprised me is that variables behave as a copy-on-write within an inner scope.

$array=@("g")
function foo()
{
    $array += "h"
    Write-Host $array
}

& {
    $array +="s"
    Write-Host $array
}
foo

Write-Host $array

The output is:

g s
g h
g

Which makes dynamic scoping a little bit less painful. But how do I avoid the copy-on-write?

Answer 1

A sad thing about PowerShell is that function and scriptblocks are dynamically scoped.

Use .GetNewClosure() to create a closure that captures variables from the immediate local scope:

function New-Closure
{
    $foo = 42
    {$foo}.GetNewClosure()
}

❯ $Closure = New-Closure
❯ & $Closure
# output: 42

The scope is accessible through the Module property:

❯ {"some new scriptblock"}.Module
# no output

❯ $Closure.Module

ModuleType Version    PreRelease Name                                ExportedCommands
---------- -------    ---------- ----                                ----------------
Script     0.0                   __DynamicModule_f89a39f6-f9f7-40ce…

Whether or not functions should also be dynamically-scoped is a language design decision. I can't think of a scripting language that does not allow functions to access dynamic variables from the caller's scope - perhaps you were brought up on Haskell ;-)

Edit: functions can access the scope of the containing module. The unit of powershell deployment is the module. If you don't want to write a module, you can create a dynamic module:

New-Module {
    $foo = 23
    function Get-EnclosedFoo
    {
        $foo
    }
}
# output: dynamic module

Get-EnclosedFoo
# output: 23

Answer 2

While other posts give lots of useful information they seem only to save you from RTFM.
The answer not mentioned is the one I find most useful!

([ref]$var).value = 'x'

This modifies the value of $var no matter what scope it happens to be in. You need not know its scope; only that it does in fact already exist. To use the OP's example:

$array=@("g")
function foo()
{
    ([ref]$array).Value += "h"
    Write-Host $array
}
& {
    ([ref]$array).Value +="s"
    Write-Host $array
}
foo
Write-Host $array

Produces:

g s
g s h
g s h

Explanation:
([ref]$var) gets you a pointer to the variable. Since this is a read operation it resolves to the most recent scope that actually did create that name. It also explains the error if the variable doesn't exist because [ref] can't create anything, it can only return a reference to something that already exists.

.value then takes you to the property holding the variable's definition; which you can then set.

You may be tempted to do something like this because it sometimes looks like it works.

([ref]$var) = "New Value"

DON'T!!!!
The instances where it looks like it works is an illusion because PowerShell is doing something that it only does under some very narrow circumstances such as on the command line. You can't count on it. In fact it doesn't work in the OP example.

Answer 3

The PowerShell scopes article (about_Scopes) is nice, but too verbose, so this is quotation from my article:

In general, PowerShell scopes are like .NET scopes. They are:

• Global is public
• Script is internal
• Private is private
• Local is current stack level
• Numbered scopes are from 0..N where each step is up to stack level (and 0 is Local)

Here is simple example, which describes usage and effects of scopes:

$test = 'Global Scope'
Function Foo {
    $test = 'Function Scope'
    Write-Host $Global:test                                  # Global Scope
    Write-Host $Local:test                                   # Function Scope
    Write-Host $test                                         # Function Scope
    Write-Host (Get-Variable -Name test -ValueOnly -Scope 0) # Function Scope
    Write-Host (Get-Variable -Name test -ValueOnly -Scope 1) # Global Scope
}
Foo

As you can see, you can use $Global:test like syntax only with named scopes, $0:test will be always $null.

Answer 4

You can use scope modifiers or the *-Variable cmdlets.

The scope modifiers are:

• global used to access/modify at the outermost scope (eg. the interactive shell)
• script used on access/modify at the scope of the running script (.ps1 file). If not running a script then operates as global.

(For the -Scope parameter of the *-Variable cmdlets see the help.)

Eg. in your second example, to directly modify the global $array:

& {
  $global:array +="s"
  Write-Host $array
}

For more details see the help topic about_scopes.

Answer 5

Not just varibles. When this says "item" it means variables, functions, aliases, and psdrives. All of those have scope.

LONG DESCRIPTION  
    Windows PowerShell protects access to variables, aliases, functions, and
    Windows PowerShell drives (PSDrives) by limiting where they can be read and
    changed. By enforcing a few simple rules for scope, Windows PowerShell
    helps to ensure that you do not inadvertently change an item that should
    not be changed.

    The following are the basic rules of scope:

        - An item you include in a scope is visible in the scope in which it
          was created and in any child scope, unless you explicitly make it
          private. You can place variables, aliases, functions, or Windows
          PowerShell drives in one or more scopes.

        - An item that you created within a scope can be changed only in the
          scope in which it was created, unless you explicitly specify a
          different scope.

The copy on write issue you're seeing is because of the way Powershell handles arrays. Adding to that array actually destroys the original array and creates a new one. Since it was created in that scope, it is destroyed when the function or script block exits and the scope is disposed of.

You can explicitly scope varibles when you update them, or you can use [ref] objects to do your updates, or write your script so that you're updating a property of an object or a hash table key of an object or hash table in a parent scope. This does not create a new object in the local scope, it modifies the object in the parent scope.