Gibt es eine gute Möglichkeit, Typinkompatibilität in C zu erzwingen?

Zur Typprüfung möchte ich eine Funktion in den Zeilen von @ definier void myfunc(type1 a, type2 b) { ... }wotype1 undtype2 sind beide typedefed touint8_t. Soweit so gut, aber zu Vernunfts- und Überprüfungszwecken (denke DbC) möchte ich ...

Laufzeitüberprüfung einer Besetzung aus einer Lücke *

Sag, dass ich ein @ havoid* enthält einen Zeiger auf ein unbekanntesclass. Ich möchte benutzendynamic_cast, um die Laufzeit auf den Typ der Klasse zu überprüfen, die ich tatsächlich habe. Beispielsweise class Foo {}; void* bar = new Foo;Wenn ich ...

Selbstreferenz oder Vorwärtsreferenz von Typanmerkungen in Python [duplizieren]

Diese Frage hat hier bereits eine Antwort: Typhinweise: Zirkuläre Abhängigkeit lösen [/questions/33837918/type-hints-solve-circular-dependency] 1 Antwort Ich versuche herauszufinden, wie die Selbstreferenz von Typen mit @ funktionier Python3 ...

Erzwinge starke Typüberprüfung in C (Strenge für typedefs)

Gibt es eine Möglichkeit, die explizite Umwandlung für Typendefinitionen desselben Typs zu erzwingen? Ich habe es mit utf8 zu tun und manchmal verwechsle ich die Indizes für die Anzahl der Zeichen und die Anzahl der Bytes. Es ist also schön, ein ...

Ist es Pythonic, Funktionsargumenttypen zu überprüfen?

So überprüfen Sie, ob ein Wert in Javascript eine Ganzzahl ist (Sonderfall 1.0 sollte float sein)

Ich schreibe einige Funktionen zur Typprüfung. Ich möchte: isIntegerisFloatBeim Schreiben von isInteger ist mir aufgefallen, dass isInteger (1.0) true zurückgibt. Ich möchte, dass dies falsch zurückgegeben wird. Meine Funktion ist wie ...

Prüft Android Studio, ob eine Ressource vom Typ "erwartet" wird?

Android Studio Beta (0.8) hat eine raffinierte neue Funktion, mit der einige davon überprüft werdenint Parameter sind keine willkürlichen ganzen Zahlen, sondern haben einige Eigenschaften. Zum Beispiel: setContentView(R.id.textView1);werde das ...

Swift - Klassen, die das Protokoll implementieren, müssen Unterklassen einer bestimmten Klasse sein

Ich erstelle mehrereNSView Klassen, die alle eine spezielle Operation unterstützen, die wir @ nennen werdtransmogrify. Auf den ersten Blick scheint dies der perfekte Ort für ein Protokoll zu sein: protocol TransmogrifiableView { func ...

Wie verhält es sich, wenn zwischen einer externen Deklaration und der Definition nicht übereinstimmende Typen vorliegen?

Typüberprüfung: Ein iterierbarer Typ, der keine Zeichenfolge ist

Betrachten Sie zur besseren Erklärung diese einfache Funktion zur Typprüfung: