c++ - C++ での ML スタイルのパターン マッチングのシミュレーション

Question

タイトルはほとんどすべてを示しています。C++ で ML スタイルのパターン マッチングをシミュレートするにはどうすればよいでしょうか。

Statement *stm;
match(typeof(stm))
{
    case IfThen: ...
    case IfThenElse: ...
    case While: ...
    ...
}

「IfThen」、「IfThenElse」、および「While」は、「Statement」から継承するクラスです。