o zmiennej liczbie argumentów ekspansja używając-deklaracji

Question

Powiel możliwe:
using declaration in variadic template

Niedawno natknąłem a generic mechanism do łączenia dwóch obiektów funkcyjnych w celu utworzenia nowego obiektu funkcji, która zachowuje się jak gdyby dwa pierwsze zostały przeciążone:

template <typename F1, typename F2> 
struct overload : public F1, public F2 
{ 
    overload(F1 f1, F2 f2) : F1(f1), F2(f2) {} 

    using F1::operator(); 
    using F2::operator(); 
}; 

Próbuję rozszerzyć ten pomysł t O pracy dla obiektów funkcji n, używając zmiennej liczbie argumentów szablony:

template <typename... Fs> 
struct overload : public Fs... 
{ 
    overload(Fs... fs) : Fs(fs)... {} 

    using Fs::operator();... 
}; 

Jednak GCC narzeka mojej próbie zrobienia zmiennej liczbie argumentów ekspansję na używając-deklaracji:

test.cpp:6:24: error: parameter packs not expanded with '...': 
    using Fs::operator();... 
         ^
test.cpp:6:24: note:   'Fs' 
test.cpp:6:26: error: expected unqualified-id before '...' token 
    using Fs::operator();... 
         ^

próbowałem kilka odmian, takich jako:

using Fs::operator()...; 

i

using Fs...::operator(); 

ale też nie działa.

Czy można to zrobić?

Answer 1

Zamiast “ Niedawno natknąłem ogólny mechanizm ” prosimy dostarczyć referencje takich jak “ Niedawno natknąłem się na blog posting by Dave Abrahams opisujący ogólny mechanizm ” & hellip ;.

wątpię, że ekspansja parametr paczka jest obsługiwany przez using oświadczenia, a ja ’ Przepraszam, że don ’ t mieć czas, aby sprawdzić standardowe – że ’ s ponownie swoją pracę, przeczytać dokumentację przed pytaniem pytanie.

Jednak jako praktyczną kwestię rozwiązania problemu (a nie pytania językowego), zawsze można zakodować to rekurencyjnie, zamiast korzystać z bezpośredniej ekspansji. Po prostu dziedzicz z klasy, która sprowadza resztę funktorów, a następnie przynieś pierwszą. Gdzie “ reszta ” jest etapem rekursywnym, kończącym się na pustej liście funktorów jako przypadkiem podstawowym.