Czy istnieje odpowiednik C++ dla `` std :: mem :: drop` w bibliotece standardowej?

Question

Funkcja std::mem::drop w Rust przenosi argument, a następnie niszczy go, wychodząc poza zakres. Moja próba pisania podobną funkcję w C++ wygląda następująco:

template <typename T, 
      typename = std::enable_if_t<std::is_rvalue_reference<T &&>::value>> 
void drop(T &&x) { 
    T(std::move(x)); 
} 

Czy taka funkcja już istnieje w bibliotece standardowej?

Edytuj: Funkcja może być użyta do wywołania destruktora obiektu przed wyjściem poza zasięg. Rozważ klasę, która zamyka uchwyt pliku, gdy tylko zostanie zniszczona, ale nie wcześniej. Ze względu na argument, załóżmy, że ofstream nie ma metody close. Możesz napisać:

ofstream f("out"); 
f << "first\n"; 
drop(move(f)); 
// f is closed now, and everything is flushed to disk 

Answer 1

Standardowa biblioteka C++ nie ma takiej funkcji. Można jednak osiągnąć ten sam efekt z tego idiomu:

SomeType var = ...; 
//do stuff with `var`. 
{auto _ = std::move(var);} 
//The contents of `var` have been destroyed. 

Jak zauważył w komentarzach, C++ brakuje zdolności do rdzy faktycznie zapobiec Państwo z dalszego korzystania var. Jego zawartość została przeniesiona z, ale w C++ wciąż jest żywym, prawidłowym obiektem, a można go nawet użyć ponownie, prawidłowo przenosząc go do dobrze zdefiniowanego stanu.

Oczywiście wymaga to, aby typ był przenośny. Niektóre typy, takie jak lock_guard, nie są, więc jesteś trochę tam uwięziony. Oznacza to, że jedynym sposobem na szybkie zamknięcie jest użycie wbudowanego interfejsu.