空字串

在计算机科学或形式语言中，空字串是指在字母表Σ上，其长度为 0 的那唯一字串，以ε或λ来标记。

在物件导向程式语言中，空字串共非空参照。一个字串型别的空参照并未指向一个字串物件，而对其操作则会导致错误。空字串则可以使用字串运算。

特性

在形式语言中，空字串有以下特性：

• $| \lambda \, | = 0$。字串长度为 0 。
• $\lambda \, + s = s + \lambda \, = s$。在串接运算之下，空字串是一个在Σ上之自由么半群的单位元素。
• ${ \lambda \, }^R = \lambda \,$。空字串的反元素为空字串。
• 空字串位于字典顺序中的最优先。

程式语言可能会维持这些特性，但保留特殊实作方式的可能。

表示方式

空字串通常使用和其它一般字串相同的方式来表示。在使用结束字符的语言（如C字串或纯文字的一行）中，则单统地将结束字符放在第一个位置。

程式语言	λ 表示法
C语言, C++	"" {'\0'}
C++	std::string()
Objective-C	@""
Perl	"" '' qw()
Python	"" '' """""" str()
C#	"" string.Empty
Visual Basic .NET	"" String.Empty
PHP	"" ''
Java	""
Javascript	"" ''
Haskell	""
OCaml	"" String.make 0 '-'
Delphi	''