Tag: typechecking

Ein typechecker erzwingt, dass Ausdrücke, die in einer bestimmten Programmiersprache sind auch typisiert, D. H. konform zu den Regeln eines bestimmten Typs system.

Wie man printf-Stil compile-Zeit Warnungen oder Fehler

5 Antworten

Ich würde gerne eine routine zu schreiben, wie bei printf, nicht funktional-Weise, sondern ich möchte die routine, um die gleiche Zeit, kompilieren, überprüfen Eigenschaften wie printf. Wenn ich beispielsweise habe: { int i; std::string s; printf("%d %d",i);

c++compiler-construction printf typechecking

Verilog-linting-tools?

4 Antworten

Was sind einige gute linting-tools für verilog? Ich würde es vorziehen, eine, die konfiguriert werden können, um entweder behandeln oder zu ignorieren bestimmte Anbieter bestimmte Grundelemente, wie LUT ' s, PLL, etc. Ich habe vor kurzem versucht,

hdl lint typechecking verilog

Art der Funktion, die in C oder C++

4 Antworten

Ich habe eine einfache Frage: Was ist der Typ der Funktion, die in C oder C++ Als wir Zeiger auf Funktion, die in C oder C++, das bedeutet, dass Funktionen, die eine bestimmte Art ansonsten Typprüfung bei

c c++function pointers typechecking

Sollte ich überprüfen Sie die Typen der Konstruktor-Argumente (und an anderen Orten auch)?

7 Antworten

Python schreckt die überprüfung der Arten. Aber in vielen Fällen kann dies hilfreich sein: Überprüfung Konstruktor Argumente. Z. B. Prüfung der Feind Boolean, string, dict etc. Wenn ich nicht, und legen Sie die object-Mitgliedern die Argumente, es

python typechecking

Wie Kann ich Überprüfen, ein Objekt zu Sehen, seine Art und Rückkehr Eine Umgewandelte Objekt

3 Antworten

Habe ich eine Methode, durch welche ich ein Objekt übergeben. In dieser Methode überprüfe ich es geben und je nach der Art Mach ich was damit und eine Lange. Ich habe versucht, in jeder Weise, die ich

casting scala typechecking

Geben Sie Beschriftungen für *args und **kwargs

3 Antworten

Ich versuche Python-Typ-Annotationen mit den abstrakten Basis-Klassen zu schreiben, die einige Schnittstellen. Gibt es eine Möglichkeit, um kommentieren Sie die möglichen Arten von *args und **kwargs? Zum Beispiel, wie würde man Ausdrücken, dass die vernünftigen Argumente einer

python type-hinting typechecking typing

Wie um zu überprüfen, ob ein Ruby-Objekt ist ein Boolean

9 Antworten

Ich kann nicht scheinen, um zu überprüfen, ob ein Objekt ein boolean leicht. Gibt es so etwas in Ruby? true.is_a?(Boolean) false.is_a?(Boolean) Genau jetzt mache ich das und möchte um es abzukürzen: some_var = rand(1) == 1 ?

ruby typechecking

Verwenden isinstance zum testen für Unicode-string

3 Antworten

Wie kann ich etwas tun wie: >>> s = u'hello' >>> isinstance(s,str) False Aber ich möchte isinstance zurück True für das Unicode-kodierten string. Gibt es ein Unicode-string-Objekt geben? type(s) dir gesagt, der Typ einfach... aber warum sind

python typechecking unicode

Wie Sie überprüfen, wenn die Vorlage parameter der Funktion hat einen bestimmten Typ?

3 Antworten

Sagen, dass ich eine Funktion mit template-Typ T und zwei anderen Klassen Eine und B. template <typename T> void func(const T & t) { ........... //check if T == A do something ........... //check if T ==

c++templates typechecking

OCaml: Die Typüberprüfung Von Objekten

4 Antworten

Wenn ich ein Objekt haben, wie kann ich bestimmen seine Art? (Gibt es eine OCaml-äquivalent zu Java ist instanceof Betreiber?) könnte Sie post code, denn normalerweise kennen Sie den Objekttyp wenn Sie die Verarbeitung InformationsquelleAutor Nick Heiner

instanceof object ocaml typechecking

isinstance(foo,bar) vs-Typ(foo) bar

4 Antworten

Eine Frage der Semantik, wirklich. Bis vor kurzem, wenn ich zu tun hatte alle typechecking auf eine Struktur, die ich benutzen würde type(obj) is list et. al. Jedoch seit dem Beitritt SO habe ich bemerkt dass alle

python typechecking

Klasse Typ-check mit Typoskript

2 Antworten

Ich bin sehr gespannt,Typoskriptalso fing ich an mit ihm zu spielen. Als Actionscript-Entwickler, es lässt sich Javascript-weniger hart. Jedoch in Actionscript ist es möglich, überprüfen Sie den Typ zur Laufzeit mithilfe der is-operator: var mySprite:Sprite = new

javascript typechecking typescript

Wie finden Sie heraus, den Typ eines Objekts (Swift)?

11 Antworten

Beim Versuch zu verstehen, ein Programm, oder in irgendeiner Ecke-Fällen, ist es sinnvoll, in der Lage sein, um wirklich herauszufinden, was etwas ist. Ich weiß, kann der debugger zeigen Ihnen, irgendeine Art Informationen, und Sie können in

swift typechecking

Java: Instanceof und Generics

8 Antworten

Bevor ich durch meine generische Datenstruktur für einen Wert-index, würde ich mag, um zu sehen, ob es überhaupt eine Instanz des Typs this wurde eingestellt. Aber Eclipse meckert, wenn ich dies tun: @Override public int indexOf(Object arg0)

generics instanceof java typechecking

Typparameter einer generischen Methode in C # prüfen

4 Antworten

Ist es möglich, etwas zu tun, wie dies in C#: public void DoSomething<T>(T t) { if (T is MyClass) { MyClass mc = (MyClass)t ... } else if (T is List<MyClass>) { List<MyClass> lmc = (List<MyClass>)t ...

c#generics typechecking

Überprüfen Sie, ob eine Variable eine Zeichenfolge in Ruby ist

6 Antworten

Gibt es etwas mehr idiomatische als die folgenden? foo.class == String InformationsquelleAutor der Frage davidchambers | 2011-10-13

idioms ruby typechecking

Android Studio's "erwartete Ressource des Typs" überprüft?

4 Antworten

Android Studio Beta (0.8) hat eine nette neue Funktion, wo es überprüft, dass einige int Parameter nicht beliebige ganze zahlen, sondern haben einige Eigenschaften. Z.B. den Aufruf etwas wie: setContentView(R.id.textView1); korrekt berichten, dass R.id.textView1 ist nicht ein

android android-studio lint typechecking

Python - Prüfe, ob das Objekt eine Instanz einer Klasse aus einem bestimmten Modul ist

1 Antworten

Brauchen eine Möglichkeit um zu überprüfen, ob ein Objekt eine Instanz einer Klasse in bestimmten Modul. Ich weiß, ich kann es tun, indem Sie explizit importieren von jeder Klasse aus, das Modul und die Prüfung mit einem

class module python typechecking types

Erzwingen Sie die starke Typüberprüfung in C (schreiben Sie strictness für typedefs)

9 Antworten

Gibt es eine Möglichkeit zu erzwingen expliziter cast für die Typdefinitionen von der gleichen Art? Ich habe zu viel mit utf8 und manchmal bin ich verwirrt mit den Indizes für die Anzahl der Zeichen und die byte-Anzahl.

c strong-typing typechecking typedef

Ist es Pythonic, Funktionsargumenttypen zu überprüfen?

6 Antworten

Ich weiß, Typprüfung der Funktionsargumente ist in der Regel verpönt in Python, aber ich denke, ich habe eine situation, wo es Sinn macht, dies zu tun. In meinem Projekt habe ich eine Abstrakte Basis-Klasse Coord mit einer

python typechecking

Überprüfen Sie, ob etwas eine Liste ist

4 Antworten

Was ist der einfachste Weg, um zu überprüfen, ob etwas eine Liste ist? Methode doSomething hat die Parameter a und b. In der Methode, es wird eine Schleife durch die Liste a und etwas zu tun. Ich

python typechecking

Swift - Erfordern Klassen implementieren Protokoll als Unterklassen einer bestimmten Klasse

7 Antworten

Ich bin momentan dabei, mehrere NSView Klassen, die alle unterstützen eine spezielle operation, die wir nennen transmogrify. Auf den ersten Blick scheint dies der perfekte Ort für ein Protokoll: protocol TransmogrifiableView { func transmogrify() } Jedoch, dieses

inheritance interface protocols swift typechecking

Überprüfen Sie, ob das Ruby-Objekt ein Boolescher Wert ist

8 Antworten

Kann nicht scheinen, um herauszufinden, wie Sie überprüfen, ob ein Objekt ein boolean leicht. Gibt es so etwas in Ruby? true.is_a?(Boolean) false.is_a?(Boolean) Genau jetzt mache ich das und möchte um es abzukürzen: some_var = rand(1) == 1

ruby typechecking

Typüberprüfung in C ++

3 Antworten

In C++, ich möchte wissen, ob der tatsächliche Typ des Objekts aus der gleichen Klasse, nicht die gleiche Klasse oder eine abgeleitete eine. Dies ist ähnlich wie das folgende C# - code: Class Base { } Class

c++casting typechecking