開發平台(Platform): (Ex: Win10, Linux, ...)
Windows 10 or 7
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
Visual Studio Professional 2017 15.5.7
額外使用到的函數庫(Library Used): (Ex: OpenGL, ...)
無，但是有啟動建置時啟用程式碼分析。
問題(Question)：
已經寫了 null 指標檢查還是無法通過程式碼分析，
後來亂試試到一個騙過編譯器的方法如方法二，但是還是覺得這樣騙很不直覺。
想請問關於這個案例如何正確的解決C6011的改法。
餵入的資料(Input)：
無。
預期的正確結果(Expected Output)：
編譯成功，無警告。
錯誤結果(Wrong Output)：
warning C6011: 正在取值 NULL 指標 'Ptr'。
程式碼(Code)：(請善用置底文網頁, 記得排版，禁止使用圖檔)
#include <iostream>
static inline void *DummyPointerConvert (void *Ptr)
{
return Ptr;
}
#define WA_C6011(type,pointer) ((type *)(DummyPointerConvert (pointer)))
void Func()
{
for (uint8_t *Ptr = (uint8_t *) ( (long) 0xFE000);
Ptr < (uint8_t *) ( (long) 0x100000);
Ptr += 0x10) {
if ( (Ptr != NULL) && ( (* (uint32_t *) Ptr) == 0)) { // warning C6011
break;
}
if (*WA_C6011(uint32_t, Ptr) == 0) { // OK
break;
}
}
}
int main()
{
return 0;
}
補充說明(Supplement)：
無。

#pragma warning(disable:6011)要是你相信自己的邏輯對指標轉型挺危險的,要注意big/little-endian問題以及memory alignment問題

要寫C++就不要用C的東西該用nullptr不要用NULL, 指標轉型reinterpret_cast最後回答你的問題本身 因為你的寫法有讀取空標的風險所以會跳warning那行if要拆成巢狀兩層ifif(Ptr != nullptr){if((*(uint32_t *)Ptr) == 0){指標沒指著東西本來就不該讀取 只是NULL幫你做了一層保險 不代表這個操作是正確的https://msdn.microsoft.com/en-us/library/2ayc37ac連MSDN都這樣寫......你確定warning是那一行?你照MSDN的code打會出現warning嗎?不會是因為編譯時期決定的關係吧 因為你的程式不用run-time就可以知道結果 所以編譯時期就看到了

跟 MSDN 寫的不同吧 這個有夾迴圈耶

是註解那一行沒錯, 測了幾種不同的迴圈都有一樣的C6011

你這個warning真正在警告的東西是那兩個直接塞的位置0xFE000跟0x100000，如果真的要這樣寫而且你也確定這兩個位置在你的機器上有效 那你就無視C6011吧如果函數參數可以動 你把那兩個address在外面硬轉傳進去Func 應該可以消這個warning 不過本質上也是騙就是XD