空串

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

面向对象编程语言中,空串共非空引用。一个字符串类型的空引用并未指向一个字符串对象,而对其操作则会导致错误。空串则可以使用字符串运算。

特性

在形式语言中,空串有以下特性:

  •  字符串长度为 0 。
  •  。在串接运算之下,空串是一个在Σ上之自由么半群单比特素
  •  。空串的反元素为空串。
  • 空串位于字典顺序中的最优先。[1]

编程语言可能会维持这些特性,但保留特殊实现方式的可能[来源请求]

表示方式

空串通常使用和其它一般字符串相同的方式来表示。在使用结束字符的语言(如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 ''

参考

  1. ^ CSE1002 Lecture Notes - Lexicographic (PDF). [2010-04-22]. (原始内容存档 (PDF)于2009-12-29).