为什么这不是C++中的内存泄漏？

几个月前,我问过这个问题,我问为什么会有内存泄漏.显然,我忘记了一个虚拟的析构函数.

现在我很难理解为什么这不是内存泄漏:

#include 
#include 
#include 


using namespace std;

class Base{
public:
    explicit Base(double a){
        a_ = a;
    }
    virtual void fun(){
        cout <<"Base " < > m;

    for(int i=0; i<10; ++i){
        if(i%2 == 0){
            m.emplace_back(make_unique(i));
        }else{
            m.emplace_back(make_unique(i, 2*i));
        }
    }

    for(const auto &any:m){
        any->fun();
    }

    return 0;
}

请注意,我没有虚拟析构函数Base.

我想是因为我有一个vector m类型的unique_ptr只能从析构函数Base被调用,我的变量b_中Derived会泄露,但根据Valgrind的情况并非如此.为什么这不是内存泄漏？

我用valgrind-3.13.0测试了这个

当基类没有虚析构函数时,通过多态指针删除对象是未定义的行为.

未定义的行为可能意味着您的代码泄漏内存,崩溃或完美运行.

在这种情况下,运行时库可能为您的对象分配了一个内存块,并且即使它被不同类型的指针指向,也能够正确地删除该块.大多数运行时可能都是这样,但是没有保证.当使用EG malloc()和free()你没有需要提供的大小malloc()来free(),同样发生在这里.

如果你已经定义了析构函数,Derived你会发现它没有被调用.