if [[ ${!xx[@]} ]] ; then echo xx is defined; fi

以下是如何测试参数是否未设置、是否为空（“Null”）或是否设置了值：

+--------------------+----------------------+-----------------+-----------------+
|   Expression       |       parameter      |     parameter   |    parameter    |
|   in script:       |   Set and Not Null   |   Set But Null  |      Unset      |
+--------------------+----------------------+-----------------+-----------------+
| ${parameter:-word} | substitute parameter | substitute word | substitute word |
| ${parameter-word}  | substitute parameter | substitute null | substitute word |
| ${parameter:=word} | substitute parameter | assign word     | assign word     |
| ${parameter=word}  | substitute parameter | substitute null | assign word     |
| ${parameter:?word} | substitute parameter | error, exit     | error, exit     |
| ${parameter?word}  | substitute parameter | substitute null | error, exit     |
| ${parameter:+word} | substitute word      | substitute null | substitute null |
| ${parameter+word}  | substitute word      | substitute word | substitute null |
+--------------------+----------------------+-----------------+-----------------+

来源：POSIX：参数扩展：

在所有显示为“替换”的情况下，表达式将替换为显示的值。在所有显示为“assign”的情况下，参数都被指定该值，该值也会替换表达式。

要在操作中显示此内容，请执行以下操作：

+--------------------+----------------------+-----------------+-----------------+
|   Expression       |  When FOO="world"    |  When FOO=""    |    unset FOO    |
|   in script:       |  (Set and Not Null)  |  (Set But Null) |     (Unset)     |
+--------------------+----------------------+-----------------+-----------------+
| ${FOO:-hello}      | world                | hello           | hello           |
| ${FOO-hello}       | world                | ""              | hello           |
| ${FOO:=hello}      | world                | FOO=hello       | FOO=hello       |
| ${FOO=hello}       | world                | ""              | FOO=hello       |
| ${FOO:?hello}      | world                | error, exit     | error, exit     |
| ${FOO?hello}       | world                | ""              | error, exit     |
| ${FOO:+hello}      | hello                | ""              | ""              |
| ${FOO+hello}       | hello                | hello           | ""              |
+--------------------+----------------------+-----------------+-----------------+

我喜欢辅助功能来隐藏Bash的粗糙细节。在这种情况下，这样做会增加更多（隐藏的）粗糙度：

# The first ! negates the result (can't use -n to achieve this)
# the second ! expands the content of varname (can't do ${$varname})
function IsDeclared_Tricky
{
  local varname="$1"
  ! [ -z ${!varname+x} ]
}

因为我在这个实现中首先遇到了bug（灵感来自Jens和Lionel的回答），所以我想出了一个不同的解决方案：

# Ask for the properties of the variable - fails if not declared
function IsDeclared()
{
  declare -p $1 &>/dev/null
}

我发现它更直接，更害羞，更容易理解/记住。测试用例表明它是等效的：

function main()
{
  declare -i xyz
  local foo
  local bar=
  local baz=''

  IsDeclared_Tricky xyz; echo "IsDeclared_Tricky xyz: $?"
  IsDeclared_Tricky foo; echo "IsDeclared_Tricky foo: $?"
  IsDeclared_Tricky bar; echo "IsDeclared_Tricky bar: $?"
  IsDeclared_Tricky baz; echo "IsDeclared_Tricky baz: $?"

  IsDeclared xyz; echo "IsDeclared xyz: $?"
  IsDeclared foo; echo "IsDeclared foo: $?"
  IsDeclared bar; echo "IsDeclared bar: $?"
  IsDeclared baz; echo "IsDeclared baz: $?"
}

main

测试用例还显示，局部var不声明var（除非后面跟着“=”）。很长一段时间以来，我以为我是这样声明变量的，只是为了发现我只是表达了我的意图。。。我想这是不可能的。

IsDeclared_Tricky xyz:1IsDeclared_Tricky foo:1IsDeclared_Tricky条：0我声明的Tricky baz:0IsDeclared xyz:1IsDeclared foo:1IsDeclared栏：0IsDeclared baz:0

奖金：用例

我主要使用此测试以某种“优雅”和安全的方式（几乎类似于接口…）向函数提供（和返回）参数：

# Auxiliary functions
function die()
{
  echo "Error: $1"; exit 1
}

function assertVariableDeclared()
{
  IsDeclared "$1" || die "variable not declared: $1"
}

function expectVariables()
{
  while (( $# > 0 )); do
    assertVariableDeclared $1; shift
  done
}

# Actual example
function exampleFunction()
{
  expectVariables inputStr outputStr
  outputStr="$inputStr, World!"
}

function bonus()
{
  local inputStr='Hello'
  local outputStr= # Remove this to trigger the error
  exampleFunction
  echo $outputStr
}

bonus

如果调用时声明了所有必需的变量：

你好，世界！

其他：

错误：未声明变量：outputStr

您可以执行以下操作：

function a {
        if [ ! -z "$1" ]; then
                echo '$1 is set'
        fi
}

[[ $foo ]]

Or

(( ${#foo} ))

Or

let ${#foo}

Or

declare -p foo

（通常）正确的方式

if [ -z ${var+x} ]; then echo "var is unset"; else echo "var is set to '$var'"; fi

其中${var+x}是一个参数扩展，如果var未设置，则其求值结果为空，否则替换字符串x。

报价摘要

可以省略引号（所以我们可以说$｛var+x｝而不是“$｛var+x｝”），因为这种语法和用法保证它只扩展到不需要引号的对象（因为它要么扩展到x（不包含换行符，因此不需要引号），要么不扩展到任何对象（这导致[-z]，它方便地计算出与[-z“”]相同的值（true））。

然而，虽然可以安全地省略引号，而且这并不是所有人都能立即看到的（这对第一位也是主要Bash编码者的引号解释作者来说都不明显），但有时最好使用引号[-z“${var+x}”]来编写解决方案，代价很小，可能会导致O（1）速度损失。第一作者还将此添加为使用此解决方案的代码旁边的注释，给出了此答案的URL，现在还包括了为什么可以安全地省略引号的解释。

（经常）错误的方式

if [ -z "$var" ]; then echo "var is blank"; else echo "var is set to '$var'"; fi

这通常是错误的，因为它无法区分未设置的变量和设置为空字符串的变量。也就是说，如果var=''，则上述解决方案将输出“var为空”。

在用户必须指定扩展名或其他财产列表的情况下，必须区分unset和“设置为空字符串”，如果不指定，则默认为非空值，而指定空字符串应使脚本使用空扩展名或附加财产列表。

然而，这种区别在每种情况下可能都不是必不可少的。在这种情况下，[-z“$var”]就可以了。