SAL Annotationen: _Ret_maybenull_ für std :: shared_ptr

Question

Ist es möglich, meine intelligente Zeiger-Rückgabe-Funktion mit SAL annotieren?

_Ret_maybenull_ std::shared_ptr<MyClass> getMyObject(); 

gibt mir die Warnung

Warnung C6504: Ungültige Anmerkung: 'Null' Eigenschaft nur auf Werte von Pointer verwendet werden können, Zeiger-to-Mitglied, ein Array oder Referenztyp: Funktion ' getMyObject 'zurück. Tatsächlicher Typ 'class std :: shared_ptr'.

und nicht eine einzige Warnung, wenn dieses Schreiben:

auto a = getMyObject(); 
a->foo(); 

Answer 1

Genau wie diese Warnung sagt _Ret_maybenull_ kann nicht auf intelligente Zeiger aller Art angewendet werden, nur auf primitive Typen. Als Alternative könnte die Annotation für diese Funktion _Check_return_ und die Annotation für operator -> des intelligenten Zeigers sein (und andere Operatoren, die den gespeicherten Zeiger dereferenzieren) _Check_return_ _Ret_notnull_. Sie müssen möglicherweise Ihre eigenen Wrapper für intelligente Zeiger schreiben, um dies zu nutzen.