undeclare_no_pointers

namespace std {
  void undeclare_no_pointers(char* p, size_t n);
}

概要

特定の領域に追跡可能なポインタが存在しないことの宣言を取り消す。

同じ領域が既にdeclare_no_pointers()で宣言されている。

declare_no_pointers()で登録された領域の登録を取り消す。

この関数は、指定された範囲のオブジェクトが寿命を終える前に呼ばれなければならない。

なし

投げない

#include <memory>
#include <cstdlib>

int main()
{
  int* p = new int[100];
  std::undeclare_no_pointers(p); // ill-formed
  return EXIT_SUCCESS;
}