リテラル

→「導出原理」も参照

リテラル・直値（英: literal）は、「文字どおり」「字義どおり」を意味する語で、letter と同じくラテン語の littera（文字）に由来する。数理論理学とコンピュータプログラミングで異なる意味の専門用語として使われる。

数理論理学

リテラルとは、数理論理学において、原子論理式あるいは原子論理式の否定のこと。

基礎リテラルとは、リテラルのうち、変数を含んでいないものを指す。

共通な変数を持たない2つの節に対して、節のそれぞれのリテラルで使って再汎単一化要素をもち、二次元導出系 (英: binary resolvant) を作る場合に導出に使われたリテラル (英: literal resolved upon) と呼ぶ。共通の変数を含まない2つの節で、推論した節の二次元等号調整系 (英: binary paramodulant) を作ったとき、等号調整に使われたリテラル (英: literal paramodulated upon) という。

コンピュータプログラミング

コンピュータプログラミング言語においてリテラルは、ソースコード内に値を直接表記したものをいう。言語によってリテラルとして表記できる型の種類や表記方法は異なる。簡略に記述できることが好まれるスクリプティング言語はリテラルの種類が多い傾向にある。リテラル表記ができるかどうかはその型が第一級オブジェクトかどうかを検討する材料である。静的に構文解析が可能なことが多いためシンタックスハイライトではたいてい色分けされる。なお言語によっては（標準規格等で）このリテラルのことを指して「定数」という用語を使っている場合もあるが、「リテラル」という語と使い分ける場合は、「定数」とは「初期化できるだけで、その後は値を変えられない変数」というようなものを指す。

数値

整数、浮動小数点数はほとんどの言語でサポートされる。他にも固定小数点、複素数、実数、分数などに対応する言語がある。

同じ種類のリテラルに対応していても言語ごとに機能面で違いがある。

• 10進法以外に、2進法、8進法、16進法で表記できるか。また、その表記法。
• 0.1F のように型を明示するためのサフィックスがあるか
• 0.1 を .1 と整数部を省略して書けるか
• 数値の間に _ を挟めるか

など

文字型

'A'のようにシングルクォートで文字を挟み、エスケープシーケンスが使える場合が多い。ASCIIやUnicodeの1文字を表すものがある。Schemeでは #\A、#\newline などのような記法である。SGML などでは λ、ዀ などのような記法である。

文字コードを表すと考えて、数値型に含める場合もある。

文字列型

"this is a string literal"のようにダブルクォートや、シングルクォートで文字列を囲む場合が多いが、一つの言語に複数の記述法があり、特殊な記法が用意される場合もある。その際にはエスケープシーケンスの処理、文字列補間（式展開）の有無、文字列の終わりの解釈などがそれぞれ異なる。

また、改行やホワイトスペースをそのまま反映する文字列の記法をヒアドキュメントと呼ぶ。C#では逐語的文字列リテラル (verbatim string literal) と呼ばれる。C++11では生の文字列リテラル (raw string literal) と呼ばれる。

関数

関数リテラルは関数を第一級オブジェクトとして扱える言語に備わっている。

無名関数（ラムダ式）を表現する。クラスなどに関数が定義できるだけでは関数リテラルとはみなされない。

同様の機能であっても関数リテラルと呼ばない言語もある。第一級関数も参照。

正規表現

/regex/のようにスラッシュで挟む。「大文字小文字を区別しない」等々のオプションが後ろに付けることができるような仕様であることが多い。

配列

C言語をはじめとするC系の言語では、{1, 2, 3}のように要素をコンマで区切り、ブレースで囲む。RubyやJavaScriptなどは、[1, 2, 3]のようにブラケットで囲む構文。

連想配列

一例としては、{"hoge":1, "piyo":2} といったように書く。このように書いた場合は、キーが"hoge"で値が1のペアと、キーが"piyo"で値が2のペアの配列を示す。言語によってキーと値の記号が{{{1}}}や->であることがある。

オブジェクトリテラル

JavaScriptではオブジェクトが属性名と属性値のペアの集まりであり、（またクラスベースではなくプロトタイプベースのオブジェクト指向であるためもあり、）前述の連想配列のようにしてオブジェクトをリテラルとして書ける。

JavaScriptにおける、オブジェクトリテラルと、その他の基本的なデータ型（文字列と数値）の記法の組合せは、ちょっとした構造のあるデータを記述するのに便利であり、JavaScriptの構文と意味からそれらの部分だけを取り出したサブセットであるデータ記述言語のJSONがある。

構造体

（初期化）C言語のC99規格以降では Designated Initializer （指示付きの初期化子ないし指示初期化子）により、任意の構造体において任意のメンバの初期値について指示ができる。

複合リテラル (compound literal)

C言語のC99規格以降では、compound literal（複合リテラル）により、配列: (int[]){ 1, 2, 3 } あるいは、構造体: (struct tm){ .tm_year = 107, .tm_mon = 7, .tm_mday = 24 } といったようにして、従来はリテラルを書けなかった型のうちいくつかについて、リテラルを書けるようになった。

ユーザー定義リテラル (user-defined literal)

C++のC++11規格以降では、演算子オーバーロードによりプログラマが任意の型のリテラルを定義できるようになった。

null

null、nil、nullptr

真偽値

false/true、#f/#t

シンボル

'symbol、:symbol

ベクター

#(1.2 3.4 cat)（Schemeでの例）

範囲

[1, 8)（Synopsys IC Validator の PXL 言語での例）

例

下のC#コードにおいて、7, 3.14, "hello"がそれぞれの型のリテラルである。

int x = 7;
double pi = 3.14;
string s = "hello";

参考文献

• Chang, Chin-Liang、Lee, Richard Char-Tung 著、長尾真、辻井潤一 訳『コンピュータ定理の証明』 27巻、日本コンピュータ協会 (編)〈コンピュータ・サイエンス研究書シリーズ〉、1983年9月。 NCID BN00844314。全国書誌番号:85013050。  原書: Symbolic Logic and Mechanical Theorem Proving

関連項目

• 値 (情報工学)