typesafe pods

Reply to typesafe pods on Fri, 07 Jul 2006 14:27:21 GMT

templäd — Fri, 07 Jul 2006 14:27:21 GMT

Hallo,

angenommen ich habe einen Datentyp der sich auch durch einen pod z.B. short repräsentieren ließe. Ich will aber nicht das man z.B. an eine Funktion, die so einen Parameter erwartet einfach 77 (irgendeine Zahl) übergeben kann.
Das ganze am besten allgemeingültig.
Ich kann mir nicht vorstllen, dass das noch nicht existiert.
Aber wonach soll ich suchen?

Danke

Reply to typesafe pods on Fri, 07 Jul 2006 14:59:04 GMT

LordJaxom — Fri, 07 Jul 2006 14:59:04 GMT

Ich glaube (!) Du möchtest den Konstruktor Deines Typs, der ein short entgegennimmt, als explicit markieren. Dann kannst Du nicht mehr 77 an eine Funktion übergeben die z.B. ein const Typ& erwartet.

Wenn nicht, verdeutliche die Frage bitte

Reply to typesafe pods on Fri, 07 Jul 2006 15:23:25 GMT

templäd — Fri, 07 Jul 2006 15:23:25 GMT

Danke.

Das heißt ich muss eine Klasse machen und dann alles Mögliche (z.B. copy ctor, == operator usw.) implementieren.
Das einfachste wäre, wenn es ein explizites typedef oder so gebe, denn
typedef short MyType
ist ja nicht wirklich typsicher.

Reply to typesafe pods on Fri, 07 Jul 2006 15:29:12 GMT

....... — Fri, 07 Jul 2006 15:29:12 GMT

template
class TypesafePod
{
public:
    explicit TypesafePod(T value)
        : value_(value)
    {
    }

    operator T()
    {
        return value_;
    }
private:
    T value_;
};

Reply to typesafe pods on Fri, 07 Jul 2006 15:29:29 GMT

Jester — Fri, 07 Jul 2006 15:29:29 GMT

Ja, im Prinzip so. Du kannst das ja als template implementieren, dann funktioniert es schonmal für die ganzen eingebauten Typen. Wenn Du zusätzlich noch nen dummy-int-Paramter soendierst kannst sowas machen:

typedef builtIn myInt;
typedef builtIn myOtherInt;

und bekommst auf diese Art voneinander unabhängige int-Typen.