double-dispatch-unifies-type-resolution-across-patterns

Status: IN

Double dispatch is the shared type-resolution mechanism connecting Visitor's OCP axis inversion to the broader elimination of fragile type-switching: Visitor's Accept→Visit protocol is precisely an instance of the general double-dispatch technique that replaces dynamic_cast/type-switch chains, meaning Visitor's architectural contribution (new operations without modifying elements) is a specific application of a more general principle for achieving type-safe polymorphic dispatch across independently varying hierarchies.

Justifications

Visitor's double-dispatch protocol is a specific instance of the general type-switching elimination technique

Depends on (SL): visitor-double-dispatch-mechanism, double-dispatch-eliminates-type-switching

Depended on by

JSON