Я пытаюсь написать небольшую метапрограмму, используя boost.mpl, которая сопоставляет «именованные каналы» между аудиоформатами с использованием двух карт каналов.
Имя также является целым числом (перечислением). Простой пример того, чего я пытаюсь добиться во время выполнения, может выглядеть так:
typedef int Name;
std::map<int, int> map_channels(const std::map<int, Name>& m1, const std::map<Name, int>& m2)
{
std::map<int, int> result;
for (std::map<int, Name>::const_iterator it = m1.begin(); it != m1.end(); ++it)
{
result[it->first] = m2.find(it->second)->second; // Ignoring errors for example
}
return result;
}
int main()
{
std::map<int, Name> m1;
m1[0] = 20;
m1[1] = 22;
m1[2] = 21;
std::map<Name, int> m2;
m2[19] = 1;
m2[20] = 2;
m2[21] = 0;
m2[22] = 3;
std::map<int, int> m3 = map_channels(m1, m2);
for (std::map<int, int>::iterator it = m3.begin(); it != m3.end(); ++it)
{
std::cerr << it->first << ":" << it->second << std::endl;
}
return 0;
}
Я пытаюсь написать версию времени компиляции с использованием boost.mpl и до сих пор имею что-то вроде:
typedef map<
pair<int_<0>, int_<20> >
, pair<int_<2>, int_<22> >
, pair<int_<3>, int_<21> >
> m1;
typedef map<
pair<int_<19>, int_<1> >
, pair<int_<20>, int_<2> >
, pair<int_<21>, int_<0> >
, pair<int_<22>, int_<3> >
> m2;
Что я хочу сделать, так это создать третью карту из двух других карт, которая выглядит так:
typedef map<
pair<int_<0>, int_<2> >
, pair<int_<2>, int_<3> >
, pair<int_<3>, int_<0> >
> mapping;
Я пробовал следующие идеи:
// TODO : Dont know how to obtain a vector of keys from a mpl map
typedef vector<int_<0>, int_<2>, int_<3> > m1_keys;
//typedef transform<m1, first<_1> >::type m1_keys; // This does not work. I tried a number of ideas and none worked
// Create the composed function that given a key for m1, looks up the value and then uses that value as a lookup to m2
// This is working fine.
typedef at<m2, at<m1, _1> > composed_m1_m2_expr;
typedef lambda<composed_m1_m2_expr>::type composed_m1_m2_lambda;
// TODO : This fold is no good eithre.
typedef iter_fold<m1_keys, map<>, insert<_1, pair<deref<_2>, apply<composed_m1_m2_lambda, _2 > > > >::type mapping;
Примечание. Я распечатываю значения для таких вещей, как:
struct print_iipair
{
template <typename data_tpt>
void operator()(data_tpt p)
{
(void)p;
std::cerr << "k: " << data_tpt::first::value << ", v: " << data_tpt::second::value << std::endl;
//std::cerr << "value: " << typeid(p).name() << std::endl;
}
};
struct print_value
{
template <typename data_tpt>
void operator()(data_tpt p)
{
(void)p;
std::cerr << "value: " << data_tpt::value << std::endl;
//std::cerr << "value: " << typeid(p).name() << std::endl;
}
};
...
for_each<m1_keys,_>(print_value());
for_each<mapping,_>(print_iipair());
Мои вопросы:
1) Как мне создать boost::mpl::vector, содержащий ключи boost::mpl::map?
2) Как реализовать iter_fold? Я думаю, что проблема связана с применением и использованием _2, но не знаю, как решить эту проблему
Спасибо.