Methoden-Parameter soll Referenz, aber kein nil sein können

[Mikkey]

Zitat von Namenloser:

Zitat von himitsu:

Was meinst du denn mit statisch?

Sowas wie der Compiler auch macht, wenn er z.B. sagt "Warnung: Result ist möglicherweise undefiniert" oder "Warnung: Auf Variable X zugewiesener Wert wird nicht benutzt", nur eben komplexer und ausgeweitet.

https://de.wikipedia.org/wiki/Statische_Code-Analyse

Einfacher gesagt: einen Fehler in der Art

Code:

Eine Konstante mit dem Wert 'abc' darf gemäß Einschränkung der Methode nicht als Parameter verwendet werden

[Furtbichler]

Nebenbei: Entgegen landläufiger Meinung sind null-Referenzen weder ansteckend noch gefährlich. Man muß halt nur wissen, wann sie erwünscht sind, und wann nicht.

Fail-Fast und Gehirnschmalz (immer zusammen verwenden) in nichthomöopatischer Dosis löst dieses Problem (und erstaunlich viele andere) ebenso zuverlässig wie nachhaltig.

Zitat von Meflin:

In den Methodenkommentar/Doku schreiben, dass null nicht erlaubt ist, und fertig. Alles andere ist verschwendete Zeit

Ja, und eben ein kleines Assert am Anfang, wie schon erwähnt und eigentlich auch logisch.

Mir scheint, hier wird der Wunsch nach einem mitdenkenden Compiler laut, der nicht nur syntaktische, sondern auch semantische Fehler in statu nascendi erkennt. Dann aber bitte gleich mit Codegenerator, dem man einfach das Problem durch verzweifelte Blicke und Gestiken vermittelt.

[Christian Seehase]

Moin Günther,

um mal auf das Beispiel Deines Eingangspostes zu kommen:
Wenn Du den Parameter als var oder out deklarierst und nicht als const lässt sich zumindest die Konstante nil nicht übergeben.

[himitsu]

Zitat von Mikkey:

Code:

Eine Konstante mit dem Wert 'abc' darf gemäß Einschränkung der Methode nicht als Parameter verwendet werden

Gut, wenn es dann eingebaut wurde und der Compiler das erfolgreich verhindert ... Wer hindert dann das laufende Programm daran diesen Wert gut versteckt in einer Variable zu übergeben?

[Mikkey]

Zitat von himitsu:

Wer hindert dann das laufende Programm daran diesen Wert gut versteckt in einer Variable zu übergeben?

Niemand (bzw. die Überprüfung, die der intelligente Compiler in die Methode einbaut).

Es werden ja auch Warnungen wegen nicht initialisierten lokalen Variablen nicht zuverlässig ausgegeben bzw. nicht ausgegeben.

Ich selbst muss sowas auch nicht unbedingt haben, ich wollte nur die Intention weitergeben. (OT Mir wären zutreffendere Compilermeldungen viel wichtiger.