从 ASAN 获取新的删除类型不匹配

Question

我使用 -fsanitize=address 编译了我的代码，但出现了这个错误：

==53702==ERROR: AddressSanitizer: new-delete-type-mismatch on 0x60300000efe0 in thread T0:
  object passed to delete has wrong type:
  size of the allocated type:   24 bytes;
  size of the deallocated type: 1 bytes.
    #0 0x7fd544b7b0a0 in operator delete(void*, unsigned long) /home/user/objdir/../gcc-6.3.0/libsanitizer/asan/asan_new_delete.cc:108
    #1 0x4010c4 in foo() /home/user/asan.cpp:27
    #2 0x40117e in main /home/user/asan.cpp:33
    #3 0x7fd543e7082f in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
    #4 0x400f48 in _start (/home/user/a.out+0x400f48)

示例代码：

#include <memory>

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

struct A {};

struct B : public A {
  T t;
};

int main() {
  A *a = new B;
  delete a;

  std::unique_ptr<A> a1 = std::make_unique<B>();

  return 0;
}

Answer 1

C++ 反复给你一种连基本概念都不懂的感觉。在这种情况下：继承。

通过向ctors 和dtors 添加print 语句，您会发现对于这两种指针（旧式指针和智能指针）都只调用了~A，而不是调用了~B。这是因为A的dtor不是虚拟的。

Scott Meyers 说：“多态基础 classes 应该声明虚析构函数。 如果 class 有任何虚函数，它应该有一个虚函数析构函数

通过添加

解决这个问题

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

从 ASAN 获取新的删除类型不匹配

Getting new-delete-type-mismatch from ASAN

c++

address-sanitizer