Dlaczego debuger Chrome uważa, że ​​zamknięta zmienna lokalna jest niezdefiniowana?

Za pomocą tego kodu:

function baz() {
  var x = "foo";

  function bar() {
    debugger;
  };
  bar();
}
baz();

Otrzymuję ten nieoczekiwany wynik:

Kiedy zmieniam kod:

function baz() {
  var x = "foo";

  function bar() {
    x;
    debugger;
  };
  bar();
}

Otrzymuję oczekiwany wynik:

Ponadto, jeśli jest jakieś wywołanie evalw funkcji wewnętrznej, mogę uzyskać dostęp do mojej zmiennej tak, jak chcę (nie ma znaczenia, do czego przekażę eval).

W międzyczasie narzędzia deweloperskie Firefoksa zapewniają oczekiwane zachowanie w obu przypadkach.

Co jest z Chrome, że debugger zachowuje się mniej wygodnie niż Firefox? Obserwowałem to zachowanie od jakiegoś czasu, aż do wersji beta 41.0.2272.43 włącznie (wersja 64-bitowa).

Czy to dlatego, że silnik javascript Chrome „spłaszcza” funkcje, kiedy jest to możliwe?

Co ciekawe, jeśli dodam drugą zmienną, która jest odwołanie w funkcji wewnętrznej,x zmienna jest nadal nieokreślone.

Rozumiem, że podczas korzystania z interaktywnego debuggera często pojawiają się dziwactwa związane z zakresem i definicją zmiennych, ale wydaje mi się, że w oparciu o specyfikację języka powinno być „najlepsze” rozwiązanie tych dziwactw. Jestem więc bardzo ciekawy, czy wynika to z dalszej optymalizacji Chrome niż Firefox. A także, czy te optymalizacje można łatwo wyłączyć podczas programowania (może powinny być wyłączone, gdy narzędzia deweloperskie są otwarte?).

Mogę również odtworzyć to z punktami przerwania, a także z debuggerinstrukcją.

Znalazłem raport o problemie z wersją 8, który dokładnie dotyczy tego, o co pytasz.

Teraz, podsumowując to, co zostało powiedziane w tym raporcie o problemie ... v8 może przechowywać zmienne, które są lokalne dla funkcji na stosie lub w obiekcie „kontekstu”, który żyje na stercie. Przydzieli zmienne lokalne na stosie, o ile funkcja nie zawiera żadnej funkcji wewnętrznej, która się do nich odwołuje. To jest optymalizacja . Jeśli jakakolwiek funkcja wewnętrzna odwołuje się do zmiennej lokalnej, zmienna ta zostanie umieszczona w obiekcie kontekstu (tj. Na stercie zamiast na stosie). Przypadek evaljest szczególny: jeśli w ogóle jest wywoływana przez funkcję wewnętrzną, wszystkie zmienne lokalne są umieszczane w obiekcie kontekstu.

Przyczyną istnienia obiektu kontekstu jest to, że generalnie można zwrócić funkcję wewnętrzną z funkcji zewnętrznej, a wtedy stos, który istniał, podczas gdy uruchomiona funkcja zewnętrzna, nie będzie już dostępny. Zatem wszystko, do czego funkcja wewnętrzna uzyskuje dostęp, musi przetrwać funkcję zewnętrzną i żyć na stercie, a nie na stosie.

Debuger nie może sprawdzić tych zmiennych, które znajdują się na stosie. Odnośnie problemu napotkanego podczas debugowania, jeden z członków projektu mówi :

Jedynym rozwiązaniem, jakie przychodzi mi do głowy, jest to, że za każdym razem, gdy devtools jest włączone, dezoptujemy cały kod i rekompilujemy z wymuszonym przydzieleniem kontekstu. To jednak dramatycznie zmniejszyłoby wydajność przy włączonych narzędziach Devtools.

Oto przykład „jeśli jakakolwiek funkcja wewnętrzna odwołuje się do zmiennej, umieść ją w obiekcie kontekstu”. Jeśli to uruchomisz, będziesz mieć dostęp xdo debuggerinstrukcji, nawet jeśli xjest ona używana tylko w foofunkcji, która nigdy nie jest wywoływana !

function baz() {
  var x = "x value";
  var z = "z value";

  function foo () {
    console.log(x);
  }

  function bar() {
    debugger;
  };

  bar();
}
baz();

Jak @Louis powiedział, że jest to spowodowane optymalizacjami w wersji 8. Możesz przechodzić ze stosu wywołań do ramki, w której ta zmienna jest widoczna:

Lub wymienić debuggerz

eval('debugger');

eval deoptuje bieżący fragment

Zauważyłem to również w nodejs. Uważam (i przyznaję, że to tylko przypuszczenie), że gdy kod jest kompilowany, jeśli xnie pojawia się w środku bar, nie jest xdostępny w zakresie bar. To prawdopodobnie czyni go nieco bardziej wydajnym; problem jest ktoś zapomniał (lub nie obchodzi), że nawet jeśli nie znajduje się xw bar, można zdecydować, aby uruchomić debugger, a więc nadal mieć dostęp xod wewnątrz bar.

Wow, naprawdę interesujące!

Jak wspominali inni, wydaje się, że jest to związane scope, ale dokładniej, związane z debugger scope. Kiedy wstrzykiwany skrypt jest oceniany w narzędziach programistycznych, wydaje się, że określa plikScopeChain , co powoduje pewne dziwactwa (ponieważ jest powiązany z zakresem inspektora / debugera). Oto odmiana tego, co opublikowałeś:

(EDYTUJ - właściwie wspomniałeś o tym w swoim pierwotnym pytaniu , o mój Boże! )

function foo() {
  var x = "bat";
  var y = "man";

  function bar() {
    console.log(x); // logs "bat"

    debugger; // Attempting to access "y" throws the following
              // Uncaught ReferenceError: y is not defined
              // However, x is available in the scopeChain. Weird!
  }
  bar();
}
foo();

Dla ambitnych i / lub ciekawskich, sprawdź (heh) źródło, aby zobaczyć, co się dzieje:

https://github.com/WebKit/webkit/tree/master/Source/JavaScriptCore/inspector https://github.com/WebKit/webkit/tree/master/Source/JavaScriptCore/debugger

Podejrzewam, że ma to związek z podnoszeniem zmiennym i funkcyjnym. JavaScript przenosi wszystkie deklaracje zmiennych i funkcji na początek funkcji, w której są zdefiniowane. Więcej informacji tutaj: http://jamesallardice.com/explaining-function-and-variable-hoisting-in-javascript/

Założę się, że Chrome wywołuje punkt przerwania ze zmienną niedostępną dla zakresu, ponieważ w funkcji nie ma nic innego. To wydaje się działać:

function baz() {
  var x = "foo";

  function bar() {
    console.log(x); 
    debugger;
  };
  bar();
}

Jak to robi:

function baz() {
  var x = "foo";

  function bar() {
    debugger;
    console.log(x);     
  };
  bar();
}

Mam nadzieję, że to i / lub powyższy link pomoże. To są moje ulubione rodzaje pytań SO, przy okazji :)