c++ - decltype(new any_type()) 是否可能发生内存泄漏？

Question

我正在使用 valgrind 检查类指针的任何内存泄漏可能性，并发现以下程序没有内存泄漏:

#include <iostream>
#include <utility>
#include <memory>

using namespace std;

class base{};

int main()
{
  unique_ptr<base> b1 = make_unique<base>();
  base *b2 = new base();
  cout << is_same<decltype(new base()), decltype(b1)>::value << endl;
  cout << is_same<decltype(new base()), decltype(b2)>::value << endl;
  delete b2;
  return 0;
}

这怎么可能？

Answer 1

decltype(还有 sizeof)的操作数不会被求值，所以任何副作用，包括内存分配，都不会发生。只有类型是在编译时确定的。

所以这里唯一的内存分配是在 make_unique 和第一个 new base() 中。前者由 unique_ptr 析构函数释放，后者由 delete b2 释放，不留任何泄漏。