C++: Erweiterung des Parameterpakets in Lambda schlägt fehl

Question

Ich versuche, eine Möglichkeit zu erstellen, mehrere Parameterpakete direkt zu erweitern. Ich habe eine Funktion template<size_t X,typename F> auto sequenceFunc(F&& f) erstellt, die eine gegebene Funktion f mit einem erweiterten integer_sequence aufruft.

Das funktioniert gut für kleine Funktionen wie folgt aus:

template<typename T, 
     size_t A,size_t B> 
vec<B,T> col(const mat<A,B,T>& a,const size_t& i){ 
    return sequenceFunc<A>([&](auto... J) -> vec<B,T>{ 
     return { a[J][i]... }; //expands to a[0][i], a[1][i], ... a[A-1][i] 
    }); 
} 

Leider erweitern Ich kann nicht mehrere Parameter Packs, auch wenn ich die Regel folgen, dass nur ein Parameter Pack ... -Ausdrucks in einem sein kann. Dies ist mein Versuch, diese Funktion für die Matrixmultiplikation bei Verwendung:

template<typename S,typename T, 
     size_t A,size_t B,size_t C> 
mat<C,B,S> mul(const mat<A,B,S>& a,const mat<C,A,T>& b){ 
    return sequenceFunc<B>([&](auto... I)->mat<C,B,S>{ //for all B rows in a... 
     return { 
      sequenceFunc<C>([&](auto... J)->vec<C,S>{ // ... look at all C columns in b and calculate dot product. 
       auto i = I; //putting "I" outside the expansion of "J" 
       return { 
        dot(row(a,i),col(b,J))... //expands J 
       }; 
      })... //expands I 
     }; 
    }); 
} 

Dies ist der Fehler:

error: parameter packs not expanded with '...': 
     auto i = I; 
      ^

Ich verstehe nicht wirklich, warum eine Erweiterung notwendig ist, weil es eine andere ist ... außerhalb der Ausdruck. Ich benutze GCC 5.1.0.

Informationenvec und mat sind nur using -declarations für std::array und eine verschachtelte std::array<std::array<A,T>,B>

Answer 1

Diese gcc bug 47226 ist. Es ist immer noch offen, und das Codebeispiel schlägt immer noch auf gcc 5.2.0 fehl, während es beim clang 3.6 gut kompiliert. Ihr Code sieht für mich korrekt aus.

Answer 2

Ich habe gerade das gleiche Problem festgestellt. Ich fand keinen besseren Betrogenen und wollte keine neue Frage aufwerfen, möchte aber meine Ergebnisse teilen. In einem Kommentar zu einer ähnlichen Frage habe ich einen Workaround gefunden, der die Parameter in ein Tupel packt und dann innerhalb des Lambda entpackt (den Link finde ich leider nicht mehr). Diese Lösung erfordert jedoch C++ 17 (std::apply und mehr).

Mein Fall war so etwas wie diese:

struct Foo{ 
    template <typename T,typename ...ARGS> 
    void foo(T t,ARGS...args){ 
    auto x = [&](){ t(args...);} 
    } 
}; 

die nicht mit gcc 4.8.5 arbeiten. Zu meiner Überraschung, das Schreiben aus einfach explizit das Lambda als Funktors wie ein Zauber funktioniert:

template <typename T,typename ...ARGS> 
struct FooFunct{ 
    void operator()(T t,ARGS...args){ 
    t(args...); 
    }  
}; 

struct Foo{ 
    template <typename T,typename ...ARGS> 
    void foo(T t,ARGS...args){ 
    auto x = FooFunct<T,ARGS...>(); 
    } 
}; 

ich es ein bisschen seltsam, dass gcc schlucken diese, die zwar nicht die erste. Afaik Lambdas sind nur syntaktischer Zucker für anonyme Funktoren auf Funktionsumfang. Wahrscheinlich ist mein Wissen über Compiler einfach zu wenig, um zu verstehen, was das Problem bei der Behebung dieses Fehlers ist.