В моем проекте я использую Boost.Bimap для реализации двунаправленных карт. Посмотрите на этот...

Пусть T_1 и T_2 - два типа, а f: Dom (T_1) -> Dom (T_2) - инъективная функция, которая не является...