Als «type-safety» getaggte Fragen

3
C ++ stark typisierte typedef
Ich habe versucht, eine Möglichkeit zu finden, stark typisierte typedefs zu deklarieren, um eine bestimmte Klasse von Fehlern in der Kompilierungsphase zu erkennen. Es kommt häufig vor, dass ich ein int in mehrere Arten von ids oder einen Vektor zur Positionierung oder Geschwindigkeit eingebe: typedef int EntityID; typedef int ModelID; …
49 c++  c++11  type-safety 
8
Was sind die Sicherheitsvorteile eines Typsystems?
In JavaScript: The Good Parts von Douglas Crockford erwähnt er in seinem Vererbungskapitel: Der andere Vorteil der klassischen Vererbung besteht darin, dass sie die Spezifikation eines Typensystems umfasst. Dies befreit den Programmierer größtenteils davon, explizite Casting-Operationen schreiben zu müssen, was sehr gut ist, da beim Casting die Sicherheitsvorteile eines Typsystems …
3
Warum ist der XML-Typ sicher?
Warum geben sie an, dass XML Typensicherheit bietet, und wie kommt dies im XML selbst zum Ausdruck? Wie unterscheidet es sich von JSON (zum Beispiel), das (wie ich verstehe) nicht typsicher ist?
30 xml  type-safety 
5
Wäre es sinnvoll, Objekte (anstelle von primitiven Typen) für alles in C ++ zu verwenden?
Während eines Projekts, an dem ich kürzlich gearbeitet habe, musste ich viele Funktionen verwenden, die so aussehen: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, …
3
Ist Googles eine typsichere Sprache?
Diese Seite http://golang.org/doc/go_faq.html schreibt: Obwohl Go statische Typen hat, versucht die Sprache, dass sich die Typen leichter anfühlen als in typischen OO-Sprachen Also meine Frage ist genau, ob es sicher mit Generika (wie C #) oder lose (wie Javascript) oder optional (wie Option streng in Vb.Net) getippt ist.
2
Warum kann der Scala-Compiler keine Mustervergleichswarnung für nicht versiegelte Klassen / Merkmale geben?
Ich frage mich, ob der Compiler zur Kompilierungszeit für diesen bestimmten Patternmatch nicht weiß, welche möglichen Implementierungen dieses Merkmals / dieser Klasse verfügbar sind, wenn ich ein nicht versiegeltes traitoder abstract classin Scala verwendetes Muster verwende und dann den Mustervergleich verwende. Wenn dies der Fall ist, könnte es dann keine …
5
Warum müssen wir printf () den Datentyp in C mitteilen?
Betrachten wir diesen C-Code: #include <stdio.h> main() { int x=5; printf("x is "); printf("%d",5); } Als wir das geschrieben haben, haben int x=5;wir dem Computer gesagt, dass xes sich um eine Ganzzahl handelt. Der Computer muss sich daran erinnern, dass xes sich um eine Ganzzahl handelt. Wenn wir jedoch den …
8 c  io  type-safety 
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.