Форум программистов, компьютерный форум CyberForum.ru

Compile-time алгоритмы. сборник - C++

Войти
Регистрация
Восстановить пароль
 
 
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
21.06.2011, 12:31     Compile-time алгоритмы. сборник #1
всем привет.
предлагаю в этой теме обсуждать/реализовывать/выкладывать compile-time алгоритмы. под CUT'ом.

подсчет FNV1a-хеш суммы строк:
code

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#include <iostream>
 
template<size_t N, size_t I=0>
struct hash_calc {
    static constexpr size_t apply (const char (&s)[N]) {
       return  (hash_calc<N, I+1>::apply(s) ^ s[I]) * 16777619u;
    };
};
 
template<size_t N>
struct hash_calc<N,N> {
    static constexpr size_t apply (const char (&s)[N]) {
       return  2166136261u;
    };
};
 
template<size_t N>
constexpr size_t hash ( const char (&s)[N] ) {
    return hash_calc<N>::apply(s);
}
 
int main() {
   constexpr char a[] = "12345678";
 
   enum { h1 = hash(a) };
   enum { h2 = hash("12345678") };
 
   std::cout << std::hex << h1 << std::endl;
   std::cout << std::hex << h2 << std::endl;
}

http://melpon.org/wandbox/permlink/ibMdmMuJjtxP90wD
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
21.06.2011, 12:31     Compile-time алгоритмы. сборник
Посмотрите здесь:

Compile C++
C++ Что такое compile-time алгоритмы и для чего они нужны?
C++ Не могу разобраться с заданием "Создайте класс Time с конструкторами Time(), Time( int hour)......"
C++ Compile - time алгоритмы
C++ Класс Time через time(0)
Напишите конструктор для инициализации объекта класса Time, который может использовать текущее время, возвращаемое функцией time (). C++
Класс "Время". Двусмысленность между time и std:time(long*) C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Deviaphan
Делаю внезапно и красиво
Эксперт C++
 Аватар для Deviaphan
1285 / 1219 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
14.07.2011, 12:04     Compile-time алгоритмы. сборник #2
А возможна статическая работа с массивом до C++0x?
Нет возможности уйти с 2008 студии.
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
14.07.2011, 15:38  [ТС]     Compile-time алгоритмы. сборник #3
Цитата Сообщение от Deviaphan Посмотреть сообщение
А возможна статическая работа с массивом до C++0x?
поясните вопрос. не понял...
Deviaphan
Делаю внезапно и красиво
Эксперт C++
 Аватар для Deviaphan
1285 / 1219 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
14.07.2011, 15:43     Compile-time алгоритмы. сборник #4
Обращение к элементам массива в compile-time. Не получилось передать массив, как параметр шаблона, видимо никак.(
Буду ждать возможности перехода на MSVC2010.
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
14.07.2011, 15:46  [ТС]     Compile-time алгоритмы. сборник #5
аааа, понял.
но поспешу Вас разочаровать. переход на MSVC2010 никак не поможет. ибо 2010 студия не поддерживает constexpr.
переходите-ка лучше на mingw(в подписи).
Deviaphan
Делаю внезапно и красиво
Эксперт C++
 Аватар для Deviaphan
1285 / 1219 / 50
Регистрация: 22.03.2011
Сообщений: 3,744
14.07.2011, 15:48     Compile-time алгоритмы. сборник #6
Увы, но тех.требования не позволяют уйти с VC2008. Тем более на mingw.

Не по теме:

Дурацкий Майкрософт... я уже обрадоваться успел.(

ValeryLaptev
Эксперт С++
1012 / 791 / 46
Регистрация: 30.04.2011
Сообщений: 1,601
20.07.2011, 06:44     Compile-time алгоритмы. сборник #7
Неплохая статья на эту тему: http://habrahabr.ru/blogs/crazydev/124476/
"Вычисление простых чисел на шаблонах C++"
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7955 / 4717 / 318
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
20.07.2011, 12:04     Compile-time алгоритмы. сборник #8
По сути не нужная вещь, но все же) Вычисление является-ли число совершенным на этапе компиляции.

Вычисление на этапе компиляции.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
template<int N, int X>
struct is_divide
{
    typedef typename 
    mpl::if_
    <
        mpl::modulus
        <
            mpl::int_<N>, mpl::int_<X>
        >, 
        mpl::false_,
        mpl::true_
    >::type type;
};
 
template<int N>
struct is_divide<N, 0>
{
    typedef mpl::false_ type;
};
 
template<int N, int X>
struct calc_divs
{
    typedef typename
    mpl::plus
    <
        typename calc_divs<N, X - 1>::type,
        typename mpl::if_
        <
            typename is_divide<N, X>::type,
            mpl::int_<X>,
            mpl::int_<0>
        >::type
    >::type type;
 
    static void print()
    {
        if (is_divide<N, X>::type::value)
        {
            std::cout << X << '\n';
        }
        calc_divs<N, X - 1>::print();
    }
};
 
template<int N>
struct calc_divs<N, 0>
{
    typedef typename mpl::int_<0>::type type;
    static void print()
    {
    }
};
 
template<int N>
struct is_perfect
{
    typedef typename 
    mpl::equal_to
    <
        mpl::int_<N>,
        typename calc_divs<N, N/2>::type
    >::type type;
};
 
template<int N>
struct calc_divs_
{
    typedef typename calc_divs<N, N/2>::type type;
 
    static void print()
    {
        calc_divs<N, N/2>::print();
    }
};
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
24.11.2011, 17:47  [ТС]     Compile-time алгоритмы. сборник #9
сегодня, кстати, опять задался вопросом получения индекса типа из mpl карты, и вспомнил про: http://www.cyberforum.ru/cpp-experts/thread226098.html
запощу сюда.
код

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include <iostream>
 
#include <boost/type_traits/is_same.hpp>
#include <boost/mpl/distance.hpp>
#include <boost/mpl/find_if.hpp>
#include <boost/mpl/begin_end.hpp>
#include <boost/mpl/map.hpp>
#include <boost/mpl/pair.hpp>
#include <boost/mpl/value_type.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/assert.hpp>
 
namespace mpl = boost::mpl;
 
typedef mpl::map<
   mpl::pair<mpl::int_<0>, int>,
   mpl::pair<mpl::int_<2>, char>,
   mpl::pair<mpl::int_<5>, double>
> map;
 
template<typename Map, typename T>
struct type {
   BOOST_MPL_ASSERT(( mpl::has_key<Map, T> ));
 
   enum {
      class_id = mpl::distance<
         typename mpl::begin<Map>::type,
         typename mpl::find_if<
            Map,
            boost::is_same<
               mpl::pair<
                  T,
                  typename mpl::at<Map, T>::type
               >,
               mpl::_1
            >
         >::type
      >::value
   };
};
 
int main() {
   std::cout << type<map, mpl::int_<0>>::class_id << std::endl;
   std::cout << type<map, mpl::int_<2>>::class_id << std::endl;
   std::cout << type<map, mpl::int_<5>>::class_id << std::endl;
 
//   std::cout << type<map, mpl::int_<1>>::class_id << std::endl; // Ooops! BOOST_MPL_ASSERT()
}

http://melpon.org/wandbox/permlink/INRnDdJ0aFul68be
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7955 / 4717 / 318
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
28.12.2011, 11:24     Compile-time алгоритмы. сборник #10
Простые числа
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#include <iostream>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/begin.hpp>
#include <boost/mpl/end.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/modulus.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/deref.hpp>
 
namespace mpl = boost::mpl;
 
template<int N, int X>
struct IsDivide
{
   typedef typename mpl::if_
   <
      mpl::modulus
      <
         mpl::int_<N>, mpl::int_<X>
      >,
      mpl::false_,
      mpl::true_
   >::type type;
};
 
template<int N>
struct IsDivide<N, 1>
{
   typedef mpl::true_ type;
};
 
template<int N>
struct IsDivide<N, 0>
{
   typedef mpl::true_ type;
};
 
template<int N, int X>
struct CalcDivs
{
   typedef typename mpl::plus
   <
      typename CalcDivs<N, X - 1>::type,
      typename mpl::if_
      <
         typename IsDivide<N, X>::type,
         mpl::int_<X>,
         mpl::int_<0>
      >::type
   >::type type;
};
 
template<int N>
struct CalcDivs<N, 1>
{
   typedef typename mpl::int_<0> type;
};
 
template<int N>
struct CalcDivs<N, 0>
{
   typedef typename mpl::int_<0> type;
};
 
template<int N>
struct IsPrime
{
   typedef typename mpl::equal_to
   <
      mpl::int_<0>,
      typename CalcDivs<N, N / 2>::type
   >::type type;
};
 
template<int N>
struct PrintIfPrime
{
   typedef typename IsPrime<N>::type type;
   static void apply()
   {
      if (type::type::value)
      {
         std::cout << N << std::endl;
      }
   }
};
 
template<>
struct PrintIfPrime<0>
{
   static void apply()
   {
   }
};
 
template<class First, class Last>
struct PrintPrimes
{
   static void apply()
   {
      PrintIfPrime<mpl::deref<First>::type::value >::apply();
      PrintPrimes<typename mpl::next<First>::type, Last>::apply();
   }
};
 
template<class Last>
struct PrintPrimes<Last, Last>
{
   static void apply()
   {
   }
};
 
template<class Sequence>
void Print()
{
   PrintPrimes<typename mpl::begin<Sequence>::type, typename mpl::end<Sequence>::type >::apply();
};
 
int main()
{
   typedef mpl::vector_c<int, 1,2,3,4,5,6,7,8,9,10> vector_type;
   Print<vector_type>();
}


Не по теме:

Кто бы подсказал как сие сделать через fusion::for_each...

niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
28.12.2011, 23:39  [ТС]     Compile-time алгоритмы. сборник #11
compile-time sqrt() without patterns

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>
#include <cmath>
 
constexpr double my_sqrt_impl(double lower, double upper, double v, bool d) {
   return
   upper-lower>0.0000000000001
      ? ((lower+upper)/2)*((lower+upper)/2)>v
         ? my_sqrt_impl(lower, (lower+upper)/2, v, d)
         : my_sqrt_impl((lower+upper)/2, upper, v, d)
      : d?lower:upper
   ;
}
 
constexpr double my_sqrt(double v) {
   return (my_sqrt_impl(v<1?v:1, v<1?1:v, v, true)+my_sqrt_impl(v<1?v:1, v<1?1:v, v, false))/2;
}
 
int main() {
   constexpr double v = 1.00006;
 
   std::cout << "standard implementation: " << sqrt(v) << std::endl;
   std::cout << "my own   implementation: " << my_sqrt(v) << std::endl;
 
   char array[int(my_sqrt(v))]; // check if my_sqrt(v) is constant expression
   std::cout << sizeof(array) << std::endl;
}

http://melpon.org/wandbox/permlink/yr6Y2udtaimeMoVS

Up.
Ma3a
Эксперт C++
612 / 456 / 31
Регистрация: 28.01.2011
Сообщений: 605
01.01.2012, 12:52     Compile-time алгоритмы. сборник #12
Цитата Сообщение от ForEveR Посмотреть сообщение
Простые числа
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
#include <iostream>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/begin.hpp>
#include <boost/mpl/end.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/modulus.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/deref.hpp>
 
namespace mpl = boost::mpl;
 
template<int N, int X>
struct IsDivide
{
   typedef typename mpl::if_
   <
      mpl::modulus
      <
         mpl::int_<N>, mpl::int_<X>
      >,
      mpl::false_,
      mpl::true_
   >::type type;
};
 
template<int N>
struct IsDivide<N, 1>
{
   typedef mpl::true_ type;
};
 
template<int N>
struct IsDivide<N, 0>
{
   typedef mpl::true_ type;
};
 
template<int N, int X>
struct CalcDivs
{
   typedef typename mpl::plus
   <
      typename CalcDivs<N, X - 1>::type,
      typename mpl::if_
      <
         typename IsDivide<N, X>::type,
         mpl::int_<X>,
         mpl::int_<0>
      >::type
   >::type type;
};
 
template<int N>
struct CalcDivs<N, 1>
{
   typedef typename mpl::int_<0> type;
};
 
template<int N>
struct CalcDivs<N, 0>
{
   typedef typename mpl::int_<0> type;
};
 
template<int N>
struct IsPrime
{
   typedef typename mpl::equal_to
   <
      mpl::int_<0>,
      typename CalcDivs<N, N / 2>::type
   >::type type;
};
 
template<int N>
struct PrintIfPrime
{
   typedef typename IsPrime<N>::type type;
   static void apply()
   {
      if (type::type::value)
      {
         std::cout << N << std::endl;
      }
   }
};
 
template<>
struct PrintIfPrime<0>
{
   static void apply()
   {
   }
};
 
template<class First, class Last>
struct PrintPrimes
{
   static void apply()
   {
      PrintIfPrime<mpl::deref<First>::type::value >::apply();
      PrintPrimes<typename mpl::next<First>::type, Last>::apply();
   }
};
 
template<class Last>
struct PrintPrimes<Last, Last>
{
   static void apply()
   {
   }
};
 
template<class Sequence>
void Print()
{
   PrintPrimes<typename mpl::begin<Sequence>::type, typename mpl::end<Sequence>::type >::apply();
};
 
int main()
{
   typedef mpl::vector_c<int, 1,2,3,4,5,6,7,8,9,10> vector_type;
   Print<vector_type>();
}


Не по теме:

Кто бы подсказал как сие сделать через fusion::for_each...

Я бы сделал просто filter_view с предикатом, который отбирает простые числа, а далее fusion::for_each делает всю работу по выводу чисел. Что-то вроде этого, если я правильно понял, о чем Вы
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
#include <iostream>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/begin.hpp>
#include <boost/mpl/end.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/modulus.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/deref.hpp>
 
#include <boost/fusion/include/for_each.hpp>
#include <boost/fusion/include/as_vector.hpp>
#include <boost/fusion/include/filter_view.hpp>
#include <boost/fusion/include/mpl.hpp>
 
#include <boost/phoenix.hpp>
 
namespace mpl = boost::mpl;
namespace fusion = boost::fusion;
 
template<int N, int X>
    struct IsDivide
    {
    typedef 
        typename mpl::if_<
            mpl::modulus<
                mpl::int_<N>, mpl::int_<X>
            >,
            mpl::false_,
            mpl::true_
        >::type type;
    };
 
template<int N>
    struct IsDivide<N, 1>
    {
    typedef mpl::true_ type;
    };
 
template<int N>
    struct IsDivide<N, 0>
    {
    typedef mpl::true_ type;
    };
 
template<int N, int X>
    struct CalcDivs
    {
    typedef 
        typename mpl::plus<
            typename CalcDivs<N, X - 1>::type,
            typename mpl::if_<
                typename IsDivide<N, X>::type,
                mpl::int_<X>,
                mpl::int_<0>
            >::type
        >::type type;
    };
 
template<int N>
    struct CalcDivs<N, 1>
    {
    typedef typename mpl::int_<0> type;
    };
 
template<int N>
    struct CalcDivs<N, 0>
    {
    typedef typename mpl::int_<0> type;
    };
 
template<int N>
    struct IsPrime
    {
    typedef typename mpl::equal_to
        <
        mpl::int_<0>,
        typename CalcDivs<N, N / 2>::type
        >::type type;
    };
 
template <typename Iter>
    struct IsPrimeIter
    {
    typedef
        typename mpl::equal_to<
            mpl::int_<0>,
            typename CalcDivs<
                Iter::value, Iter::value / 2
            >::type
        >::type type;
    };
 
template <typename Sequence>
    struct print_primes_impl
    {
    static void apply()
        {
        using boost::phoenix::placeholders::_1;
 
        typedef fusion::filter_view<
            Sequence const, IsPrimeIter<mpl::_>
        > prime_sequence_view;
 
        fusion::for_each(
            prime_sequence_view(Sequence()),
            std::cout << _1 << std::endl
            );
        }
    };
 
template <typename Sequence>
void print_primes()
    {
    print_primes_impl<Sequence>::apply();
    }
 
int main()
    {
    typedef mpl::vector_c<int, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10> vector_type;
    print_primes<vector_type>();
    }
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7955 / 4717 / 318
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
01.01.2012, 15:45     Compile-time алгоритмы. сборник #13
Ma3a,
C++
1
2
3
4
5
6
7
8
9
10
11
template <typename Iter>
    struct IsPrimeIter
    {
    typedef
        typename mpl::equal_to<
            mpl::int_<0>,
            typename CalcDivs<
                Iter::value, Iter::value / 2
            >::type
        >::type type;
    };
А не логичнее тут было вызвать IsPrime<Iter::value>?
Ma3a
Эксперт C++
612 / 456 / 31
Регистрация: 28.01.2011
Сообщений: 605
01.01.2012, 15:50     Compile-time алгоритмы. сборник #14
ForEveR, логичнее, я просто об этом как-то даже не подумал
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
09.01.2012, 05:23  [ТС]     Compile-time алгоритмы. сборник #15
в первой реализации FNV-1A обнаружено и исправлено несоответствие результата, с оригинальной реализацией. функция была переписана, исправлена, и упрощена ее реализация.
так же, добавлена 64ех битная версия функции.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
template<std::uint32_t N>
constexpr std::uint32_t fnv1a_32(const char(&s)[N], std::uint32_t i=0, std::uint32_t h=0x811c9dc5) {
   return (i==N-1)?h:fnv1a_32(s, i+1, ((h^s[i])*0x01000193));
}
 
template<std::uint32_t N>
constexpr std::uint64_t fnv1a_64(const char(&s)[N], std::uint32_t i=0, std::uint64_t h=0xCBF29CE484222325) {
   return (i==N-1)?h:fnv1a_64(s, i+1, ((h^s[i])*0x100000001B3));
}
 
int main() {
   constexpr char a[] = "12345678";
   fprintf(stdout, "0x%08x\n", fnv1a_32(a));
   fprintf(stdout, "0x%016llx\n", fnv1a_64(a));
}
http://melpon.org/wandbox/permlink/3bpSim9qWA1YCQcw

Добавлено через 3 минуты
сортировка mpl.map по значению.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
#include <iostream>
 
#include <boost/mpl/map.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/pair.hpp>
#include <boost/mpl/sort.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/less.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/accumulate.hpp>
#include <boost/mpl/insert.hpp>
#include <boost/mpl/push_back.hpp>
#include <boost/mpl/for_each.hpp>
 
struct printer {
   template<typename T>
   void operator()(const T&) const {
      std::cout
      << "v = " << T::second::value
      << ", k = " << typeid(typename T::first).name() << std::endl;
   }
};
 
template<typename M>
struct sort_map {
private:
   template<typename T0, typename T1> 
   struct compare {
      typedef typename boost::mpl::less<
         typename T0::second,
         typename T1::second
      >::type type;
   };
 
public:
   typedef typename boost::mpl::accumulate< 
      typename boost::mpl::sort<
         typename boost::mpl::accumulate<
            M,
            boost::mpl::vector<>, 
            boost::mpl::push_back<boost::mpl::_1, boost::mpl::_2> 
         >::type,
         compare<boost::mpl::_1, boost::mpl::_2>
      >::type,
      boost::mpl::map<>,
      boost::mpl::insert<boost::mpl::_1, boost::mpl::_2>
   >::type type;
};
 
int main() {
   typedef boost::mpl::map<
      boost::mpl::pair<int, boost::mpl::int_<4>>,
      boost::mpl::pair<char, boost::mpl::int_<1>>,
      boost::mpl::pair<short, boost::mpl::int_<2>>
   >::type map;
 
   typedef sort_map<map>::type smap;
 
   std::cout << "before:" << std::endl;
   boost::mpl::for_each<map>(printer());
   std::cout << "after:" << std::endl;
   boost::mpl::for_each<smap>(printer());
}
http://melpon.org/wandbox/permlink/gQTZGQRh2qMo7LsU

для сортировки по значению ключа, необходимо изменить предикат compare, строка 27.

Добавлено через 30 минут
реализация табличной CRC16-CCITT.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#include <iostream>
 
static constexpr std::uint16_t crc16_ccitt_table[] = {
    0x0000, 0x1021, 0x2042, 0x3063, 0x4084, 0x50A5, 0x60C6, 0x70E7,
    0x8108, 0x9129, 0xA14A, 0xB16B, 0xC18C, 0xD1AD, 0xE1CE, 0xF1EF,
    0x1231, 0x0210, 0x3273, 0x2252, 0x52B5, 0x4294, 0x72F7, 0x62D6,
    0x9339, 0x8318, 0xB37B, 0xA35A, 0xD3BD, 0xC39C, 0xF3FF, 0xE3DE,
    0x2462, 0x3443, 0x0420, 0x1401, 0x64E6, 0x74C7, 0x44A4, 0x5485,
    0xA56A, 0xB54B, 0x8528, 0x9509, 0xE5EE, 0xF5CF, 0xC5AC, 0xD58D,
    0x3653, 0x2672, 0x1611, 0x0630, 0x76D7, 0x66F6, 0x5695, 0x46B4,
    0xB75B, 0xA77A, 0x9719, 0x8738, 0xF7DF, 0xE7FE, 0xD79D, 0xC7BC,
    0x48C4, 0x58E5, 0x6886, 0x78A7, 0x0840, 0x1861, 0x2802, 0x3823,
    0xC9CC, 0xD9ED, 0xE98E, 0xF9AF, 0x8948, 0x9969, 0xA90A, 0xB92B,
    0x5AF5, 0x4AD4, 0x7AB7, 0x6A96, 0x1A71, 0x0A50, 0x3A33, 0x2A12,
    0xDBFD, 0xCBDC, 0xFBBF, 0xEB9E, 0x9B79, 0x8B58, 0xBB3B, 0xAB1A,
    0x6CA6, 0x7C87, 0x4CE4, 0x5CC5, 0x2C22, 0x3C03, 0x0C60, 0x1C41,
    0xEDAE, 0xFD8F, 0xCDEC, 0xDDCD, 0xAD2A, 0xBD0B, 0x8D68, 0x9D49,
    0x7E97, 0x6EB6, 0x5ED5, 0x4EF4, 0x3E13, 0x2E32, 0x1E51, 0x0E70,
    0xFF9F, 0xEFBE, 0xDFDD, 0xCFFC, 0xBF1B, 0xAF3A, 0x9F59, 0x8F78,
    0x9188, 0x81A9, 0xB1CA, 0xA1EB, 0xD10C, 0xC12D, 0xF14E, 0xE16F,
    0x1080, 0x00A1, 0x30C2, 0x20E3, 0x5004, 0x4025, 0x7046, 0x6067,
    0x83B9, 0x9398, 0xA3FB, 0xB3DA, 0xC33D, 0xD31C, 0xE37F, 0xF35E,
    0x02B1, 0x1290, 0x22F3, 0x32D2, 0x4235, 0x5214, 0x6277, 0x7256,
    0xB5EA, 0xA5CB, 0x95A8, 0x8589, 0xF56E, 0xE54F, 0xD52C, 0xC50D,
    0x34E2, 0x24C3, 0x14A0, 0x0481, 0x7466, 0x6447, 0x5424, 0x4405,
    0xA7DB, 0xB7FA, 0x8799, 0x97B8, 0xE75F, 0xF77E, 0xC71D, 0xD73C,
    0x26D3, 0x36F2, 0x0691, 0x16B0, 0x6657, 0x7676, 0x4615, 0x5634,
    0xD94C, 0xC96D, 0xF90E, 0xE92F, 0x99C8, 0x89E9, 0xB98A, 0xA9AB,
    0x5844, 0x4865, 0x7806, 0x6827, 0x18C0, 0x08E1, 0x3882, 0x28A3,
    0xCB7D, 0xDB5C, 0xEB3F, 0xFB1E, 0x8BF9, 0x9BD8, 0xABBB, 0xBB9A,
    0x4A75, 0x5A54, 0x6A37, 0x7A16, 0x0AF1, 0x1AD0, 0x2AB3, 0x3A92,
    0xFD2E, 0xED0F, 0xDD6C, 0xCD4D, 0xBDAA, 0xAD8B, 0x9DE8, 0x8DC9,
    0x7C26, 0x6C07, 0x5C64, 0x4C45, 0x3CA2, 0x2C83, 0x1CE0, 0x0CC1,
    0xEF1F, 0xFF3E, 0xCF5D, 0xDF7C, 0xAF9B, 0xBFBA, 0x8FD9, 0x9FF8,
    0x6E17, 0x7E36, 0x4E55, 0x5E74, 0x2E93, 0x3EB2, 0x0ED1, 0x1EF0
};
 
template<std::uint32_t N>
constexpr std::uint16_t crc16_ccitt(const char(&s)[N], std::uint32_t i=0, std::uint16_t h=0xFFFF) {
   return (i==N-1)?h:crc16_ccitt(s, i+1, (h<<8)^crc16_ccitt_table[(h>>8)^((std::uint8_t)s[i])]);
}
 
int main() {
   constexpr char s[] = "12345678";
   fprintf(stdout, "0x%04x\n", crc16_ccitt(s));
}
http://melpon.org/wandbox/permlink/aLvB37Ip7Qm9kvLZ
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
11.01.2012, 20:04  [ТС]     Compile-time алгоритмы. сборник #16
реализация табличной CRC16-ARC.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#include <iostream>
 
static constexpr std::uint16_t crc16_arc_table[] = {
   0x0000, 0xC0C1, 0xC181, 0x0140, 0xC301, 0x03C0, 0x0280, 0xC241,
   0xC601, 0x06C0, 0x0780, 0xC741, 0x0500, 0xC5C1, 0xC481, 0x0440,
   0xCC01, 0x0CC0, 0x0D80, 0xCD41, 0x0F00, 0xCFC1, 0xCE81, 0x0E40,
   0x0A00, 0xCAC1, 0xCB81, 0x0B40, 0xC901, 0x09C0, 0x0880, 0xC841,
   0xD801, 0x18C0, 0x1980, 0xD941, 0x1B00, 0xDBC1, 0xDA81, 0x1A40,
   0x1E00, 0xDEC1, 0xDF81, 0x1F40, 0xDD01, 0x1DC0, 0x1C80, 0xDC41,
   0x1400, 0xD4C1, 0xD581, 0x1540, 0xD701, 0x17C0, 0x1680, 0xD641,
   0xD201, 0x12C0, 0x1380, 0xD341, 0x1100, 0xD1C1, 0xD081, 0x1040,
   0xF001, 0x30C0, 0x3180, 0xF141, 0x3300, 0xF3C1, 0xF281, 0x3240,
   0x3600, 0xF6C1, 0xF781, 0x3740, 0xF501, 0x35C0, 0x3480, 0xF441,
   0x3C00, 0xFCC1, 0xFD81, 0x3D40, 0xFF01, 0x3FC0, 0x3E80, 0xFE41,
   0xFA01, 0x3AC0, 0x3B80, 0xFB41, 0x3900, 0xF9C1, 0xF881, 0x3840,
   0x2800, 0xE8C1, 0xE981, 0x2940, 0xEB01, 0x2BC0, 0x2A80, 0xEA41,
   0xEE01, 0x2EC0, 0x2F80, 0xEF41, 0x2D00, 0xEDC1, 0xEC81, 0x2C40,
   0xE401, 0x24C0, 0x2580, 0xE541, 0x2700, 0xE7C1, 0xE681, 0x2640,
   0x2200, 0xE2C1, 0xE381, 0x2340, 0xE101, 0x21C0, 0x2080, 0xE041,
   0xA001, 0x60C0, 0x6180, 0xA141, 0x6300, 0xA3C1, 0xA281, 0x6240,
   0x6600, 0xA6C1, 0xA781, 0x6740, 0xA501, 0x65C0, 0x6480, 0xA441,
   0x6C00, 0xACC1, 0xAD81, 0x6D40, 0xAF01, 0x6FC0, 0x6E80, 0xAE41,
   0xAA01, 0x6AC0, 0x6B80, 0xAB41, 0x6900, 0xA9C1, 0xA881, 0x6840,
   0x7800, 0xB8C1, 0xB981, 0x7940, 0xBB01, 0x7BC0, 0x7A80, 0xBA41,
   0xBE01, 0x7EC0, 0x7F80, 0xBF41, 0x7D00, 0xBDC1, 0xBC81, 0x7C40,
   0xB401, 0x74C0, 0x7580, 0xB541, 0x7700, 0xB7C1, 0xB681, 0x7640,
   0x7200, 0xB2C1, 0xB381, 0x7340, 0xB101, 0x71C0, 0x7080, 0xB041,
   0x5000, 0x90C1, 0x9181, 0x5140, 0x9301, 0x53C0, 0x5280, 0x9241,
   0x9601, 0x56C0, 0x5780, 0x9741, 0x5500, 0x95C1, 0x9481, 0x5440,
   0x9C01, 0x5CC0, 0x5D80, 0x9D41, 0x5F00, 0x9FC1, 0x9E81, 0x5E40,
   0x5A00, 0x9AC1, 0x9B81, 0x5B40, 0x9901, 0x59C0, 0x5880, 0x9841,
   0x8801, 0x48C0, 0x4980, 0x8941, 0x4B00, 0x8BC1, 0x8A81, 0x4A40,
   0x4E00, 0x8EC1, 0x8F81, 0x4F40, 0x8D01, 0x4DC0, 0x4C80, 0x8C41,
   0x4400, 0x84C1, 0x8581, 0x4540, 0x8701, 0x47C0, 0x4680, 0x8641,
   0x8201, 0x42C0, 0x4380, 0x8341, 0x4100, 0x81C1, 0x8081, 0x4040
};
 
template<std::uint32_t N>
constexpr std::uint16_t crc16_arc(const char(&s)[N], std::uint32_t i=0, std::uint16_t h=0xFFFF) {
   return (i==N-1)?h:crc16_arc(s, i+1, (h>>8)^crc16_arc_table[(h&0xFF)^((std::uint8_t)s[i])]);
}
 
int main() {
   constexpr char s[] = "12345678";
   fprintf(stdout, "0x%04x\n", crc16_arc(s));
}
http://melpon.org/wandbox/permlink/NhCY9goB4N4lAKJG
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
15.01.2012, 10:52  [ТС]     Compile-time алгоритмы. сборник #17
crc32
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
#include <iostream>
 
static constexpr std::uint32_t crc32_table[] = {
   0x00000000, 0x77073096, 0xEE0E612C, 0x990951BA,
   0x076DC419, 0x706AF48F, 0xE963A535, 0x9E6495A3,
   0x0EDB8832, 0x79DCB8A4, 0xE0D5E91E, 0x97D2D988,
   0x09B64C2B, 0x7EB17CBD, 0xE7B82D07, 0x90BF1D91,
   0x1DB71064, 0x6AB020F2, 0xF3B97148, 0x84BE41DE,
   0x1ADAD47D, 0x6DDDE4EB, 0xF4D4B551, 0x83D385C7,
   0x136C9856, 0x646BA8C0, 0xFD62F97A, 0x8A65C9EC,
   0x14015C4F, 0x63066CD9, 0xFA0F3D63, 0x8D080DF5,
   0x3B6E20C8, 0x4C69105E, 0xD56041E4, 0xA2677172,
   0x3C03E4D1, 0x4B04D447, 0xD20D85FD, 0xA50AB56B,
   0x35B5A8FA, 0x42B2986C, 0xDBBBC9D6, 0xACBCF940,
   0x32D86CE3, 0x45DF5C75, 0xDCD60DCF, 0xABD13D59,
   0x26D930AC, 0x51DE003A, 0xC8D75180, 0xBFD06116,
   0x21B4F4B5, 0x56B3C423, 0xCFBA9599, 0xB8BDA50F,
   0x2802B89E, 0x5F058808, 0xC60CD9B2, 0xB10BE924,
   0x2F6F7C87, 0x58684C11, 0xC1611DAB, 0xB6662D3D,
   0x76DC4190, 0x01DB7106, 0x98D220BC, 0xEFD5102A,
   0x71B18589, 0x06B6B51F, 0x9FBFE4A5, 0xE8B8D433,
   0x7807C9A2, 0x0F00F934, 0x9609A88E, 0xE10E9818,
   0x7F6A0DBB, 0x086D3D2D, 0x91646C97, 0xE6635C01,
   0x6B6B51F4, 0x1C6C6162, 0x856530D8, 0xF262004E,
   0x6C0695ED, 0x1B01A57B, 0x8208F4C1, 0xF50FC457,
   0x65B0D9C6, 0x12B7E950, 0x8BBEB8EA, 0xFCB9887C,
   0x62DD1DDF, 0x15DA2D49, 0x8CD37CF3, 0xFBD44C65,
   0x4DB26158, 0x3AB551CE, 0xA3BC0074, 0xD4BB30E2,
   0x4ADFA541, 0x3DD895D7, 0xA4D1C46D, 0xD3D6F4FB,
   0x4369E96A, 0x346ED9FC, 0xAD678846, 0xDA60B8D0,
   0x44042D73, 0x33031DE5, 0xAA0A4C5F, 0xDD0D7CC9,
   0x5005713C, 0x270241AA, 0xBE0B1010, 0xC90C2086,
   0x5768B525, 0x206F85B3, 0xB966D409, 0xCE61E49F,
   0x5EDEF90E, 0x29D9C998, 0xB0D09822, 0xC7D7A8B4,
   0x59B33D17, 0x2EB40D81, 0xB7BD5C3B, 0xC0BA6CAD,
   0xEDB88320, 0x9ABFB3B6, 0x03B6E20C, 0x74B1D29A,
   0xEAD54739, 0x9DD277AF, 0x04DB2615, 0x73DC1683,
   0xE3630B12, 0x94643B84, 0x0D6D6A3E, 0x7A6A5AA8,
   0xE40ECF0B, 0x9309FF9D, 0x0A00AE27, 0x7D079EB1,
   0xF00F9344, 0x8708A3D2, 0x1E01F268, 0x6906C2FE,
   0xF762575D, 0x806567CB, 0x196C3671, 0x6E6B06E7,
   0xFED41B76, 0x89D32BE0, 0x10DA7A5A, 0x67DD4ACC,
   0xF9B9DF6F, 0x8EBEEFF9, 0x17B7BE43, 0x60B08ED5,
   0xD6D6A3E8, 0xA1D1937E, 0x38D8C2C4, 0x4FDFF252,
   0xD1BB67F1, 0xA6BC5767, 0x3FB506DD, 0x48B2364B,
   0xD80D2BDA, 0xAF0A1B4C, 0x36034AF6, 0x41047A60,
   0xDF60EFC3, 0xA867DF55, 0x316E8EEF, 0x4669BE79,
   0xCB61B38C, 0xBC66831A, 0x256FD2A0, 0x5268E236,
   0xCC0C7795, 0xBB0B4703, 0x220216B9, 0x5505262F,
   0xC5BA3BBE, 0xB2BD0B28, 0x2BB45A92, 0x5CB36A04,
   0xC2D7FFA7, 0xB5D0CF31, 0x2CD99E8B, 0x5BDEAE1D,
   0x9B64C2B0, 0xEC63F226, 0x756AA39C, 0x026D930A,
   0x9C0906A9, 0xEB0E363F, 0x72076785, 0x05005713,
   0x95BF4A82, 0xE2B87A14, 0x7BB12BAE, 0x0CB61B38,
   0x92D28E9B, 0xE5D5BE0D, 0x7CDCEFB7, 0x0BDBDF21,
   0x86D3D2D4, 0xF1D4E242, 0x68DDB3F8, 0x1FDA836E,
   0x81BE16CD, 0xF6B9265B, 0x6FB077E1, 0x18B74777,
   0x88085AE6, 0xFF0F6A70, 0x66063BCA, 0x11010B5C,
   0x8F659EFF, 0xF862AE69, 0x616BFFD3, 0x166CCF45,
   0xA00AE278, 0xD70DD2EE, 0x4E048354, 0x3903B3C2,
   0xA7672661, 0xD06016F7, 0x4969474D, 0x3E6E77DB,
   0xAED16A4A, 0xD9D65ADC, 0x40DF0B66, 0x37D83BF0,
   0xA9BCAE53, 0xDEBB9EC5, 0x47B2CF7F, 0x30B5FFE9,
   0xBDBDF21C, 0xCABAC28A, 0x53B39330, 0x24B4A3A6,
   0xBAD03605, 0xCDD70693, 0x54DE5729, 0x23D967BF,
   0xB3667A2E, 0xC4614AB8, 0x5D681B02, 0x2A6F2B94,
   0xB40BBE37, 0xC30C8EA1, 0x5A05DF1B, 0x2D02EF8D
};
 
template<std::uint32_t N>
constexpr std::uint32_t crc32(const char(&s)[N], std::uint32_t i=0, std::uint32_t h=0xFFFFFFFF) {
   return (i==N-1)?h^0xFFFFFFFF:crc32(s, i+1, (h>>8)^crc32_table[(h^(std::uint8_t)s[i])&0xFF]);
}
 
int main() {
   constexpr char s[] = "12345678";
   fprintf(stdout, "0x%08x\n", crc32(s));
}
http://melpon.org/wandbox/permlink/6UFcf8OBb5TDP8AV

Добавлено через 59 секунд
есть желание реализовать adler32, но гм.. она что-то очень сложная %)
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7955 / 4717 / 318
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
14.07.2012, 16:14     Compile-time алгоритмы. сборник #18
Бываю на stackoverflow и иногда приходится писать некое подобие алгоритмов времени компиляции.

get<N> N between 1 and sizeof...(Args).

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template<int N, class T, class... Args>
struct expand
{
public:
   typedef typename expand<N - 1, Args...>::type type;
};
 
template<class T, class... Args>
struct expand<1, T, Args...>
{
public:
   typedef T type;
};
Следующее:
C++
1
2
3
4
5
6
7
8
9
10
class IntegerVector:
{
    IntegerVector operator * (const int scalar) const;
};
 
class RealVector:
{
    RealVector(const IntegerVector &other);
    RealVector operator * (const double scalar) const;
};
Собственно ТС хотел, чтобы при использовании integer_vector * 1.5 вызывался
C++
1
RealVector operator *(const double) const;
Товарищу предложили два решения, одно мое, второе другого товарища (второе мне нравится больше, оно как-то более простое или элегантное что-ли).

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#include <iostream>
#include <type_traits>
 
class IntegerVector;
 
class RealVector
{
public:
    RealVector(const IntegerVector &other) { }
    RealVector operator * (const double scalar) const { std::cout << "RealV called" << std::endl;  return *this; }
};
 
class IntegerVector
{
public:
    IntegerVector operator * (const int scalar) const
    {
       std::cout << "IntV called" << std::endl;
       return *this;
    }
    template<typename T>
    typename std::conditional<std::is_same<T, int>::value, IntegerVector, RealVector>::type
    operator * (const T scalar) const
    {
       decltype(operator *<T>(scalar)) object(*this);  
       return object * scalar;
    }
};
 
int main()
{
   IntegerVector v;
   v * 1.5;
}
http://melpon.org/wandbox/permlink/8yKa7iTcsBfzSC6e

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
#include <type_traits>
 
class IntegerVector;
class RealVector;
 
template <class T> struct VectorForType {};
template <> struct VectorForType<int> {typedef IntegerVector type;};
template <> struct VectorForType<double> {typedef RealVector type;};
 
// This is where we figure out what C++ would do..
template <class X, class Y> struct VectorForTypes
{
  typedef typename VectorForType<decltype(X()*Y())>::type type;
};
 
 
class IntegerVector
{
public:
    template <class T> struct ResultVector
    {
      typedef typename VectorForTypes<int, T>::type type;
    };
 
    template <class T>
    typename ResultVector<T>::type operator*(const T scalar) const;
};
 
class RealVector
{
public:
    template <class T> struct ResultVector
    {
      typedef typename VectorForTypes<double, T>::type type;
    };
 
    RealVector();
    RealVector(const IntegerVector &other);
 
    template <class T>
    typename ResultVector<T>::type operator*(const T scalar) const;
};
 
 
int main()
{
  IntegerVector v;
  auto Result=v*1.5;
  static_assert(std::is_same<decltype(Result), RealVector>::value, "Oh no!");
}
http://melpon.org/wandbox/permlink/e0kIy623dqYigl1q

Может кому пригодится нечто подобное.
ForEveR
Модератор
Эксперт С++
 Аватар для ForEveR
7955 / 4717 / 318
Регистрация: 24.06.2010
Сообщений: 10,525
Завершенные тесты: 3
26.08.2012, 22:20     Compile-time алгоритмы. сборник #19
Пост : http://stackoverflow.com/questions/1...oost-mpl-list/
Суть - Класс должен наследоваться от каждого типа (в данном случае от std::vector<тип>, где тип каждый тип в mpl::vector).

Решение
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
#include <boost/mpl/vector.hpp>
#include <boost/mpl/front.hpp>
#include <boost/mpl/pop_front.hpp>
#include <boost/mpl/is_sequence.hpp>
#include <boost/mpl/size.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/mpl/and.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/greater_equal.hpp>
#include <vector>
#include <iostream>
 
namespace mpl = boost::mpl;
 
template<typename T,
typename = void>
struct Some
{
   typedef std::vector<T> type;
};
 
template<typename T>
struct Some<T, 
typename boost::enable_if_c
   <
    mpl::and_
    <
     mpl::is_sequence<T>,
     mpl::greater_equal
     <
      mpl::size<T>, 
      mpl::int_<2>
     >
    >::type::value
   >::type> :
   public Some<typename mpl::front<T>::type>::type,
   public Some<typename mpl::pop_front<T>::type>
{
};
 
template<typename T>
struct Some<T,
typename boost::enable_if_c
   <
    mpl::and_
    <
     mpl::is_sequence<T>,
     mpl::equal_to
     <
      mpl::size<T>,
      mpl::int_<1>
     > 
    >::type::value
   >::type> :
public Some<typename mpl::front<T>::type>::type
{
};
 
template<typename T>
struct Some<T,
typename boost::enable_if_c
   <
    mpl::and_
    <
     mpl::is_sequence<T>,
     mpl::equal_to
     <
      mpl::size<T>,
      mpl::int_<0>
     >
    >::type::value
   >::type>
{
};
 
 
int main()
{
   typedef mpl::vector<int, double> vect_t;
   typedef Some<vect_t> vector;
   vector vect;
   vect.std::vector<int>::push_back(1);
   vect.std::vector<double>::push_back(2);
   std::cout << "int: " << vect.std::vector<int>::at(0) << std::endl;
   std::cout << "double: " << vect.std::vector<double>::at(0) << std::endl;
}


http://melpon.org/wandbox/permlink/6WQ8vxHi2Bsnx9Lw
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
27.08.2012, 08:53     Compile-time алгоритмы. сборник
Еще ссылки по теме:

C++ Что за ошибка: "E2015 Ambiguity between 'time' and 'std::time"?
C++ Что за ошибка: "E2015 Ambiguity between 'time' and 'std::time"?
C++ Создать список ф-ций определяемых в файле (а-ля initializer list) в compile time
C++ Compile-time и run-time методы и функции
C++ Выделение памяти объёмом, известном в compile-time

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
niXman
Эксперт C++
 Аватар для niXman
3134 / 1446 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
27.08.2012, 08:53  [ТС]     Compile-time алгоритмы. сборник #20
ForEveR, хех, прикольное решение получилось...
спасибо!
Yandex
Объявления
27.08.2012, 08:53     Compile-time алгоритмы. сборник
Ответ Создать тему
Опции темы

Текущее время: 00:47. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru