https://forge.codesys.com/forge/talk/Deutsch/thread/393a9b1b1d/2020-02-28T05:52:38.186000ZRecent posts to Keine Warnung bei implizierter Typkonvertierung2020-02-28T05:52:38.186000Z2020-02-28T05:52:38.186000ZAnonymoushttps://forge.codesys.com/u/*anonymous/https://forge.codesys.com6f3241df7f6458dab88f0fbdcbb5512cc914b4d5

<div class="markdown_content"><p><em>Originally created by:</em> Bernhard Werner</p> <p>Ok, war eine grobe Schätzung.</p></div>

2020-02-28T05:52:36.072000Z2020-02-28T05:52:36.072000ZBenjaminhttps://forge.codesys.com/u/benjamin/https://forge.codesys.com028dde1314e034c53cf2e2bb0d07e9fd9a96eb93

<div class="markdown_content"><p>Ich glaube damit haben wir beide unsere Standpunkte dargelegt und können diese Diskussion abschließen.</p> <p>Ich hoffe wirklich darauf, dass die kommende Version zumindest eine Warnung herausgibt ("downcast" sollten aber auf jeden Fall angemerkt werden). </p> <p>Einen kleinen Seitenhieb kann ich mir aber nicht verkneifen.</p> <blockquote> <p><strong>Zitat:</strong><br/> ~1 Mrd C-Programmierer</p> </blockquote> <p>Gehen wir von einer geschätzten Weltbevölkerung von 6,4Mrd aus (Quelle: Wikipedia, Artikel über Erde). Ich kann mir zwar vorstellen, dass in einer Softwarefirma im Allgäu eine überproportional hohe Dichte an Programmieren herrscht, dass man dadurch aber meint 15% aller Menschen der Erde könnten programmieren....Weiß nicht, ob ich das so unterschreiben würde.</p></div>

2020-02-28T05:52:30.111000Z2020-02-28T05:52:30.111000ZAnonymoushttps://forge.codesys.com/u/*anonymous/https://forge.codesys.comc06fcbd54495ec70f24350c2d996b4316884135b

<div class="markdown_content"><p><em>Originally created by:</em> Bernhard Werner</p> <p>Hallo Benjamin,</p> <p>Zur Norm: die Norm sagt nicht explizit, ob implizite Upcasts erlaubt sind</p> <p>oder nicht. Es wird nichts über implizite casts gesagt, daher kann man der</p> <p>Meinung sein, es gäbe sie nicht.</p> <blockquote> <p><strong>Benjamin hat geschrieben:</strong><br/> Wieso geht 3S also hin und baut wieder alle Vernunft eine solche "Funktion" in seine Software? Ich kann das einfach nicht verstehen.</p> </blockquote> <p>Viele Leute begrüßen diese Funktionalität. Es kann bei Upcasts ja auch<br/> nichts schlimmes passieren. Warum soll es dann nicht einfach gehen?<br/> Grenzfälle sind die von dir angesprochenen signed nach unsigned<br/> und umgekehrt. Und ein Grenzfall ist auch DINT nach REAL. Alle anderen<br/> impliziten casts, die wir erlauben, sehe ich als unkritisch.<br/> Im Grunde genommen gehören diese casts zu einer Reihe von anderen<br/> Problemen über die wir auch schon viele Diskussionen hatten:<br/> - Überläufe und Unterläufe ?<br/> - Ungültige Pointer <br/> - Arrayzugriffe ausserhalb des Bereichs<br/> etc.<br/> Wir entschärfen das Problem in unserem eigenen (C++/C#)-Code dadurch, dass wir jeder Variable ein Typkürzel vorsetzen:<br/> iTemp := wTemp;<br/> fällt dann auf.</p> <blockquote> <p><strong>Benjamin hat geschrieben:</strong><br/> Wieso kann man an diesem Verhalten nichts mehr ändern? Wenn man eine große Dummheit begangen hat, muss man schließlich in de sauren Apfel beißen und die Konsequenzen tragen.</p> </blockquote> <p>Naja zunächst mal müssten wir uns darüber einig sein, dass das eine grosse Dummheit ist. Und zum zweiten können wir kein Update von </p> <p>CoDeSys machen, dass beim Kunden neue Fehlermeldungen oder eine</p> <p>grosse Anzahl von Warnungen zur Folge hat. </p> <p>Das wird einfach nicht akzeptiert. Auch eine Warnung hilft nicht viel, weil viele die Vorschrift haben, dass keine Warnungen im Programm sein </p> <p>dürfen.</p> <p>Für die Version 3.0 und höher können wir nochmal über den Punkt reden.</p> <p>Ich verstehe deinen Standpunkt, da spricht auch vieles dafür. Aber du musst auch sehen, dass andere (~1 Mrd C-Programmierer) diesen Punkt </p> <p>anders sehen.</p> <p>Bernhard</p></div>

2020-02-28T05:52:27.990000Z2020-02-28T05:52:27.990000ZBenjaminhttps://forge.codesys.com/u/benjamin/https://forge.codesys.comf65b48dfe53958bf304588bc8b1e685b8570f38f

<div class="markdown_content"><p>Nur damit ich das richtig verstehe.</p> <p>In der Norm sind implizite Typkonvertierungen also <em>nicht</em> vorgesehen. Zu recht, denn diese Konvertierungen sind sehr gefährlich und sollten unbedingt vermieden werden. In C kämpft man ständig damit, das der Compiler unsinnige Zuweisungen nicht anmerkt und kommentarlos akzeptiert.</p> <p>Man könnte sogar soweit gehen und sagen, dass die Norm eine implizite Typkonvertierung ! Wie du ja selbst sagst:&gt;<strong>Zitat:</strong><br/> INT -&gt; DINT müsste eigentlich explizit konvertiert</p> <h2 id="wieso-geht-3s-also-hin-und-baut-wieder-alle-vernunft-eine-solche-funktion-in-seine-software-ich-kann-das-einfach-nicht-verstehen">Wieso geht 3S also hin und baut wieder alle Vernunft eine solche "Funktion" in seine Software? Ich kann das einfach nicht verstehen.</h2> <blockquote> <p><strong>Zitat:</strong><br/> Wir können so ein grundlegendes Verhalten kaum noch ändern.<br/> Wieso kann man an diesem Verhalten nichts mehr ändern? Wenn man eine große Dummheit begangen hat, muss man schließlich in de sauren Apfel beißen und die Konsequenzen tragen.</p> </blockquote> <p>Für den Anfang würde es ja auch reichen einen Kompatibilitätsmodus einzuführen. Hilfreich wäre auch wenn ein solcher Fehler zumindest als Warnung angezeigt wird (In neueren C-Compilern (Keil, GCC) die ich kenne wird einen implizite Konvertierung schließlich auch als Warnung angezeigt).</p> <p>Gruß</p> <p>Benjamin</p> <p>Wieso C jetzt nicht unbedingt als Referenz dient nur <a class="" href="http://www.math.uni-bremen.de/~thielema/CHater.html" rel="nofollow">dieses</a></p></div>

2020-02-28T05:52:21.899000Z2020-02-28T05:52:21.899000ZAnonymoushttps://forge.codesys.com/u/*anonymous/https://forge.codesys.comd0584f17f737623ba4c3bd4295c1b88be7275f0a

<div class="markdown_content"><p><em>Originally created by:</em> Bernhard Werner</p> <p>Hallo Benjamin,</p> <p>hier ist jemand von 3S, und ich gebe Ihnen im Prinzip recht. Es wäre kein Problem hier eine Warnung oder einen Fehler auszugeben. </p> <p>Wir wollen aber nicht, und das aus zwei Gründen:</p> <ol> <li>In der Norm sind implizite Konvertierungen überhaupt nicht vorgesehen. Also jede Zuweisung von INT -&gt; DINT müsste eigentlich explizit konvertiert werden. Das ist natürlich lästig, daher haben wir uns überlegt, welche impliziten Konvertierungen man denn zulassen sollte.</li> </ol> <p>Als Vorlage haben wir uns an C gehalten, dass sehr viele implizite Konvertierungen erlaubt, insbesondere ist dort die Zuweisung von unsigned auf signed und umgekehrt bei gleich grossen Datentypen anstandslos möglich.</p> <ol> <li>Wir können so ein grundlegendes Verhalten kaum noch ändern. Unsere Kunden akzeptieren in der Regel nicht, dass ein laufendes Programm bei upgrade auf eine neue Version neue Meldungen beim Übersetzen liefert.</li> </ol> <p>Bernhard Werner</p></div>

2020-02-28T05:52:19.761000Z2020-02-28T05:52:19.761000ZBenjaminhttps://forge.codesys.com/u/benjamin/https://forge.codesys.com629e3cb58dc90e34f261208db1cc41bb9142eea1

<div class="markdown_content"><p>Sowohl die Tabelle als auch die Art der Variablenbeschreibung (ungarische Notation) sind mir bekannt.</p> <p>Das erklärt allerdings immer noch nicht, wieso die impliziten Typzuweisungen nicht als Fehler oder Warnung angemerkt werden, wie man es von einem Kompiler erwarten kann.</p> <p>Es wäre nett, wenn sich jemand von 3S auch zu diesem Thema melden könnte. Auch wenn es unter Umständen nicht von der Norm vorgeschrieben ist, so wäre eine solche Implementation für die allermeisten Anwender sehr hilfreich.</p> <p>MFG</p> <p>Benjamin</p></div>

2020-02-28T05:52:17.632000Z2020-02-28T05:52:17.632000Zmwatermannhttps://forge.codesys.com/u/mwatermann/https://forge.codesys.com57cd2059c7e8a17823985d1e610a7e37caeb8945

<div class="markdown_content"><p>beim nachlesen noch über folgendes gestolpert:</p> <p><a class="" href="http://www.3s-software.com/se_data/_filebank/home/caatws/ergebnisse/Regelkatalog.pdf" rel="nofollow">http://www.3s-software.com/se_data/_filebank/home/caatws/ergebnisse/Regelkatalog.pdf</a></p> <p>=&gt; siehe Tabelle 3.2 - Variablennamen</p></div>

2020-02-28T05:52:11.677000Z2020-02-28T05:52:11.677000Zmwatermannhttps://forge.codesys.com/u/mwatermann/https://forge.codesys.comccb8fefd644a5cb797122e130f756251be79f30b

<div class="markdown_content"><blockquote> <p><strong>Gumpi hat geschrieben:</strong><br/> Jo das mit der Aussentemperatur kommt mir sehr bekannt vor. Weiß einer den unterschied zwischen word und uint ? wenn man int meint und auf ne word variable schreibt, dann unterstellt der compiler dem wert auch, dass er wohl nen word ist. Ich benutz für festpunktzahlen immer nur int und word, das ist wenigstens optisch ein wenig verschiedener...</p> </blockquote> <p>servus,</p> <p>habe grad noch mal nachgeschaut:</p> <p>datentypen wie WORD, sind für Bitfolgen gedacht und sollen (!) z.B. mit "16#FFFF" initialisiert werden. INT (etc.) sind für ganze zahlen gedacht (wer hätte das gedacht!).</p> <p>aber keine ahnung wo nu der "sinnvolle" oder nützliche teil dieser unterscheidung im praktischen sein soll...</p></div>

2020-02-28T05:52:09.559000Z2020-02-28T05:52:09.559000ZGumpihttps://forge.codesys.com/u/gumpi/https://forge.codesys.come19985c2c0a10ed577feb59f5d858ea50acda3b0

<div class="markdown_content"><p>Jo das mit der Aussentemperatur kommt mir sehr bekannt vor. Weiß einer den unterschied zwischen word und uint ? wenn man int meint und auf ne word variable schreibt, dann unterstellt der compiler dem wert auch, dass er wohl nen word ist. Ich benutz für festpunktzahlen immer nur int und word, das ist wenigstens optisch ein wenig verschiedener...</p></div>

2020-02-28T05:52:03.607000Z2020-02-28T05:52:03.607000ZBenjaminhttps://forge.codesys.com/u/benjamin/https://forge.codesys.com45a1b68ef9ee78fad1b5d6e73bf40f9a9d05669e

<div class="markdown_content"><p>Aber solch ein Fehler <em>muss</em> der Kompiler meiner Meinung nach Abdecken.</p> <p>Für mich ist das nämlich überhaupt kein "Anfängerfehler"!</p> <p>Wenn ich mich ständig mit der Systembedingten Mängeln rumärgern wollte würde ich in C programmieren... aber das nur am Rande </p> <p>Wie sieht es aus, wenn du nach 5 Jahren ein Projekt überarbeitest oder du ein Projekt von einem andere weiterführst.</p> <p>Ich persönlich verwende nie unsigned Variablen, sondern greife einfach auf DINT zurück. Kollegen und viele andere sehen das anders...</p> <p>Wie schon erwähnt ich finde es wichtig, dass der Kompiler solche offensichtlichen Fehler anmeckert. Wenn man weiß was man tut, kann mann ja immer noch die explizite Konvertierung verwenden.</p> <p>MFG</p> <p>Benjamin</p></div>