Différences

Ci-dessous, les différences entre deux révisions de la page.

--- lang:c:attribut [2020/07/13 22:39] – [__attribute__((weak))] : amélioration des explications root
+++ lang:c:attribut [2021/01/05 21:50] (Version actuelle) – [restrict] : ajout du code source root
@@ Ligne 27: / Ligne 27: @@
 <WRAP center round important 60%>
 Rappel : l’attribut ''pure'' n'est pas ''thread-safe'' si la fonction fait appel à une variable globale ou si un de ces arguments peut être modifiée par un autre thread.
+[[https://stackoverflow.com/questions/45190217/gcc-optimization-of-pure-functions|GCC optimization of pure functions]] {{ :lang:c:attribut:c_-_gcc_optimization_of_pure_functions_-_stack_overflow_2020-07-15_08_31_26_.html |Archive du 19/07/2017 le 15/07/2020}}
 </WRAP>
@@ Ligne 43: / Ligne 45: @@
 ====__attribute__((weak)) et extern====
+  * Explication
 Cette information va être utile au lieur.
@@ Ligne 49: / Ligne 54: @@
 Il est aussi possible de définir un prototype ou la déclaration d'une variable globale ''extern'' en ''weak''. Dans ce cas, si le symbole n'est pas défini, le lieur ne posera pas de problème (pas de ''undefined reference to'') et considérera que le symbole est à l'adresse ''null'' (ne pas lire ces symboles).
-<code c>
+  * Exemple
-#include <iostream>
-// Défini dans le header
+{{gh>https://github.com/bansan85/wiki_le_garrec_fr/blob/master/cpp/attribute/weak1.cpp}}
-extern int __attribute__((weak)) variable;
-extern unsigned char __attribute__((weak)) variableNull;
-// Défini dans le code source.
+Symboles :
-int __attribute__((weak)) variable = 1;
-int main()
+{{gh>https://github.com/bansan85/wiki_le_garrec_fr_travis/blob/master/cpp/attribute/weak1.cpp.nm}}
-{
-  // variable a bien un pointeur non nullptr.
-  std::cout << reinterpret_cast<size_t>(&variable) << " vaut " << variable << "\n";
-  // variableNull est bien une variable avec un pointeur nullptr.
-  std::cout << reinterpret_cast<size_t>(&variableNull) << " est nullptr.\n";
-}
-</code>
 Résultat dans la sortie standard:
-<code>
+{{gh>https://github.com/bansan85/wiki_le_garrec_fr_travis/blob/master/cpp/attribute/weak1.out}}
-6295640 vaut 1
- est nullptr.
+====restrict====
-</code>
+Mot clé pour indiquer qu'une zone mémoire n'est accédée que par un seul pointeur. Cette restriction n'est évidemment pas thread-safe.
+Voir l'exemple de Wikipédia sur [[https://fr.m.wikipedia.org/wiki/Restrict|restrict]] {{ :lang:c:attribut:restrict_wikipedia_04_01_2021_20_34_41_.html |Archive du 16/04/2020 le 04/01/2021}}.
+^Source^Code généré^
+|{{gh>https://github.com/bansan85/wiki_le_garrec_fr/blob/master/cpp/attribute/restrict1.c 2}}|{{gh>https://github.com/bansan85/wiki_le_garrec_fr_travis/blob/master/cpp/attribute/restrict1.c.asm 3}}|
+|{{gh>https://github.com/bansan85/wiki_le_garrec_fr/blob/master/cpp/attribute/restrict2.c 3}}|{{gh>https://github.com/bansan85/wiki_le_garrec_fr_travis/blob/master/cpp/attribute/restrict2.c.asm 3}}|
+Avec ''restrict'', il n'y a pas besoin de relire le contenu de ''*val'' entre les deux instructions.