<![CDATA[Iteratoren auf alle möglichen Container]]>Hallo liebe Containerfreunde!
Ich habe irgendwie öfter das Problem, dass ich eine Funktion habe, die etwas mit einer "Sammlung" eines Datentyps machen soll. Allerdings macht die Funktion nur für einen Datentyp Sinn.
Wie macht ihr so etwas? Optimal wäre es ohne Templates (Compilezeit..), aber auch wenn man es mit Templates macht:

template<typename It>
void foo(It begin, It end)

Wie macht man dem Compiler möglichst hübsch klar, dass *It == Typ gelten muss? Meine einzige Idee wäre ein static_assert(std::is_same<decltype(*begin), Type>::value, "Only Type");
Habt ihr da schönere Ideen?

]]>https://www.c-plusplus.net/forum/topic/295727/iteratoren-auf-alle-möglichen-containerRSS for NodeSat, 15 Aug 2026 07:59:36 GMTSun, 20 Nov 2011 13:42:18 GMT60<![CDATA[Reply to Iteratoren auf alle möglichen Container on Sun, 20 Nov 2011 13:42:18 GMT]]>Hallo liebe Containerfreunde!
Ich habe irgendwie öfter das Problem, dass ich eine Funktion habe, die etwas mit einer "Sammlung" eines Datentyps machen soll. Allerdings macht die Funktion nur für einen Datentyp Sinn.
Wie macht ihr so etwas? Optimal wäre es ohne Templates (Compilezeit..), aber auch wenn man es mit Templates macht:

template<typename It>
void foo(It begin, It end)

Wie macht man dem Compiler möglichst hübsch klar, dass *It == Typ gelten muss? Meine einzige Idee wäre ein static_assert(std::is_same<decltype(*begin), Type>::value, "Only Type");
Habt ihr da schönere Ideen?

]]>https://www.c-plusplus.net/forum/post/2146592https://www.c-plusplus.net/forum/post/2146592Sun, 20 Nov 2011 13:42:18 GMT<![CDATA[Reply to Iteratoren auf alle möglichen Container on Sun, 20 Nov 2011 13:47:31 GMT]]>Das macht in den seltensten Fällen Sinn, darum prüft man es i.d.R. einfach gar nicht, bzw. lässt es einfach den Compiler prüfen.
Du kannst ja mal ein reales Beispiel zeigen.. Das wurde ansonsten aber auch schon sehr oft hier gefragt.

]]>https://www.c-plusplus.net/forum/post/2146593https://www.c-plusplus.net/forum/post/2146593Sun, 20 Nov 2011 13:47:31 GMT<![CDATA[Reply to Iteratoren auf alle möglichen Container on Sun, 20 Nov 2011 14:40:01 GMT]]>
  • Wie du gezeigt hast mit static_assert und z.B. decltype
  • template<typename It, typename std::enable_if<std::is_same<typename std::iterator_traits<It>::value_type, MyType>::value, bool>::type = true>
void foo(It begin, It end)
    1. Nichts tun und dem Compiler einfach Fehlermeldungen werfen lassen, wenn der value_type die durchgeführten Operationen nicht unterstützt.

    Die Unterschiede:

    1. wirft einfach einen Compilerfehler, wenn die Funktion gerufen wird.
    2. lässt die Funktion garnicht erst am Überladungsset teilnehmen, d.h. du könntest sie anderweitig überladen, sie wird auf keinen Fall gerufen, wenn der Typ nicht passt.
    3. Du kriegst einen (zugegebenermaßen etwas obskuren) Compilerfehler, wenn der tatsächliche value_typ nicht die verwendeten Operationen anbietet. Das heißt, auch andere Typen funktionieren, wenn sie das passende Interface anbieten.
    ]]>    https://www.c-plusplus.net/forum/post/2146609https://www.c-plusplus.net/forum/post/2146609Sun, 20 Nov 2011 14:40:01 GMT