C++17 Simple if/else Konstruktion durch Variadic Template ersetzbar?

[CppBert3 (Gast)]

gibt es einen elegante Möglichkeit mit C++17/Variadic templates diese 
Routine zu implementieren?

Base* implements(int id)
{
    if( id == InterfaceId<InterfaceA>::id 
        || id == InterfaceId<InterfaceC>::id ) return this;
    return nullptr;
}

für das ganze Beispiel siehe Anhang oder zum Online kompilieren: 
https://onlinegdb.com/B1fKVB0KV

[Vincent H. (vinci)]

    if (((id == InterfaceId<Interface>::id) || ... ))
      return this;

[CppBert3 (Gast)]

ich hänge noch sehr tief in C++03 und wandere langsam zu C++11...

Einfach und sehr kurz - vielen Dank

[M.K. B. (mkbit)]

Du könntest die Methode implements() noch constexpr machen. Damit kannst 
du diese dann auch für andere Entscheidungen zur Compilezeit nutzen.

[CppBert3 (Gast)]

gemacht - Danke

[CppBert3 (Gast)]

noch eine Frage - das pure || folding sieht ja noch einfach aus aber was 
ist wenn dazwischen noch Operationen kommen?

void typed_throw(int id)
{
    // <-- wie kann man dieses If mit C++17 aus dem Interface-Parameter pack generieren lassen?
    if( id == InterfaceId<InterfaceA>::id ) throw static_cast<InterfaceA*>(this);
    if( id == InterfaceId<InterfaceB>::id ) throw static_cast<InterfaceC*>(this);
    throw this;
}

zum Online-Kompilieren:
https://onlinegdb.com/SJRfjkf9N

gibt es da auch was in C++17

[Niklas G. (erlkoenig)]

Lang aber lesbar:

  template <typename Itf>
  bool typed_throw_helper(int id) {
      if (InterfaceId<Itf>::id == id)
        throw static_cast<Itf*> (this);
      return false;
  }
  void typed_throw(int id)
  {
    static_cast<void> ((false || ... || typed_throw_helper<Interface> (id)));
    throw this;
  }

Kurz aber weniger lesbar:

  void typed_throw2(int id)
  {
      static_cast<void> ((false || ... || (InterfaceId<Interface>::id == id && (throw static_cast<Interface*> (this), true))));
      throw this;
  }

Bei "throw this" treffen aber alle "catch" Statements zu, weil Test eben 
von allen Interfaces abgeleitet wird.

[Ntldr -. (ntldr)]

Ich hätte das jetzt so gemacht:

template<typename T, typename... Args>
void typed_throw_helper(int id)
{
    if(id == InterfaceId<T>::id)
        throw reinterpret_cast<T*>(this);
    if constexpr(sizeof...(Args) > 0)
        typed_throw<Args...>(id);
    else 
        throw this;
}

void typed_throw(int id)
{
    return typed_throw_helper<Interface...>();
}

Ginge zwar auch wie oben mit einer Hilfsfunktion (die genau dann wirft, 
wenn die Id stimmt), aber das ist mMn etwas unsauberer.

[Niklas G. (erlkoenig)]

Ntldr -. schrieb:
> aber das ist mMn etwas unsauberer.

Kompiliert dafür aber schneller. Rekursive templates brauchen immer 
extra lange, und die maximale Tiefe ist beschränkt.

[CppBert3 (Gast)]

@Niklas G.

Danke - das mit throw this war nur Random Beispiel Code :)

[M.K. B. (mkbit)]

Das Video beschreibt ein Refactoring von einem ähnlichen Problem.
Relativ weit am Ende kommt der Trick indem man eine initializer List 
verwendet.

https://m.youtube.com/watch?v=VXi0AOQ0PF0&feature=youtu.be

[Vincent H. (vinci)]

M.K. B. schrieb:
> Das Video beschreibt ein Refactoring von einem ähnlichen Problem.
> Relativ weit am Ende kommt der Trick indem man eine initializer List
> verwendet.
>
> https://m.youtube.com/watch?v=VXi0AOQ0PF0&feature=youtu.be

Genau den Trick braucht man auf Grund von Fold-Expressions eben nicht 
mehr...