查看“︁空字串”︁的源代码

{{NoteTA
|G1 = IT
}}
在[[計算機科學]]或[[形式語言]]中，'''空字串'''是指在[[字母表 (计算机科学)|字母表]]Σ上，其長度為 0 的那唯一字串，以''ε''或''λ''來標記。

在[[物件導向程式語言]]中，空字串共非空參照。一個字串型別的空參照並未指向一個字串物件，而對其操作則會導致錯誤。空字串則可以使用字串運算。

== 特性 ==
在形式語言中，空字串有以下特性：
*<math>| \lambda \, | = 0</math>'''。[[字串|字串長度]]'''為 0 。
*<math>\lambda \, + s = s + \lambda \, = s</math>。在[[串接]]運算之下，空字串是一個在Σ上之[[自由么半群|自由-{么}-半群]]的[[單位元素]]。
*<math>{ \lambda \, }^R = \lambda \,</math>。空字串的'''[[反元素]]'''為空字串。
* 空字串位於[[字典順序]]中的最優先。<ref>{{Cite web |url=http://cs.fit.edu/~ryan/cse1002/lectures/lexicographic.pdf |title=CSE1002 Lecture Notes - Lexicographic |accessdate=2010-04-22 |archive-date=2009-12-29 |archive-url=https://web.archive.org/web/20091229212044/http://cs.fit.edu/~ryan/cse1002/lectures/lexicographic.pdf |dead-url=no }}</ref>

[[程式語言]]可能會維持這些特性，但保留特殊實作方式的可能{{Citation needed|date=March 2010}}。

== 表示方式 ==
空字串通常使用和其它一般字串相同的方式來表示。在使用'''結束字符'''的語言（如C字串或純文字的一行）中，則單統地將結束字符放在第一個位置。
{| class="wikitable"
|-
! 程式語言
! λ 表示法
|-
| [[C語言]], [[C++]]
| <syntaxhighlight lang="c" inline>""</syntaxhighlight><br /><syntaxhighlight lang="c" inline>{'\0'}</syntaxhighlight>
|-
| [[C++]]
| <syntaxhighlight lang="c" inline>std::string()</syntaxhighlight>
|-
| [[Objective-C]]
| <syntaxhighlight lang="objc" inline>@""</syntaxhighlight>
|-
| [[Perl]]
| <syntaxhighlight lang="perl" inline>""</syntaxhighlight><br /><syntaxhighlight lang="perl" inline>''</syntaxhighlight><br /><syntaxhighlight lang="perl" inline>qw()</syntaxhighlight>
|-
| [[Python]]
| <syntaxhighlight lang="python" inline>""</syntaxhighlight><br /><syntaxhighlight lang="python" inline>''</syntaxhighlight><br /><syntaxhighlight lang="python" inline>""""""</syntaxhighlight><br /><syntaxhighlight lang="python" inline>str()</syntaxhighlight>
|-
| [[C♯|C#]]
| <syntaxhighlight lang="csharp" inline>""</syntaxhighlight><br /><syntaxhighlight lang="csharp" inline>string.Empty</syntaxhighlight>
|- 
| [[VB.NET|Visual Basic .NET]]
| <syntaxhighlight lang="vb" inline>""</syntaxhighlight><br /><syntaxhighlight lang="vb" inline>String.Empty</syntaxhighlight>
|- 
| [[PHP]]
| <syntaxhighlight lang="php" inline>""</syntaxhighlight><br /><syntaxhighlight lang="php" inline>''</syntaxhighlight>
|- 
| [[Java]]
| <syntaxhighlight lang="java" inline>""</syntaxhighlight>
|- 
| [[Javascript]]
| <syntaxhighlight lang="javascript" inline>""</syntaxhighlight><br /><syntaxhighlight lang="javascript" inline>''</syntaxhighlight>
|- 
| [[Haskell]]
| <syntaxhighlight lang="text" inline>""</syntaxhighlight>
|- 
| [[OCaml]]
| <syntaxhighlight lang="ocaml" inline>""</syntaxhighlight><br /><syntaxhighlight lang="ocaml" inline>String.make 0 '-'</syntaxhighlight>
|- 
| [[Delphi]]
| <syntaxhighlight lang="delphi" inline>''</syntaxhighlight>
|- 
|}

== 參考 ==
<references/>


{{Nulls|type=程式語言}}

[[Category:形式语言|K]]
[[Category:零]]
[[Category:字符串]]