Explication de la déclaration/définition de HRESULT

Question

Je viens de regarder la définition de HRESULT dans VS2008. WinNT.h a la ligne suivante:

typedef __success(return >= 0) long HRESULT; 

Qu'est-ce que cela signifie exactement? Il ne ressemble même pas à C ou C++ à mon œil non formé

Answer 1

C'est une annotation. En bref,

__success(expr) 

signifie que expr décrit les conditions dans lesquelles une fonction est censée avoir réussi. Pour les fonctions renvoyant HRESULT, cette condition est que la valeur renvoyée (puisque HRESULT est un long) est non négative. Toutes les fonctions renvoyant HRESULT ont cette annotation appliquée à cause de cela typedef.

Probablement beaucoup plus de détails que vous ne voudrez jamais dans MSDN sur SAL Annotations, The Evolution of HRESULT From Win32 et Success and Failure Annotations.

Answer 2

L'API Windows utilise ici la magie noire pour créer son propre langage de programmation. Tu devais continuer à creuser.

__success est défini comme:

sal.h:

#define __success(expr)      __inner_success(expr) 

... et inner_success est défini comme:

#define __inner_success(expr) 

... qui est rien. Ainsi, le typedef HRESULT réduit à:

typedef long HRESULT; 

Answer 3

Ce mot-clé spécifique à MS est pour des outils d'analyse de code statique.

Il est utile de vérifier si le code de retour de la fonction indique qu'elle a correctement exécuté la tâche.

Par exemple, voir http://msdn.microsoft.com/en-us/library/aa468782.aspx