C6509

تحذير C6509: التعليق التوضيحي غير صالح: 'العوده' ولا يمكن استخدامه مرجع من precondition

هذا التحذير يشير إلى أن return [تعبير] كشف ولا يمكن استخدامه في precondition. returnجملة هو المستخدمة لتنفيذ دالة إنهاء إعادة التحكم إلى استدعاء دالة. قيمة التعبير، إذا كان التعبير هو موجود، هو التي يتم إرجاعها إلى استدعاء دالة.

لأنه قد تستخدم دالة returnجملة إلى بإرجاع قيم، يتم السماح لك إلى تحديد كقيمة خاصية للاستخدام في حالة الينشر.

مثال

تنشئ التعليمة البرمجية التالية هذا تحذير لأنه يستخدم 'العوده' في precondition:

// C
#include <CodeAnalysis\SourceAnnotations.h>
int f([SA_Pre(ValidElements="return")] char *pc);

// C++‎
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
int f([Pre(ValidElements="return")] char *pc);

لتصحيح هذا التحذير، استخدم 'العوده' في حالة ينشر، كما هو موضح في نموذج تعليمات برمجية التالي:

// C
#include <CodeAnalysis\SourceAnnotations.h>
[returnvalue:SA_Post(MustCheck=SA_Yes)]int f(
                   [SA_Post(ValidElements="return")] char *pc
                    );
// C++‎
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;

[returnvalue:Post(MustCheck=Yes)]int f(
                   [Post(ValidElements="return")] char *pc
                    );