c++ - 为什么 linux 不能捕获 C++ 运行时错误，例如使用浅拷贝构造函数？

Question

<分区>

Answer 1

浅拷贝只是间接导致了bug。真正导致错误的是指针被删除了两次，因为浅拷贝。并且由于双重删除而发生的错误取决于编译器和操作系统。

如果你想在 Linux 上捕获类似的错误，有一个非常好的工具，叫做 valgrind。只需运行:

$ valgrind ./my_program

它会告诉您是否有任何内存泄漏或双重释放。

或者在编译程序时使用另一位评论者提到的地址清理器。 (它确实使代码运行得更慢，但这对于调试版本来说是可以的)。

话虽如此，并非所有浅拷贝都是坏的，浅拷贝构造函数有完全有效(且安全)的用例。例如，假设我正在编写自己的 shared_ptr 类。实现非常简单:

template<class T>
class shared_ptr {
    T* ptr;
    int* counter;
    void increment_counter() {
        int& count = *counter; 
        ++count; 
    }
    int decriment_counter() {
        int& count = *counter; 
        return --count; 
    }
   public:
    explicit shared_ptr(T* ptr) 
      : ptr(ptr)
      , counter(new int(1))
    {}
    // Make shallow copy, but increment the counter
    shared_ptr(shared_ptr const& other)
      : ptr(other.ptr)
      , counter(other.counter)
    {
        increment_counter(); 
    }
    ~shared_ptr() {
        int new_count = decriment_counter(); 
        // Only delete the pointer if this was the last copy
        if(new_count == 0) {
            delete ptr; 
            delete counter; 
        }
    }
};

在这里，shared_ptr 跟踪该指针有多少个实例，如果它是最后一个拷贝，它只会删除该指针。