A declaração de classes virtuais puras permite o uso eficiente do polimorfismo e do enlace dinâmico de objetos dentro de um ambiente do tipo orientado a objetos. No trecho de código apresentado, a classe A<T,U> é uma classe virtual pura, e o polimorfismo e o enlace dinâmico podem ser observados na linha 34. A linha 36 é também um caso particular do polimorfismo e do enlace dinâmico, em que uma superclasse é capaz de se adaptar ao código declarado somente em suas classes derivadas.