std::vector hat die Mitgliedsfunktionat() als sichere Alternative zuoperator[], damit die gebundene Prüfung angewendet wird und keine baumelnden Referenzen erstellt werden:

void foo(std::vector<int> const&x)
{
  const auto&a=x[0];     // What if x.empty()? Undefined behavior!
  const auto&a=x.at(0);  // Throws exception if x.empty().
}

Jedoch,std::unique_ptr fehlt die entsprechende Funktionalität:

void foo(std::unique_ptr<int> const&x)
{
  const auto&a=*x;       // What if bool(x)==false? Undefined behavior!
}

Es wäre toll, wennstd::unique_ptr hatte so eine sichere Alternative, sagen Mitgliedref() (undcref()), das niemals eine baumelnde Referenz zurückgibt, sondern eine Ausnahme auslöst. Mögliche Implementierung:

template<typename T>
typename add_lvalue_reference<T>::type
unique_ptr<T>::ref() const noexcept(false)
{
  if(bool(*this)==false)
    throw run_time_error("trying to de-refrence null unique_ptr");
  return this->operator*();
}

Gibt es einen guten Grund, warum der Standard so etwas nicht anbietet?