As For JS

As For JavaScript Coalesce Expression - Nullish coalescing operator - ??

Abstract
О том, почему coalesce expression является идиотизмом притянутым в спецификацию идиотами не понимающими архитектуру языка, а так же о том как разработчики V8 реализовали эту парашу именно как парашу.

Что это такое ваше за Coalesce Expression - я забыл - напомни мне - я упырь
не волноваться, я тоже упырь и совершенно не понимаю как придумывают эти названия.
Потому вот документация и примеры:
Официальная спецификация ECMA
MDN
пример:

var theThing;
(theThing ?? "Yo"); 
// Если theThing связан с undefined или null результат вычисления выражения будет "Yo

"

В чем проблема проверять и на null и на undefined одной конструкцией
undefined - это primitive value которое устанавливается для идентификаторов созданных при помощи variable statement.

null

- это primitive value которое связывают с идентификатором который в прошлом или в будущем был/будет связан с обьектом, но в его текущем состоянии обьект не определен. То есть null - это обьект с нулевой структурой. Не путать с указателями из других языков.

Эта разница принципиальна для runtime. На основе этой информации RunTime может предпринимать совершенно разные шаги каким образом можно работать с нашим кодом. Очевидно, что идентификатор связанный с undefined - это идентификатор поведение которого в будущем предсказать невозможно. Идентификатор связанный с null - в будущем будет обьектом или ранее использовался как обьект.

По этой причине, Coalesce expression бесполезно так как включает в себя два пограничных случая, которые не пересекаются. Иными словами, если в Вашей программе Вы вынуждены проверять идентификатор на то может ли он быть связан в одной и той же ситуации с null или undefined - то у Вас проблемы с вашим кодом, его архитектурой. Так как если Вы знаете что Ваш идентификатор будет связан с обьектом в будущем - он обязан быть про инициализирован как null, а не undefined.

Конечно если в Ваши задачи входит писать эффективный код. То есть код, который претендует на максимальную производительность.

Посмотрите на официальные API - если API должно вернуть обьект, но при этом что-то произошло, что не позволяет это сделать, то API всегда вернет null. Чем прямо сообщает RunTime - да я должен был вернуть обьект, но что-то пошло не так.

Байт код от V8 для Coalesce expression
Именно ради этого раздела я и затеял все это словоблудие.

JavaScript код:

var theThing;
(theThing ?? "Yo");

byteCode V8:

    Ldar r0

/* Регистр r0 это наш идентификатор theThing.
Ldar - это загрузка содержимого регистра в регистр аккумулятора.
Регистр аккумулятора - это особенный уникальный регистр,
который существует в единственном числе в V8. Через него делаются практически все операции. */

    JumpIfUndefinedOrNull "label1"

/* Это непосредственно операция ??,
на языке байткода V8 звучит как - если в регистре аккумулятора находится что-то
что является undefined или null то сделать переход к метке label1 */

    Jump "label2"

// безусловный переход к метке label2

label1:

// метка label1 к которой происходит переход

    LdaConstant [0]

// загрузить в аккумулятор подготовленную константу. В нашем случае это будет ссылка на "Yo"

label2:

// метка label2 к которой происходит переход

 
    // Other code

Этот же код без комментариев:

    Ldar r0 
    JumpIfUndefinedOrNull "label1" 
    Jump "label2"   
label1:
    LdaConstant [0]
label2:

Ничего не покоробило в логике этого кода?

🔥3

468 viewsedited 16:25

As For JS

YouTube

⎡JSbook: 02.03⎦ JavaScript: От мифов к спецификации. Выражения

В третьей части второго раздела, мы поговорим о том, что такое интерпретируемый язык. Как понимание принципов вычисления выражений - может перевернуть все восприятие языка. И почему любая цифра или строка это не то, чем оно кажется.

Таймкоды:
Будут после…

❤2

1.13K viewsMC Ltd™, edited 11:10

About

Blog

Apps

Platform