C++: double free or corruption

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

// 悪い例
int* ptr = new int(42);
delete ptr;
delete ptr;  // 二重解放！

// 良い例
int* ptr = new int(42);
delete ptr;
ptr = nullptr;  // nullptrに設定
delete ptr;     // nullptrのdeleteは安全

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

#include <memory>

// 悪い例：生ポインタ
int* ptr = new int(42);
// 複雑なロジックで複数回deleteされる可能性

// 良い例：unique_ptr
std::unique_ptr<int> ptr = std::make_unique<int>(42);
// 自動的に管理される、二重解放の心配なし

// 共有が必要な場合：shared_ptr
std::shared_ptr<int> ptr1 = std::make_shared<int>(42);
std::shared_ptr<int> ptr2 = ptr1;  // 参照カウントで管理

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

class MyClass {
    int* data;
public:
    MyClass(int value) : data(new int(value)) {}

    // 悪い例：デフォルトコピー（浅いコピー）
    // MyClass(const MyClass& other) = default;

    // 良い例：深いコピー
    MyClass(const MyClass& other) : data(new int(*other.data)) {}

    // ムーブコンストラクタ
    MyClass(MyClass&& other) noexcept : data(other.data) {
        other.data = nullptr;
    }

    ~MyClass() { delete data; }
};

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

class Resource {
    char* buffer;
public:
    Resource(size_t size) : buffer(new char[size]) {}

    // コピーコンストラクタ
    Resource(const Resource& other);

    // コピー代入演算子
    Resource& operator=(const Resource& other);

    // デストラクタ
    ~Resource() { delete[] buffer; }

    // C++11以降：ムーブコンストラクタ
    Resource(Resource&& other) noexcept;

    // ムーブ代入演算子
    Resource& operator=(Resource&& other) noexcept;
};

1
2
3

g++ -fsanitize=address -g program.cpp -o program
./program
# 詳細なエラー情報が表示される

1

valgrind --track-origins=yes ./program