{"id":"double-dispatch-eliminates-type-switching","text":"Double dispatch eliminates fragile dynamic_cast/type-switch chains: the glyph's virtual CheckMe resolves the element type (first dispatch), then calls back the analyzer with the correctly typed this pointer (second dispatch) — this is the core mechanism underlying the Visitor pattern.","truth_value":"IN","source":"entries/2026/06/17/gof-oo-chunk-6.md","source_url":"","source_hash":"","justifications":[],"dependents":["double-dispatch-unifies-type-resolution-across-patterns"],"metadata":{"last_premise_reviewed":"2026-06-17T18:19:22","premise_review_result":"pass"},"created_at":"2026-06-17T21:30:29+00:00","updated_at":"2026-06-17T21:30:29+00:00","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"double-dispatch-eliminates-type-switching","truth_value":"IN","reason":"premise"}]}}