3. Du Suchst Übung!?

Du Suchst Übung!?

  • C
    Mod

    Ich habe mir bisher nicht die Mühe gemacht, selbst eine Lösung zu erstellen.
    Eine Merge ohne Rekursion ist allerdings möglich, wenn man at etwas verallgemeinert...
    Ich schreibs mal auf, wenn Sone seine Lösung abgeliefert hat.

    0
  • S

    Ich schreibs mal auf, wenn Sone seine Lösung abgeliefert hat.

    Sone hat Fragen zur Aufgabe.
    Und zwar, nach welchen Kriterien soll entschieden werden ob alle Elemente einer Typliste zu einem neuen Element der neuen TL verschmelzen, oder ob jedes Element jeder Typliste zur neuen Typliste dazuzählt?

    0
  • C
    Mod

    Verstehe die Frage nicht. Hast du ein Beispiel?

    0
  • ?

    Unter Benutzung von Campers make_index_list und den Helfern at , size und identity_ aus #32:

    template <template <typename...> class F, typename TL> struct call;
template <template <typename...> class F, typename... Ts>
struct call<F, type_list<Ts...> > : identity_<typename F<Ts...>::type> {};

template <template <typename...> class F, typename I, typename... TLs>
struct transform_;
template <template <typename...> class F, typename... TLs>
using transform = typename transform_<F, make_index_list<size<at<type_list<TLs...>, 0> >::value>, TLs...>::type;
template <template <typename...> class F, int... I, typename... TLs>
struct transform_<F, index_list<I...>, TLs...> {
  template <int i> struct tlat : identity_<type_list<at<TLs, i>...> > {};
  using type = type_list<typename call<F, typename tlat<I>::type>::type...>;
};

    (Mich wundert, dass wenn man Zeile 11 durch template <int i> using tlat = identity_<type_list<at<TLs, i>...> >; ersetzt, sowohl GCC als auch Clang den Code ablehnen, weil sie Pack Expansion über beide Template Parameter zu machen versuchen.)

    0
  • C
    Mod

    g++ kommt bei mir mit dem Code gar nicht zurecht

    $ LC_MESSAGES=en_US.utf8 g++-4.8.0-alpha20121216 -std=c++11 test.cpp -Wno-non-template-friend
test.cpp: In substitution of ‘template<template<class ...> class F, class ... TLs> using transform = typename tmpalg::transform_<F,
 typename tmpalg::make_index_list_<typename tmpalg::size_<typename tmpalg::at_<tmpalg::type_list<Ts ...>, 0ul>::type>::type:: value,
 tmpalg::index_list<> >::type, TLs ...>::type [with F = std::add_pointer; TLs = {tmpalg::type_list<int, char, double>}]’:
test.cpp:79:62:   required from here
test.cpp:67:112: error: invalid use of incomplete type ‘struct tmpalg::transform_<std::add_pointer, tmpalg::index_list<0ul, 1ul, 2ul>,
 tmpalg::type_list<int, char, double> >’
 using transform = typename transform_<F, make_index_list<size<at<type_list<TLs...>, 0> >::value>, TLs...>::type;
                                                                                                                ^
test.cpp:65:8: error: declaration of ‘struct tmpalg::transform_<std::add_pointer, tmpalg::index_list<0ul, 1ul, 2ul>, tmpalg::type_list<int, char, double> >’
 struct transform_;
        ^
test.cpp:79:95: error: template argument 1 is invalid
 static_assert( std::is_same<transform<std::add_pointer, list1>, type_list<int*, char*, double*>>::value, "transform failed!" );

    g++ 4.7.2 ist analog. clang macht dagegen keine Probleme, auch nicht mit

    template <int i> using tlat = identity_<type_list<at<TLs, i>...> >;

    $ LC_MESSAGES=en_US.utf8 g++-4.7.2 --version
g++-4.7.2 (Gentoo 4.7.2 p1.3, pie-0.5.5) 4.7.2

$ LC_MESSAGES=en_US.utf8 g++-4.8.0-alpha20121216 --version
g++-4.8.0-alpha20121216 (Gentoo 4.8.0_alpha20121216) 4.8.0-alpha20121216 20121216 (experimental)

$ LC_MESSAGES=en_US.utf8 clang++ --version
clang version 3.2 (tags/RELEASE_32/final)

    evtl. ist deine Version veraltet?

    0
  • ?

    Naja, der gepostete Code kompiliert bei mir mit g++ und clang++.

    % clang++ --version    
Debian clang version 3.1-8 (branches/release_31) (based on LLVM 3.1)
Target: i386-pc-linux-gnu
Thread model: posix
% g++ --version 
g++ (Debian 4.7.2-5) 4.7.2
Copyright (C) 2012 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

    Keine Ahnung, wie aktuell die sind, ich nehme einfach die aus den Paketquellen und warte bis sie sich von selber aktualisieren.

    0
  • C
    Mod

    mit clang-3.2 läuft auch dieser Code

    Es gibt noch ein paar Bugs in g++, wenn Aliastemplates als Templateparemeter eingesetzt werden.

    0
  • ?

    Stimmt. Das ist nett, weil jetzt kann man ihn verkürzen (und clang kompiliert ihn immer noch).

    template <int i> using tlat = type_list<at<TLs, i>...>;
  using type = type_list<typename call<F, tlat<I> >::type...>;
    0
  • C
    Mod

    Das dürfte ziemlich optimal sein.

    EIn hübscher Test ist auch

    template <typename... T> struct type_list : identity_<type_list<T...>> {};
template <typename... TLs>
using transpose = transform<type_list, TLs...>;
static_assert( std::is_same<transpose<list1, list2>, type_list<type_list<int, long>, type_list<char, short>, type_list<double, float>>>::value, "transform failed!" );

    Jetzt fehlt noch eine Aufgabe für fold (wobei ich bezweifle, dass sich dabei etwas Eleganteres als 08/15-Rekursion finden lässt), dann dürfte die die elementaren Funktionen vollständig sein.

    0
  • ?

    Fold wäre wirklich ganz nett, nicht um sich selber willen, sondern für andere Algorithmen:

    template <int S, typename I, typename TL> struct reverse_;
template <typename TL>
using reverse = typename reverse_<size<TL>::value, make_index_list<size<TL>::value>, TL>::type;
template <int S, int... I, typename TL>
struct reverse_<S, index_list<I...>, TL> : identity_<type_list<at<TL, S - I - 1>...> > {};

    würde dann zu

    template <template <typename...> class F, typename TL>
using reverse = fold<cons, type_list<>, TL>;
    0
Anmelden zum Antworten