Deklarieren von Typen ohne implizite Konvertierung in C++

Question

Ich möchte meine eigenen numerischen Typen deklarieren, genau wie unsigned int, aber ich möchte nicht, dass die Typen implizit konvertiert werden. Dies habe ich zuerst versucht: typedef unsigned int firstID; typedef unsigned int secondID;

aber dies ist nicht gut, da die beiden Typen sind nur Synonyme für unsigned int, so sind frei austauschbar.

Ich möchte, dass dies einen Fehler verursacht:

firstID fid = 0;
secondID sid = fid; // no implicit conversion error

aber das hier ist in Ordnung:

firstID fid = 0;
secondID sid = static_cast<secondID>(fid); // no error

Mein Grund ist, dass Funktionsargumente stark typisiert sind, z. B.:

void f( firstID, secondID ); // instead of void f(unsigned int, unsigned int)

Was ist der Mechanismus, nach dem ich suche?

Gracias

Si

Answer 1

Vielleicht BOOST_STRONG_TYPEDEF-Form boost/strong_typedef.hpp helfen würde.

Answer 2

Wie Sie festgestellt haben: typedef ist schlecht benannt (es sollte typealias sein (D hat ausdrücklich typealias hinzugefügt (das letzte Mal, als ich nachgesehen habe))

Die einzige Möglichkeit, dies zu tun, besteht also darin, zwei eindeutige Klassen zu erstellen.
Ich werde nicht sagen, dass Sie nicht eine Spezialisierung von static_cast<> schreiben können, um zu tun, was Sie wollen, aber ich denke (und ich habe nicht, dass viel Gedanken in es noch) tun so wäre eine schlechte Idee (auch wenn es legal), ich denke, ein besserer Ansatz ist zu haben jede Klasse Konstruktor verwenden unsigned int, die explizit sind (so gibt es keine automatische Konvertierung).

 struct FID
 {
     explicit FID(unsigned int v): value(v) {}
     operator unsigned int() {return value;}
     unsigned int value;
 };

 class SID {/* Stuff */};

 FID   fid(1U);
 SID   sid(2U);

 doSomthingWithTwoSID(sid,SID(static_cast<unsigned int>(fid));

Den Konstruktor explizit zu machen bedeutet, dass es keine automatische Konvertierung zwischen Typen gibt.
Durch das Hinzufügen des eingebauten Cast-Operators zu unsigned int kann dieser überall dort verwendet werden, wo ein int erwartet wird.

Answer 3

Sie müssen Ihre eigenen Klassen für sie schreiben und alle benötigten Operatoren neu implementieren.

Answer 4

Ahhh, ein Mitreisender von Ada, wie ich sehe.

Die einzige Möglichkeit, dies in C++ zu tun, besteht darin, Klassen zu deklarieren. Etwa so:

class first_100 {
public:
    explicit first_100(int source) {
        if (source < 1 || source > 100) {
           throw range_error;
        }
        value = source;
    };
    // (redefine *all* the int operators here)
private:
    int value;
};

Sie sollten sicherstellen, dass Sie Ihren int-Konstruktor definieren explicit so dass C++ es nicht verwendet, um implizit zwischen Ihren Typen zu konvertieren. Auf diese Weise wird dies nicht funktionieren:

first_100 centum = first_100(55);
int i = centum;

aber so etwas wie das hier könnte es sein (vorausgesetzt, Sie definieren es):

int i = centum.to_int();

Answer 5

struct FirstID { int id; };