Wie passend leere Argumente pack in variadic template

Habe ich code:

template<typename T>
void loadBrush_sub_impl()
{
    //do some work here
}

template<typename T, typename... Targs>
void loadBrush_sub()
{
    loadBrush_sub_impl<T>();
    loadBrush_sub<Targs...>();
}

template<>
void loadBrush_sub<void>()
{
}

//BasicBrush, BinaryBrush, SketchBrush, BasicEraser and MaskBased are class
loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased, void>();

Dies ist korrekt, wenn es kompilieren. Allerdings habe ich wirklich wollen, um die drop void im Aufruf loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased, void>();.

Führt dies jedoch zu:

..\CanvasEngine\canvasengine.cpp: In instantiation of 'void loadBrush_sub() [with T = MaskBased; Targs = {}]':
..\CanvasEngine\canvasengine.cpp:36:5:   recursively required from 'void loadBrush_sub() [with T = BinaryBrush; Targs = {SketchBrush, BasicEraser, MaskBased}]'
..\CanvasEngine\canvasengine.cpp:36:5:   required from 'void loadBrush_sub() [with T = BasicBrush; Targs = {BinaryBrush, SketchBrush, BasicEraser, MaskBased}]'
..\CanvasEngine\canvasengine.cpp:114:81:   required from here
..\CanvasEngine\canvasengine.cpp:36:5: error: no matching function for call to 'loadBrush_sub()'
..\CanvasEngine\canvasengine.cpp:36:5: note: candidate is:
..\CanvasEngine\canvasengine.cpp:33:6: note: template<class T, class ... Targs> void loadBrush_sub()
..\CanvasEngine\canvasengine.cpp:33:6: note:   template argument deduction/substitution failed:
..\CanvasEngine\canvasengine.cpp:36:5: note:   couldn't deduce template parameter 'T'
mingw32-make[1]: *** [release/canvasengine.o] Error 1

Ich habe einige Experimente mit enable_if an, bekam aber keine glücklichen.
Gibt es irgendeine Lösung, um die drop void und machen den compiler glücklich?

  • Warum nicht zu entfernen template<> void loadBrush_sub<void>() Spezialisierung?
  • Ich denke nicht, dass es eh egal. Der compiler kann nicht folgern, das leere pack, mit oder ohne Spezialisierung.
  • Versuchen Sie, entfernen Sie es und betrachten Sie das Ergebnis.
  • Gleichen Ergebnis. Ich schrieb die Spezialisierung und die void hinter diesen Klassen, da hatte es den Fehler zu finden. Entfernen Sie es einfach bekommt mich zurück zu der ursprünglichen situation.
InformationsquelleAutor liuyanghejerry | 2014-05-03
  1. 6

    Die einfachste Lösung ist das hinzufügen eines weiteren Umweg:

    template<typename T>
void loadBrush_sub_impl()
{
    //do some work here
}

template<typename... Targs>
void loadBrush_sub();

template<typename T, typename... V>
void loadBrush_sub_helper()
{
    loadBrush_sub_impl<T>();
    loadBrush_sub<V...>();
}

template<typename... Targs>
void loadBrush_sub()
{
    loadBrush_sub_helper<Targs...>();
}

template<>
void loadBrush_sub<>()
{
}
    • Es funktioniert! Aber warum?
    • Weil es nicht um eine (verbotene) partielle Spezialisierung der Funktion Vorlage, aber eine vollständige Spezialisierung.
    • Die offensichtliche Lösung ist in der Antwort von @DieterLücking wer nutzt partielle Spezialisierung einer Klasse (was zulässig ist).
    InformationsquelleAutor gha.st
  2. 5

    Ohne Helfer (notice "= ungültig"):

    template<typename T>
void loadBrush_sub_impl()
{
    //do some work here
}

template<typename T = void, typename... Targs>
void loadBrush_sub();

template<typename T, typename... Targs>
void loadBrush_sub()
{
    loadBrush_sub_impl<T>();
    loadBrush_sub<Targs...>();
}

template<>
void loadBrush_sub<>()
{
}
    InformationsquelleAutor Mark Sakharov
  3. 3

    Könnten Sie spezialisieren sich, Helfer-Struktur:

    #include <iostream>

namespace Detail {
    template<typename T, typename... Targs>
    struct LoadBrush;

    template<typename T>
    struct LoadBrush<T> {
        static void sub() {
            std::cout << "Work\n";
        }
    };

    template<typename T, typename... Targs>
    struct LoadBrush {
        static void sub() {
            LoadBrush<T>::sub();
            LoadBrush<Targs...>::sub();
        }
    };
}

template<typename... Targs>
void loadBrush_sub()
{
    Detail::LoadBrush<Targs...>::sub();
}


struct BasicBrush {};
struct BinaryBrush {};
struct SketchBrush {};
struct BasicEraser {};
struct MaskBased {};

int main()
{
    loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased>();
    return 0;
}
    InformationsquelleAutor
Schreibe einen Kommentar