Javascriptの関数スコープと変数につきまして

Question

オライリー・ジャパン社の提供する
Javascript 第6版 2016年8月19日 初版6刷発行
著者 David Flanagan
訳者 村上 列
発行人 ティム・オライリー
印刷 日経印刷株式会社

の書籍内、3章 型、値、変数におきまして
以下のような説明がなされております。

・・・（前略）JavaScriptでは関数スコープが使われるので、関数中で宣言された変数はすべて、関数全体からアクセスできます。面白いことに、変数宣言より前のコードからもアクセスできます。このJavaScriptの特徴のことは、公式用語はありませんが、ホスティング（巻き上げ）と呼ばれています。・・・（後略）

そこで、言葉通り以下のコードを書くと
console上、" i is not defined"とエラーが出力されいます。
文言通り読めば、それがローカルスコープであっても関数全体においては参照可能であり、また、それが例え、後で定義または宣言された変数であってもと読めるのですが
理解に誤りがあるのでしょうか？

どなたかご教示をいただければ幸いです。
＊引用等で不備があればご指摘ください。

 <script>
        
        function dog (){
       document.write(i);
        }
       
       dog(); // "i is not defined....
       
       function cat (){
       var i ="にゃ〜";
       }
     
  
        </script>

もし同一関数内のことのみを意味していたとしても
下記の通り、undefinedです。

function cat (){
       document.write(i);//undefined
       var i ="にゃ〜";
       }

Comments

[kei344]

「それ俺のローカルスコープ出会っても」はタイプミスでは。

[SugiuraY]

ご指摘有難うございます。修正致しました。

Answer 1

まず、JavaScriptでは、関数のローカル変数を他の関数で使うことはできません。「関数全体」は、同じ関数を意味しています。

面白いことに、変数宣言より前のコードからもアクセスできます

とありますが、初期値の代入は宣言した場所で行われます。同じ関数内で、宣言した場所より前で値を取得するとundefinedになります。

var i = 3;

function foo(){
  console.log(i); // undefined（3でも7でもない）
  var i = 7;
}

なお、constやletでは挙動が違い、宣言した場所より上で使用しようとするとReferenceErrorとなりまうｓ．

Comments

[SugiuraY]

ご回答ありがとうございます。
理解することができました。
つまり、変数として宣言していないものを同じ関数スコープ内で先に使用してもエラーとはされずにunidentifiedになるとことと思います。
重ねてで申し訳ございませんが、
1) このような機能、仕様となっているため、何か便利な点があるのでしょうか？またはエラーにならないため、我々に警鐘を鳴らしているのでしょうか？
2) また、同じことを関数内ではなくグローバルオブジェクトにおいて実行してみたのですが同じようにundefinedとなり、結果は変わりませんでした、従ってこのホイスティングと呼ばれる機能は必ずしも関数スコープの中だけの話ではないと理解しても良いものでしょうか？
ご存知であれば、この点だけご教示いただけると嬉しいです。
よろしくお願い申し上げます。

Answer 2

var キーワードの有無によるはずです。

関数の中で宣言された変数に var キーワードが指定されている場合、その変数のスコープは関数の中だけになるはずです。var キーワードが指定されてない場合はグローバルとなりますが、関数が実行されるまでは undefined のままとなるはずです。

一方、グローバルスコープで宣言された変数は var キーワードの有無にかかわらず常にグローバルになるはずです。

【PS】

上記は、マイクロソフト公式解説書「プログラミング ASP.NET MVC」に書いてあったことの受け売りです。すべてのブラウザで試したわけではないので「はず」という表現になってます。もし、動作が違うということがあったらすみません。

Comments

[SugiuraY]

コメント有難うございます。
コメントはvar宣言の有無による、ローカルまたはグローバル変数への影響かと存じます。
私の質問が不明瞭で申し訳ないですが、意図としては、関数スコープ内で変数宣言する前でも機能するようなホイスティングと呼ばれる仕様または、機能について、記述とは異なるのでは？という点になります。
宜しくお願い申し上げます。

[退会済みユーザー]

> そこで、言葉通り以下のコードを書くと

ホントに「言葉の通り」コードを書いてますか？　質問に書いてあるコード（cat で定義した i を dog で参照する）は私のレスのことを言っているように思うのですが？　本に書いてあることは関数内での話（cat 内で定義した i を cat 内で参照する）のような気がしますけど。自分はその本は持ってないので分かりませんが。

[退会済みユーザー]

ああ、この話ですか？

http://analogic.jp/hoisting/

[SugiuraY]

コメントありがとうございます。
おっしゃるサイトの通りです。
また、maisumakun様がご指摘のように、ここでいう関数全体というのは、同じローカルスコープの範囲内であるということのようです。
書籍からそこまで読み取れず、申し訳ございません。