Trait unsafe_io::AsUnsafeFile [−][src]
pub unsafe trait AsUnsafeFile: AsUnsafeHandle { fn as_unsafe_file(&self) -> UnsafeFile; fn as_file_view(&self) -> View<'_, File> { ... } unsafe fn as_unscoped_file_view(&self) -> View<'static, File> { ... } fn eq_file<Filelike: AsUnsafeFile>(&self, other: &Filelike) -> bool { ... } }
Expand description
A trait for types which contain an unsafe file and can expose it.
A type implementing AsUnsafeFile guarantees that the return value from
as_unsafe_file on an instance of the type is a copy of a handle which is
owned.
Safety
This trait is unsafe because types implementing it must guarantee they
own their handle.
Required methods
fn as_unsafe_file(&self) -> UnsafeFile
fn as_unsafe_file(&self) -> UnsafeFileReturn the contained unsafe file.
Provided methods
fn as_file_view(&self) -> View<'_, File>
fn as_file_view(&self) -> View<'_, File>Utility for returning a value which dereferences to a &File or
&mut File.
Note that AsUnsafeFile may be implemented for types which are not
normal files, and which don’t support all the methods on File.
unsafe fn as_unscoped_file_view(&self) -> View<'static, File>
unsafe fn as_unscoped_file_view(&self) -> View<'static, File>Like as_file_view, but returns a value which is not explicitly tied
to the lifetime of self.
Safety
Callers must manually ensure that the view doesn’t outlive self.
fn eq_file<Filelike: AsUnsafeFile>(&self, other: &Filelike) -> bool
fn eq_file<Filelike: AsUnsafeFile>(&self, other: &Filelike) -> boolTest whether self.as_unsafe_file().as_unsafe_handle() is equal to
other.as_unsafe_file().as_unsafe_handle().
That this depends on the guarantee that types that implement
AsUnsafeFile own their resources, so we won’t erroneously compare
dangling handles.