pub struct View<Buffer, P>{
inner: FlatSamples<Buffer>,
phantom: PhantomData<P>,
}
Expand description
A flat buffer that can be used as an image view.
This is a nearly trivial wrapper around a buffer but at least sanitizes by checking the buffer length first and constraining the pixel type.
Note that this does not eliminate panics as the AsRef<[T]>
implementation of Buffer
may be
unreliable, i.e. return different buffers at different times. This of course is a non-issue for
all common collections where the bounds check once must be enough.
§Inner invariants
- For all indices inside bounds, the corresponding index is valid in the buffer
P::channel_count()
agrees withself.inner.layout.channels
Fields§
§inner: FlatSamples<Buffer>
§phantom: PhantomData<P>
Implementations§
§impl<Buffer, P> View<Buffer, P>
impl<Buffer, P> View<Buffer, P>
pub fn into_inner(self) -> FlatSamples<Buffer>
pub fn into_inner(self) -> FlatSamples<Buffer>
Take out the sample buffer.
Gives up the normalization invariants on the buffer format.
pub fn flat(&self) -> &FlatSamples<Buffer>
pub fn flat(&self) -> &FlatSamples<Buffer>
Get a reference on the inner sample descriptor.
There is no mutable counterpart as modifying the buffer format, including strides and
lengths, could invalidate the accessibility invariants of the View
. It is not specified
if the inner buffer is the same as the buffer of the image from which this view was
created. It might have been truncated as an optimization.
pub fn samples(&self) -> &Buffer
pub fn samples(&self) -> &Buffer
Get a reference on the inner buffer.
There is no mutable counter part since it is not intended to allow you to reassign the buffer or otherwise change its size or properties.
pub fn get_sample(
&self,
channel: u8,
x: u32,
y: u32
) -> Option<&<P as Pixel>::Subpixel>
pub fn get_sample( &self, channel: u8, x: u32, y: u32 ) -> Option<&<P as Pixel>::Subpixel>
Get a reference to a selected subpixel if it is in-bounds.
This method will return None
when the sample is out-of-bounds. All errors that could
occur due to overflow have been eliminated while construction the View
.
pub fn get_mut_sample(
&mut self,
channel: u8,
x: u32,
y: u32
) -> Option<&mut <P as Pixel>::Subpixel>
pub fn get_mut_sample( &mut self, channel: u8, x: u32, y: u32 ) -> Option<&mut <P as Pixel>::Subpixel>
Get a mutable reference to a selected subpixel if it is in-bounds.
This is relevant only when constructed with FlatSamples::as_view_with_mut_samples
. This
method will return None
when the sample is out-of-bounds. All errors that could occur due
to overflow have been eliminated while construction the View
.
WARNING: Note that of course samples may alias, so that the mutable reference returned here can in fact modify more than the coordinate in the argument.
pub fn min_length(&self) -> usize
pub fn min_length(&self) -> usize
Get the minimum length of a buffer such that all in-bounds samples have valid indices.
See FlatSamples::min_length
. This method will always succeed.
pub fn image_slice(&self) -> &[<P as Pixel>::Subpixel]
pub fn image_slice(&self) -> &[<P as Pixel>::Subpixel]
Return the portion of the buffer that holds sample values.
While this can not fail–the validity of all coordinates has been validated during the
conversion from FlatSamples
–the resulting slice may still contain holes.
pub fn image_mut_slice(&mut self) -> &mut [<P as Pixel>::Subpixel]
pub fn image_mut_slice(&mut self) -> &mut [<P as Pixel>::Subpixel]
Return the mutable portion of the buffer that holds sample values.
This is relevant only when constructed with FlatSamples::as_view_with_mut_samples
. While
this can not fail–the validity of all coordinates has been validated during the conversion
from FlatSamples
–the resulting slice may still contain holes.
pub fn shrink_to(&mut self, width: u32, height: u32)
pub fn shrink_to(&mut self, width: u32, height: u32)
Shrink the inner image.
The new dimensions will be the minimum of the previous dimensions. Since the set of
in-bounds pixels afterwards is a subset of the current ones, this is allowed on a View
.
Note that you can not change the number of channels as an intrinsic property of P
.
pub fn try_upgrade(self) -> Result<ViewMut<Buffer, P>, (Error, View<Buffer, P>)>
pub fn try_upgrade(self) -> Result<ViewMut<Buffer, P>, (Error, View<Buffer, P>)>
Try to convert this into an image with mutable pixels.
The resulting image implements GenericImage
in addition to GenericImageView
. While this
has mutable samples, it does not enforce that pixel can not alias and that samples are
packed enough for a mutable pixel reference. This is slightly cheaper than the chain
self.into_inner().as_view_mut()
and keeps the View
alive on failure.
let mut buffer = RgbImage::new(480, 640).into_flat_samples();
let view = buffer.as_view_with_mut_samples::<Rgb<u8>>().unwrap();
// Inspect some pixels, …
// Doesn't fail because it was originally an `RgbImage`.
let view_mut = view.try_upgrade().unwrap();
Trait Implementations§
§impl<Buffer, P> GenericImageView for View<Buffer, P>
impl<Buffer, P> GenericImageView for View<Buffer, P>
§fn dimensions(&self) -> (u32, u32)
fn dimensions(&self) -> (u32, u32)
§fn get_pixel(
&self,
x: u32,
y: u32
) -> <View<Buffer, P> as GenericImageView>::Pixel
fn get_pixel( &self, x: u32, y: u32 ) -> <View<Buffer, P> as GenericImageView>::Pixel
§fn in_bounds(&self, x: u32, y: u32) -> bool
fn in_bounds(&self, x: u32, y: u32) -> bool
§unsafe fn unsafe_get_pixel(&self, x: u32, y: u32) -> Self::Pixel
unsafe fn unsafe_get_pixel(&self, x: u32, y: u32) -> Self::Pixel
Auto Trait Implementations§
impl<Buffer, P> Freeze for View<Buffer, P>where
Buffer: Freeze,
impl<Buffer, P> RefUnwindSafe for View<Buffer, P>where
Buffer: RefUnwindSafe,
P: RefUnwindSafe,
impl<Buffer, P> Send for View<Buffer, P>
impl<Buffer, P> Sync for View<Buffer, P>
impl<Buffer, P> Unpin for View<Buffer, P>
impl<Buffer, P> UnwindSafe for View<Buffer, P>where
Buffer: UnwindSafe,
P: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CheckedAs for T
impl<T> CheckedAs for T
source§fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
source§impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
source§fn checked_cast_from(src: Src) -> Option<Dst>
fn checked_cast_from(src: Src) -> Option<Dst>
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
T
in a tonic::Request