Здравствуйте, Vinick, Вы писали:

V>Вобще-то я надеялся, что будет работать что-то типа такого

V>  if( i ==1 )
V>    typedef mpl::insert<map,mpl::pair <mpl::int_<1>,A> >::type map1;
V>  else
V>    typedef mpl::insert<map,mpl::pair <mpl::int_<1>,B> >::type map1;

V>  typedef  mpl::at<map1,mpl::int_<1> >::type S;

V>Но судя по всему такое невозможно.

Естественно: типы должны определяться во время компиляции. Да и область видимости обоих типов map1 ограничена ветками then и else, а за пределами if ни один из них недоступен.