Prüfen ob ein Wert in Variadic Template Liste vorkommt?

[CppBert (Gast)]

Ich ordne per Template-Spezialisierung einem Typ eine Id zu und
möchte prüfen ob diese Id in den Parametern eines Variadic Templates
vorkommen

Wie kann ich das mit meinem alten VS2015 elegant lösen - im Internet
ist es echt schwer zwischen den C++11 bis C++17 Beispielen zu 
unterscheiden
- ich kann max C++14 nutzen, wäre aber auch schön zu wissen wie das in 
C++17 aussehen könnte

#include <cassert>

template<typename Type>
struct TypeId
{
  static int Id();
};

struct TypeA;
struct TypeB;

template<> struct TypeId<TypeA> { static int Id(){ return 0; } };
template<> struct TypeId<TypeB> { static int Id(){ return 1; } };

// ich habe nur den VS2015
template<typename ...Types>
bool contains(const int type_id)
{
    //...TypeId<Type>::Id() == type_id
}

int main()
{
    //assert(contains<TypeA, TypeB>(TypeId<TypeA>::Id()))
    //assert(contains<TypeA, TypeB>(TypeId<TypeB>::Id()))
    //assert(!contains<TypeB>(TypeId<TypeA>::Id()))
    return 0;
}

[Sven P. (Gast)]

Dann roll das Parameter-Pack doch rekursiv aus.

Stichwort: Type List.

[Niklas G. (erlkoenig)]

Ist die type_id nur zur Laufzeit bekannt oder schon beim Kompilieren?
Wenn zur Laufzeit: Die Werte Types::Id()... in ein Array packen und 
darin mit std::find suchen. Falls du sicher weißt dass die Werte 
sortiert sind, ist std::binary_search schneller.

[CppBert (Gast)]

Sven P. schrieb:
> Dann roll das Parameter-Pack doch rekursiv aus.
>
> Stichwort: Type List.

bisher ist mir noch unklar wann man mit Head/Tail, usw. arbeitet - jedes 
mal wenn ich was finde sieht es ein bisschen anders aus

[CppBert (Gast)]

Niklas G. schrieb:
> Ist die type_id nur zur Laufzeit bekannt oder schon beim
> Kompilieren?

Die type_id mit der contains aufgerufen wird ist nur zur Laufzeit 
vorhanden
die Contains-Type-Liste(und deren type_ids) aber schon zur Kompilierzeit 
und die hängt immer an einem konkreten Objekt - contains ist in diesem 
Fall auch eher ein Implements-Interface-Id<TypeA, TypeB>...

> Wenn zur Laufzeit: Die Werte Types::Id()... in ein Array packen und
> darin mit std::find suchen. Falls du sicher weißt dass die Werte
> sortiert sind, ist std::binary_search schneller.

das finde ist nicht mein Problem sondern nur die Parameter-Liste zur
kompilierzeit in die korrekte if-Konstruktion zu verwandeln

contains<TypeA, TypeB>(const int type_id) wird instanziert zu
{
  return TypeId<TypeA>::Id() == type_id || TypeId<TypeB>::Id() == 
type_id;
}

contains<TypeB>(const int type_id) wird instanziert zu
{
  return TypeId<TypeB>::Id() == type_id;
}

also "ausgerollt"

[Niklas G. (erlkoenig)]

So?

template<typename ...Types>
bool contains(const int type_id)
{
  static constexpr int AllIds [sizeof...(Types)] { Types::Id () ... };
  return std::find (std::begin (AllIds), std::end(AllIds), type_id) != std::end(AllIds);
}

[CppBert (Gast)]

Niklas G. schrieb:
> So?template<typename ...Types>
> bool contains(const int type_id)
> {
>   static constexpr int AllIds [sizeof...(Types)] { Types::Id () ... };
>   return std::find (std::begin (AllIds), std::end(AllIds), type_id) !=
> std::end(AllIds);
> }

constexpr mit VS2015 ist leider nicht so prickelnd :(

[Vincent H. (vinci)]

Hier mal ein Beispiel mit Fold-Expressions:
https://godbolt.org/z/_uK48D

Um das nun auf C++14 zu übertragen müsste man die Fold-Expression 
rekursiv auflösen.

[Bert3 (Gast)]

Der contains runtime parameter type_id ist kein kompiletime parameter - 
aber ich probiere mal ein wenig mit euren tips