Donc en clair, c'est de la magie noire pour convertir foo<T1> en foo<T2>, voire avec plusieurs types paramètre comme dans ton exemple avec les paires? Je comprends mieux comment fonctionne ton snippet maintenant. Le but du snippet que tu as linké est de faire une opération map comme dans un langage fonctionnel, c'est bien ça? Donc au moins je comprends ta fonction main. L'implémentation, elle (donc tout ce qui est dans ton namespace xstd), reste de la magie noire.