錯誤： new-delete-type-mismatch

位址清理程序錯誤：解除分配大小與配置大小不同

在這裡範例中，只會 ~Base呼叫、 而非 ~Derived。 編譯程式會產生 對的呼叫 ~Base() ， Base 因為解構函式不是 virtual。 當我們呼叫 delete b時，物件的解構函式會系結至預設定義。 程式代碼會刪除空白基類 （或 Windows 上的 1 個字節）。 解構函式宣告上的遺漏 virtual 關鍵詞是使用繼承時常見的C++錯誤。

範例 - 虛擬解構函式

// example1.cpp
// new-delete-type-mismatch error
#include <memory>
#include <vector>

struct T {
    T() : v(100) {}
    std::vector<int> v;
};

struct Base {};

struct Derived : public Base {
    T t;
};

int main() {
    Base *b = new Derived;

    delete b;  // Boom! 

    std::unique_ptr<Base> b1 = std::make_unique<Derived>();

    return 0;
}

多型基類應該宣告 virtual 解構函式。 如果類別具有任何虛擬函式，它應該具有虛擬解構函式。

若要修正範例，請新增：

struct Base {
  virtual ~Base() = default;
}

若要建置及測試此範例，請在Visual Studio 2019 16.9版或更新版本的 開發人員命令提示字元中執行下列命令：

cl example1.cpp /fsanitize=address /Zi
devenv /debugexe example1.exe

產生的錯誤

另請參閱

AddressSanitizer 概觀
AddressSanitizer 已知問題
AddressSanitizer 組建和語言參考
AddressSanitizer 運行時間參考
AddressSanitizer 陰影位元組
AddressSanitizer 雲端或分散式測試
AddressSanitizer 調試程式整合
AddressSanitizer 錯誤範例