Instanceof

Problem

What becomes confusing, fragile, or impossible without understanding instanceof? This lesson answers that through explanation, a worked example, two runnable exercises, and a reference solution. No teacher-supplied worksheet is required.

JavaScript began as a small browser scripting language, then accumulated object, functional, metaprogramming, module, and runtime capabilities while preserving early coercion rules.

Concept explanation

Instanceof belongs to “Prototype lookup and construction”. instanceof must be connected to layer below by tracing representation, ownership, control, and failure. Property lookup walks prototype links; new connects allocation, prototype, call, and returned value.

For instanceof, trace concrete input, state transition, output, and failure through a JavaScript semantic rule observable through values, property operations, scope, calls, or protocol steps.

Execution evaluates expressions against lexical environments. Objects are property tables linked through prototypes; functions are callable objects with closures. Apply that model to supplied normal, boundary, and failure cases; each case below names its input and expected evidence.

Example bank

Compare normal, boundary, failure, and cross-layer cases. Predict each observation before revealing the explanation.

Worked example

Start from supplied lab.mjs. Focus: Trace instanceof end-to-end while running: Build chain with Object.create and inspect own versus inherited properties.

1. Run: node lab.mjs
2. Save baseline evidence. Use property descriptors, scope panels, call stacks, console probes, and deliberately tiny cases.
3. Boundary case: At every instanceof boundary, label owner and representation during: Replace constructor prototype after one instance exists.
4. Failure case: Locate first layer where evidence diverges during: Create cycle attempt or broken constructor property and explain invariant.

RESULT
Trace explains Lookup path, instanceof result, and simplified new implementation match native behavior for tested cases. without skipping any conversion, queue, process, protocol, or storage boundary. Starter-level baseline: Two labeled records print in stable order; each exposes value, runtime type, and string representation.

Starter material

Create lab.mjs, paste this exact content, then run the command below.

const cases = [
  { label: "baseline", input: 0 },
  { label: "boundary", input: 1 },
];

function observe(value) {
  // Change only this function while investigating instanceof.
  return { value, type: typeof value, text: String(value) };
}

for (const test of cases) console.log(test.label, observe(test.input));

STOP / CLEANUPScripts exit by themselves; no cleanup command required.

Independent exercise

Remove one abstraction: instanceof

1. Create second case from blank file: At every instanceof boundary, label owner and representation during: Replace constructor prototype after one instance exists.
2. Then create controlled failure: Locate first layer where evidence diverges during: Create cycle attempt or broken constructor property and explain invariant.
3. Use Chromium Sources · console · hx · Node REPL to prove behavior, then repair controlled failure.
4. Compare result against supplied acceptance checks and reference approach before marking complete.

Expected result

• Trace explains Lookup path, instanceof result, and simplified new implementation match native behavior for tested cases. without skipping any conversion, queue, process, protocol, or storage boundary.
• Two labeled records print in stable order; each exposes value, runtime type, and string representation.
• Controlled instanceof failure produces captured evidence; repair restores stated invariant without hiding error.

Hints

Solution

Attempt both exercises before opening reference approach.