変数の定義と宣言の違い

Question

現在、JavaScriptの学習をしております。
そこで、変数の定義と宣言の違いについて色々と調べたのですが、
考え方が正しいかどうかが分からずご質問させてください。

私の現時点の理解は以下の通りです。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
・変数の定義
→変数を用意し、あらかじめ値まで入れ込んでおく。つまり「var 変数 = 値;」のこと

・変数の宣言
→変数を用意すること。つまり「var 変数;」のこと
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

上記の理解で良いのでしょうか。。。？

Comments

[takasima20]

同じ意味じゃないの?

[m.ts10806]

10字以上書かないと投稿できないんですけど、10字必要ないんです。

同じです。

[m.ts10806]

個人的興味ですが、「何を見てそういう理解に至ったか」を提示されたほうが良いかなと。

[Zuishin]

言語によっては宣言だけして定義されていない変数の値を使うことができないのでこれらは別物として扱われますが、JavaScript では const 以外明示的に初期化しなくても宣言しただけで必ず値が入る(定義される)ので文法的には「定義」という言葉が必要がないのかもしれませんね。しかし文法によって定められていなくても、undefined は定義されていないという意味なので、宣言はされたが定義はされていないと言えないこともないのかなと思います。undefined はいつでも代入できるので詭弁に限りなく近くなりますが。

[m.ts10806]

なるほど。
言語仕様なのか、実装なのか
突き詰めたい方向性によって違ってきますね。

Answer 1

JavaScriptのベース言語であるECMAScriptの仕様書ECMA-262 - Ecma Internationalの2020版を確認しました。

まず、宣言(declaration)や定義(definition)といった言葉は、言語によって何を示すのか、何を意味するのか違うことに注意してください。一般的にはCにおける宣言や定義の使い方や意味(参考:宣言 - cppreference.com)で用いられることが多いですが、言語によってはどちらかがない場合や、異なる意味で使われる事があると言うことです。ECMAScript(JavaScript)も同様に、Cとは異なる意味で、異なるものに対して使われています。

まず、ECMAScriptの仕様上は、

var a = 42;
var b;

このどちらも**変数の文(Variable Statement)です。また、構文上はa = 42やbのところに変数宣言(VariableDeclaration)**という名前を付けています。変数定義(VariableDefiniton)と言う言葉はありません。

また、注意して欲しいのは、

let a = 42;
let b;
const c = "teratail";

というところは**letとconstの宣言(Let and Const Declations)**です。似たような文の構成であっても、同じような名前を付けていない事に注意してください(なぜ、このようなことになっているかは詳しくはわかりませんが、歴史的な経緯かも知れません)。同じくletとconstに関して定義(Definiton)という言葉は出てきません。

ECMAScriptの構文上で定義(Definiton)という言葉が出てくるのはプロパティ定義(PropertyDefinition)とメソッド定義(MethodDefinition)のところだけのようです。結論としては、「変数の定義」という言葉自体がECMAScriptの仕様上は存在しないので、違いを述べる以前に片方はそもそもない、となると思います。(○○によって定義された変数(a variable defined by ～)という言葉ならありますが…)

Answer 2

過去ログ

**宣言(Declaration)と定義(Definition)**の違いは3年前にES2017を元に回答したので、下記リンク先を参照して下さい。

• 宣言と定義の違いについて｜teratail

ES2020

• 13.3.1 Let and Const Declarations - ECMAScript® 2020 Language Specification

let and const declarations define variables that are scoped to the running execution context's LexicalEnvironment.

日本語訳「letおよびconst宣言は、実行中の実行コンテキストのLexicalEnvironmentにスコープされる変数を定義します。」

Declaration に分類される文法「LetOrConst」をparseした結果、変数が定義されることを表しています。

(補足)
@raccyさんはES2020のSyntax上の名前として「VariableDeclarationがない」と説明しているようですが、「宣言(Declaration)」と「定義(Definition)」はES2020上に出てくる用語です。
本質問は「変数の定義と宣言の違い」でしたので、この回答では「宣言」と「定義」の違いを中心に回答しています。

宣言された変数を定義する

• 13.3.2 Variable Statement - ECMAScript® 2020 Language Specification

var string = 'Hello, World!'; // VariableStatement(変数文)

上記コードは次の流れで実行されます。

1. コーダーは構文「VariableStatement」をコーディングすることで変数を「宣言」します
2. ブラウザは構文「VariableStatement」をparse(解析)します
3. ブラウザはparse後にコードを実行します
4. 変数 string が「定義」されます

変数が未定義とは

・変数の定義
→変数を用意し、あらかじめ値まで入れ込んでおく。つまり「var 変数 = 値;」のこと

・変数の宣言
→変数を用意し、あらかじめ値まで入れ込んでおく。つまり「var 変数 = 値;」のこと

変数宣言時に値指定を省略すると、暗黙の内に undefined 値が格納されます。

var x;
console.log(x, typeof x); // undefined "undefined"

ただし、undefined 値は明示的に代入可能であり、変数宣言時に値指定が省略されたことを保証するものではありません。

var y = undefined, z = void 0;
console.log(y, z); // undefined undefined

このように、undefined 値が格納された変数が定義されます。

---

仮にコードで undefined 値を代入できない仕様だったとしても「変数値が未定義」であって「変数は定義済」という解釈が正解かと思います。
「変数が未定義」とは、該当変数名で参照できない状態(ReferenceError)を指します。

foo; // ReferenceError: foo is not defined

日本語訳すれば「参照エラー: foo は定義されていません」です。
逆説的には、変数参照時にReferenceErrorが発生しなければ、変数は定義されています。

Re: kumasshu さん

Comments

[think49]

実質的にはSyntaxError(文法エラー)が発生しなければ、宣言された変数は必ず定義されますので、両者が混同されがちなのかもしれません。