2024-07-02 02:26:09 +03:00
|
|
|
// `TryFrom` is a simple and safe type conversion that may fail in a controlled
|
|
|
|
// way under some circumstances. Basically, this is the same as `From`. The main
|
|
|
|
// difference is that this should return a `Result` type instead of the target
|
|
|
|
// type itself. You can read more about it in the documentation:
|
2023-05-29 20:39:08 +03:00
|
|
|
// https://doc.rust-lang.org/std/convert/trait.TryFrom.html
|
2022-07-15 13:34:10 +03:00
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
#![allow(clippy::useless_vec)]
|
2020-08-10 17:24:21 +03:00
|
|
|
use std::convert::{TryFrom, TryInto};
|
2019-12-16 16:34:30 +03:00
|
|
|
|
2020-11-07 16:01:39 +03:00
|
|
|
#[derive(Debug, PartialEq)]
|
2020-05-16 00:02:57 +03:00
|
|
|
struct Color {
|
|
|
|
red: u8,
|
|
|
|
green: u8,
|
|
|
|
blue: u8,
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
// We will use this error type for the `TryFrom` conversions.
|
2021-06-25 05:33:41 +03:00
|
|
|
#[derive(Debug, PartialEq)]
|
|
|
|
enum IntoColorError {
|
|
|
|
// Incorrect length of slice
|
|
|
|
BadLen,
|
|
|
|
// Integer conversion error
|
|
|
|
IntConversion,
|
|
|
|
}
|
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
// TODO: Tuple implementation.
|
|
|
|
// Correct RGB color values must be integers in the 0..=255 range.
|
2020-05-16 00:02:57 +03:00
|
|
|
impl TryFrom<(i16, i16, i16)> for Color {
|
2021-06-25 05:33:41 +03:00
|
|
|
type Error = IntoColorError;
|
2024-07-02 02:26:09 +03:00
|
|
|
|
|
|
|
fn try_from(tuple: (i16, i16, i16)) -> Result<Self, Self::Error> {}
|
2020-05-16 00:02:57 +03:00
|
|
|
}
|
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
// TODO: Array implementation.
|
2020-05-16 00:02:57 +03:00
|
|
|
impl TryFrom<[i16; 3]> for Color {
|
2021-06-25 05:33:41 +03:00
|
|
|
type Error = IntoColorError;
|
2024-07-02 02:26:09 +03:00
|
|
|
|
|
|
|
fn try_from(arr: [i16; 3]) -> Result<Self, Self::Error> {}
|
2020-05-16 00:02:57 +03:00
|
|
|
}
|
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
// TODO: Slice implementation.
|
|
|
|
// This implementation needs to check the slice length.
|
2020-05-16 00:02:57 +03:00
|
|
|
impl TryFrom<&[i16]> for Color {
|
2021-06-25 05:33:41 +03:00
|
|
|
type Error = IntoColorError;
|
2024-07-02 02:26:09 +03:00
|
|
|
|
|
|
|
fn try_from(slice: &[i16]) -> Result<Self, Self::Error> {}
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2024-07-02 02:26:09 +03:00
|
|
|
// Using the `try_from` function.
|
2020-05-16 00:02:57 +03:00
|
|
|
let c1 = Color::try_from((183, 65, 14));
|
2024-07-02 02:26:09 +03:00
|
|
|
println!("{c1:?}");
|
2020-05-16 00:02:57 +03:00
|
|
|
|
2024-07-02 02:26:09 +03:00
|
|
|
// Since `TryFrom` is implemented for `Color`, we can use `TryInto`.
|
2020-05-16 00:02:57 +03:00
|
|
|
let c2: Result<Color, _> = [183, 65, 14].try_into();
|
2024-07-02 02:26:09 +03:00
|
|
|
println!("{c2:?}");
|
2020-05-16 00:02:57 +03:00
|
|
|
|
|
|
|
let v = vec![183, 65, 14];
|
2024-07-02 02:26:09 +03:00
|
|
|
// With slice we should use the `try_from` function
|
2020-05-16 00:02:57 +03:00
|
|
|
let c3 = Color::try_from(&v[..]);
|
2024-07-02 02:26:09 +03:00
|
|
|
println!("{c3:?}");
|
|
|
|
// or put the slice within round brackets and use `try_into`.
|
2020-05-16 00:02:57 +03:00
|
|
|
let c4: Result<Color, _> = (&v[..]).try_into();
|
2024-07-02 02:26:09 +03:00
|
|
|
println!("{c4:?}");
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
|
|
|
use super::*;
|
2024-07-02 02:26:09 +03:00
|
|
|
use IntoColorError::*;
|
2020-05-16 00:02:57 +03:00
|
|
|
|
2019-12-16 16:34:30 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_tuple_out_of_range_positive() {
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from((256, 1000, 10000)), Err(IntConversion));
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2019-12-16 16:34:30 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_tuple_out_of_range_negative() {
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from((-1, -10, -256)), Err(IntConversion));
|
2020-11-07 16:01:39 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-11-07 16:01:39 +03:00
|
|
|
#[test]
|
|
|
|
fn test_tuple_sum() {
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from((-1, 255, 255)), Err(IntConversion));
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2019-12-16 16:34:30 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_tuple_correct() {
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = (183, 65, 14).try_into();
|
|
|
|
assert!(c.is_ok());
|
2020-11-07 16:01:39 +03:00
|
|
|
assert_eq!(
|
2021-04-04 08:04:03 +03:00
|
|
|
c.unwrap(),
|
|
|
|
Color {
|
2020-11-07 16:01:39 +03:00
|
|
|
red: 183,
|
|
|
|
green: 65,
|
2024-07-02 02:26:09 +03:00
|
|
|
blue: 14,
|
2021-04-04 08:04:03 +03:00
|
|
|
}
|
2020-11-07 16:01:39 +03:00
|
|
|
);
|
2019-12-16 16:34:30 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-03 03:41:11 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_array_out_of_range_positive() {
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = [1000, 10000, 256].try_into();
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(c, Err(IntConversion));
|
2020-05-03 03:41:11 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-03 03:41:11 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_array_out_of_range_negative() {
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = [-10, -256, -1].try_into();
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(c, Err(IntConversion));
|
2020-05-16 00:02:57 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-16 00:02:57 +03:00
|
|
|
#[test]
|
2020-11-07 16:01:39 +03:00
|
|
|
fn test_array_sum() {
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = [-1, 255, 255].try_into();
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(c, Err(IntConversion));
|
2020-11-07 16:01:39 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-11-07 16:01:39 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_array_correct() {
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = [183, 65, 14].try_into();
|
|
|
|
assert!(c.is_ok());
|
2020-11-07 16:01:39 +03:00
|
|
|
assert_eq!(
|
2021-04-04 08:04:03 +03:00
|
|
|
c.unwrap(),
|
|
|
|
Color {
|
2020-11-07 16:01:39 +03:00
|
|
|
red: 183,
|
|
|
|
green: 65,
|
|
|
|
blue: 14
|
2021-04-04 08:04:03 +03:00
|
|
|
}
|
2020-11-07 16:01:39 +03:00
|
|
|
);
|
2020-05-03 03:41:11 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-03 03:41:11 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_slice_out_of_range_positive() {
|
|
|
|
let arr = [10000, 256, 1000];
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from(&arr[..]), Err(IntConversion));
|
2020-05-03 03:41:11 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-03 03:41:11 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_slice_out_of_range_negative() {
|
|
|
|
let arr = [-256, -1, -10];
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from(&arr[..]), Err(IntConversion));
|
2020-11-07 16:01:39 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-11-07 16:01:39 +03:00
|
|
|
#[test]
|
|
|
|
fn test_slice_sum() {
|
|
|
|
let arr = [-1, 255, 255];
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from(&arr[..]), Err(IntConversion));
|
2020-05-16 00:02:57 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-16 00:02:57 +03:00
|
|
|
#[test]
|
|
|
|
fn test_slice_correct() {
|
|
|
|
let v = vec![183, 65, 14];
|
2021-04-04 08:04:03 +03:00
|
|
|
let c: Result<Color, _> = Color::try_from(&v[..]);
|
|
|
|
assert!(c.is_ok());
|
2020-11-07 16:01:39 +03:00
|
|
|
assert_eq!(
|
2021-04-04 08:04:03 +03:00
|
|
|
c.unwrap(),
|
|
|
|
Color {
|
2020-11-07 16:01:39 +03:00
|
|
|
red: 183,
|
|
|
|
green: 65,
|
2024-07-02 02:26:09 +03:00
|
|
|
blue: 14,
|
2021-04-04 08:04:03 +03:00
|
|
|
}
|
2020-11-07 16:01:39 +03:00
|
|
|
);
|
2020-05-03 03:41:11 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-05-03 03:41:11 +03:00
|
|
|
#[test]
|
2020-05-16 00:02:57 +03:00
|
|
|
fn test_slice_excess_length() {
|
|
|
|
let v = vec![0, 0, 0, 0];
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from(&v[..]), Err(BadLen));
|
2020-05-03 03:41:11 +03:00
|
|
|
}
|
2024-07-02 02:26:09 +03:00
|
|
|
|
2020-07-13 12:39:05 +03:00
|
|
|
#[test]
|
|
|
|
fn test_slice_insufficient_length() {
|
|
|
|
let v = vec![0, 0];
|
2024-07-02 02:26:09 +03:00
|
|
|
assert_eq!(Color::try_from(&v[..]), Err(BadLen));
|
2020-07-13 12:39:05 +03:00
|
|
|
}
|
2020-05-16 00:02:57 +03:00
|
|
|
}
|