予約語
From Wikipedia, the free encyclopedia
予約語と似た言葉に「キーワード」(keyword) があるが、プログラミング言語の種類、また文脈によってreserved wordとkeywordは全く違う意味を持ちうるので、両者は異なる用語・概念と扱われている場合が多い。
キーワードであっても予約語でないこともあるし、その逆もある。たとえばECMAScript (ECMA-262) 5th Edition (ES5) では、classやextendsは予約語だが言語で使われておらずキーワードではない。しかしECMA-262 6th Edition (ES6) では新たにサポートしたクラス構文のために使われるキーワードとなった。ECMA-262 では、キーワードは予約語の部分集合で、言語で制御構造などの意味を持つ予約語がキーワードである。Javaでは言語で使われていないgotoやconstもキーワードである[4]。SQLには予約されたキーワードと予約されていないキーワードがある。例にも出てきたように、個々の規格によっても両者それぞれ微妙に意味が違うこともある。
なお、FORTRANやPL/Iのように予約語を持たないプログラミング言語もある。
「予約されたキーワード」(reserved keyword) や「予約されていないキーワード」(unreserved keyword) という用語が使用されている場合もある[5][6]。
共通言語基盤 (CLI) 向けの共通言語仕様 (CLS) にしたがって実装されたC#やVB.NETでは、キーワードを識別子として利用する構文が用意されている。
- C#では
@classなどのように先頭に@をつけることで識別子として利用することができる[7]。 - VB.NETでは
[Class]などのように[...]で囲むことで識別子として利用することができる[8]。 - F#では
``class``などのように``...``で囲むことで識別子として利用することができる[9]。
上記の機能は、CLSを満たす他の.NET言語で記述されてアセンブリに公開されたシンボルの名前を使う場合などでも有用である。例えばC#ではDimはキーワードではないため、プロパティなどの名前として使用できるが、VB.NETではキーワードであるためそのままでは使えず、相互運用に支障が出る。そこで、シンボル名を使用する際に[Dim]と記述することでVB.NETでも識別子として使えるようになる。
主な言語の予約語やキーワード
Ada
C言語
C言語はキーワード (keyword) の他、予約済みの識別子 (reserved identifier) を持つ[10][11]。正確な詳細は ISO/IEC 9899 規格を参照のこと。
なお、IBMのz/OSのドキュメントでは「reserved keyword」と呼んでいる[12]が、この用語はCの標準規格に準じたものではない。
C++
C++には、C言語由来のキーワードと、C++で新たに追加されたキーワードがある[13]。また、予約済みの識別子のルールもCと似ているが、若干異なる部分がある[14]。
C#
C#の構文はC/C++やJavaによく似ており、キーワードも類似している。
COBOL
FORTRAN
FORTRANにはキーワードがあるが、予約語を持たない[16]。そのため、ユーザー定義の名前（識別子）にifやgotoのようなキーワードと同じ綴りを使うこともできるが、プログラムの可読性やメンテナンス性を著しく下げるため使うべきではない[17]。
隣接するキーワードは、その間に1つ以上の空白文字を入れる必要があるものもあれば、必要がないものもある[18]。例えばGO TOをGOTOと書くことはできるが、DO WHILEをDOWHILEと書くことはできない。
Java
Javaの構文はC/C++によく似ており、キーワードも類似している。
Pascal
Pascalでは特殊記号 (special-symbol) の中に含まれる部分集合として、綴り記号 (word-symbol) という用語が使われる。『PASCAL 原書第4版』（培風館、1981）では word symbol の訳として「綴り記号」という用語を使っている。また、同書には「綴り記号（すなわち予約語）」という記述がある（p.12）。
ISO/IEC 7185:1990 の翻訳である JIS X 3008:1994「プログラム言語Pascal」では、「word-symbol」に対して「予約語」という翻訳を割り当てている。
特殊記号は、+, -などの演算子に使われる記号に加えて、begin, endなどの綴り記号を含む。
典型的な予約語・キーワード
- フロー制御を表す単語（
if、whileなど） - プログラムの構成要素を表す単語（
function、classなど） - プログラムの構成要素を修飾する単語（
static、constなど） - 組み込み関数（
open、readなど） - 組み込みの型（
int、stringなど） - 他の言語などと混同して、誤用される可能性のある語（Javaの
goto、constなど） - 将来キーワードとして利用するかも知れない語（JavaScriptの
let、super） - 過去にキーワードだったため意味が無くなった後も（将来的な再利用のために）残してあるもの（C++11の
export、C++17のregister[19]）
なお、C系の言語では、BASIC系の言語におけるELSEIFに直接相当するキーワードおよび構文は存在しない。C系言語のelse ifは複合キーワードや専用構文などではなく、else節に続く別のネストされたif文とみなされる[20][21]。処理系によっては、あらかじめ定められたネスト数の上限に達するとコンパイルエラーとなる[22]。
キーワード指向の言語と記号指向の言語
抽象構文的には全く違いは無いにもかかわらず、具象構文・字句構文（lexical syntax）的な違いは見た目の違いとしてわかりやすいこともあり、しばしばプログラマの好みの問題になりやすい。代表的にはブロックが { ... } か begin ... end か、などといった点であるが、そういった要素に記号を多用しがちな言語と、キーワードを多用しがちな言語がある。記号を使うのは簡潔だが、やりすぎると一見では暗号のようになりかねない（PerlやAPLなど）。キーワードを使う言語は冗長だが明示的という点は利点だが、識別子に使える名前が制限され、フォントを変えるなどシンタックスハイライトの支援がないと見た目にも区別しづらい。キーワードは全て大文字とし、識別子には必ず大文字アルファベット以外の文字が含まれるようにする、といった解決法もある。近年[いつ?]はISO 646の国際版に、世界的に7ビットの文字コードは定着したが、以前は、あるいは今もEBCDICは絶滅していないので記号は自由に使えない場合もあった。