normalement le compilo doit vérifier cela. C'était la feature majeur l'an passé.<br><br><div class="gmail_quote">2009/9/30 Mildred Ki'Lya <span dir="ltr"><<a href="mailto:ml.mildred593@gmail.com">ml.mildred593@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div text="#000000" bgcolor="#ffffff">
More explanations ...<br>
(french translation afterwards)<div class="im"><br>
<br>
On 09/30/2009 06:05 PM, Mildred Ki'Lya wrote:<br>
<blockquote type="cite">Now,
Bertrang Meyer's version of Eiffel have something to avoid calls
on NULL:<br>
<a href="http://bertrandmeyer.com/2009/08/04/void-safety-getting-rid-of-the-spectre-of-null-pointer-dereferencing/" target="_blank">http://bertrandmeyer.com/2009/08/04/void-safety-getting-rid-of-the-spectre-of-null-pointer-dereferencing/</a><br>
<a href="http://docs.eiffel.com/sites/default/files/void-safe-eiffel.pdf" target="_blank">http://docs.eiffel.com/sites/default/files/void-safe-eiffel.pdf</a><br>
<br>
</blockquote>
<br></div>
The main idea in this paper is that types can be either attached or
detached (a keyword specifies this)<br>
<br>
Variables with unattached types can contain NULL values. This is the
default for most languages.<br>
<br>
Variables having an attached types are not allowed to contain NULL.
This is checked at compile time by ensuring that these variables cannot
be affected with unattached expression. If you want to affect them with
unattached expressions, you have to check for NULL before.<br>
<br>
Now, the compiler can give you an error when you try to call a slot on
an unattached variables because this may be a cause of call on NULL.<div class="im"><br>
<br>
<blockquote type="cite"><br>
<hr size="2" width="100%"><br>
La version d'Eiffel de Bertrand Meyer a corrigé ce problème pour éviter
tout appel sur NULL:<br>
<a href="http://bertrandmeyer.com/2009/08/04/void-safety-getting-rid-of-the-spectre-of-null-pointer-dereferencing/" target="_blank">http://bertrandmeyer.com/2009/08/04/void-safety-getting-rid-of-the-spectre-of-null-pointer-dereferencing/</a><br>
<a href="http://docs.eiffel.com/sites/default/files/void-safe-eiffel.pdf" target="_blank">http://docs.eiffel.com/sites/default/files/void-safe-eiffel.pdf</a><br>
<br>
</blockquote>
<br></div>
L'idée principale de ce papier c'est qu'un type peux être soit attaché
ou détaché (un mot chef est rajouté au langage).<br>
<br>
Les variables avec un type détaché peuvent contenir des valeurs NULL.
C'est le cas par défaut pour la majorité des langages.<br>
<br>
Les variables avec un type attaché ne sont pas autorisées à contenir
des valeurs NULL. C'est vérifié au moment de la compilation. Le
compilateur vérifie que ces variables ne peuvent pas être affectées par
des expression de type détaché. Si on veut tout de même faire une
affectation, on doit vérifier que l'expression n'est pas NULL avant.<br>
<br>
Cela permet au compilateur de signaler une erreur lorsqu'il y a un
appel sur un type détaché, car il est la cause potentielle de crash
"call on NULL".<div class="im"><br>
<br>
<pre cols="72">--
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <a href="mailto:mildred@jabber.fr" target="_blank"><mildred@jabber.fr></a>
│ Website: <a href="http://ki.lya.online.fr" target="_blank"><http://ki.lya.online.fr></a> GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B
</pre>
</div></div>
<br>_______________________________________________<br>
Lisaac-devel mailing list<br>
<a href="mailto:Lisaac-devel@lists.alioth.debian.org">Lisaac-devel@lists.alioth.debian.org</a><br>
<a href="http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel" target="_blank">http://lists.alioth.debian.org/mailman/listinfo/lisaac-devel</a><br>
<br></blockquote></div><br>