Spieleprogrammierung - C oder C++ - Seite 4 - C, C++, C#, Java und andere Programmiersprachen

Alter Hase

Wohnort: /dev/null

Beruf: Software-Entwickler/Nerd

03.04.2011, 22:33

Das möchte ich aber nicht, da das da nicht reingehört? Das Template soll doch nicht für das Vergleichen von einzelnen Datentypen verantwortlich sein.

@Architekt: Das Template an sich soll nichts mit dem Typen zu tun haben, sondern einfach nur definieren, welche Eigenschaften ein Typ haben muss:

	C-/C++-Quelltext
1 2	class Stack st where push :: (Eq a) => st a -> a -> st a

Eq a definiert praktisch, dass a Instanz von Equal sein muss.

Zum Seitenanfang

GR-PA

Treue Seele

Beiträge: 326

Wohnort: Daheim

Beruf: Faulenzer

03.04.2011, 22:43

Wenn deine Templatefunktion / Funktion innerhalb der Templateklasse einfach den Operator == aufruft, dann führt das zu einem Compilerfehler wenn es den nicht gibt... (Das selbe gilt für jede andere Eigenschaft des Datentyps auch)
Was will man mehr?! Irgendwelche anderen "Sicherstellungen" seitens des Programmierers hätten doch auch nur Compilerfehler zu Folge...

Signaturen werden überbewertet

Zum Seitenanfang

Alter Hase

Wohnort: /dev/null

Beruf: Software-Entwickler/Nerd

03.04.2011, 22:46

Das ist inkonsistent. Das war vielleicht nicht das beste Beispiel, aber insgesamt kann ich nicht bestimmte Eigenschaften vom T festlegen.

Zum Seitenanfang

idontknow

unregistriert

03.04.2011, 22:46

Ich kann das auch nicht nachvollziehen, wie GR-PA schon gesagt hat: wenn ein Typ bestimmte Funktionalitäten nicht implementiert, dann gibts einen Compiler Fehler wie wohl bei jeder anderen Sprache auch!

Zum Seitenanfang

dot

Supermoderator

Beiträge: 9 757

Wohnort: Graz

03.04.2011, 22:48

Da concepts leider noch nicht mit C++0x kommen gibts in C++ im Moment kein Sprachmittel das es einem erlaubt solche Requirements explizit auszudrücken. Allerdings sind die natürlich implizit immer gegeben. Sobald du in einem Template den == operator im Kontext mit einem Typargument verwendest drückst du damit ja bereits aus dass der übergebene Typ einen entsprechenden == operator unterstützen muss...

m4studios

Zum Seitenanfang

Alter Hase

Wohnort: /dev/null

Beruf: Software-Entwickler/Nerd

03.04.2011, 22:51

Wie gesagt, Equal war vielleicht ein schlechtes Beispiel. C++ ist vielleicht auch einfach zu wenig abstrakt.

btw: "We didn't start the flame war..."

Zum Seitenanfang

dot

Supermoderator

Beiträge: 9 757

Wohnort: Graz

03.04.2011, 22:51

Zitat von »SupremeDeveloper«

Das ist inkonsistent. Das war vielleicht nicht das beste Beispiel, aber insgesamt kann ich nicht bestimmte Eigenschaften vom T festlegen.

Doch, wie gesagt tust du das ja bereits implizit. Und warum sollte man ein Template auf nur ein kleines Set von Typen beschränken wollen!? Wenn man das will dann will man doch von vorn herein eigentlich keine generische Programmierung. Abgesehen davon kann man sich natürlich was entsprechendes basteln siehe z.B. die boost concept checking library...

m4studios

Zum Seitenanfang

Alter Hase

Wohnort: /dev/null

Beruf: Software-Entwickler/Nerd

03.04.2011, 22:57

Warum ich ein Template beschränken will? Weil ich eventuell Funktionen habe, die nur mit Typen funktionieren, die bestimmte Eigenschaften haben? Oo Implizit kann ich sie nicht komplett festlegen, da bestimmte Eigenschaften sich in bestimmten Fällen anders verhalten als gedacht.