Как реализовать перечисление, содержащее корову вектора самого себя? - PullRequest
Новая
       7

Как реализовать перечисление, содержащее корову вектора самого себя?

0 голосов
/ 15 сентября 2018

Я пытаюсь внедрить систему гибкого типа во время выполнения в Rust . Это то, что у меня работает до сих пор: 

use std::borrow::Cow;

pub struct Float {
    pub min: f64,
    pub max: f64,
    pub value: f64,
}

pub struct Text<'a> {
    pub value: Cow<'a, str>
}

pub enum Value<'a> {
    None,
    Float(Float),
    Text(Text<'a>),
}

Это работает так, как я хочу, и теперь мне нужен сам вектор (и следующим шагом будет карта), поэтому я добавил: 

pub struct Vector<'a> {
    pub value: Cow<'a, Vec<Value<'a>>>,
}

И расширил перечисление до: 

pub enum Value<'a> {
    None,
    Float(Float),
    Text(Text<'a>),
    Vector(Vector<'a>),
}

Теперь я получаю сообщение об ошибке: 

error[E0277]: the trait bound `Value<'a>: std::clone::Clone` is not satisfied
  --> src/lib.rs:14:5
   |
14 |     pub value: Cow<'a, Vec<Value<'a>>>,
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `Value<'a>`
   |
   = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<Value<'a>>`
   = note: required because of the requirements on the impl of `std::borrow::ToOwned` for `std::vec::Vec<Value<'a>>`
   = note: required by `std::borrow::Cow`

error[E0277]: the trait bound `Value<'a>: std::clone::Clone` is not satisfied
  --> src/lib.rs:21:12
   |
21 |     Vector(Vector<'a>),
   |            ^^^^^^^^^^ the trait `std::clone::Clone` is not implemented for `Value<'a>`
   |
   = note: required because of the requirements on the impl of `std::clone::Clone` for `std::vec::Vec<Value<'a>>`
   = note: required because of the requirements on the impl of `std::borrow::ToOwned` for `std::vec::Vec<Value<'a>>`
   = note: required because it appears within the type `Vector<'a>`
   = note: no field of an enum variant may have a dynamically sized type

Я попробовал несколько способов реализации Clone, но как новичок я просто получил множество других сообщений об ошибках. Как мне получить вектор Value в эту систему?

Почему я это делаю?

У меня есть следующий код для упрощения использования Value: 

impl<'a> Value<'a> {
    pub fn float_val(&self) -> f64 {
        match self {
            Value::None => 0.0,
            Value::Float(f) => f.value,
            Value::Text(t) => t.value.parse().unwrap_or(0.0),
        }
    }

    pub fn str_val(&'a self) -> Cow<'a, str> {
        match self {
            Value::None => Cow::Owned("".to_string()),
            Value::Float(f) => Cow::Owned(f.value.to_string()),
            Value::Text(t) => Cow::Borrowed(&t.value),
        }
    }
}

Это позволяет мне использовать его в таких функциях, как: 

fn append_string(s1: &Value, s2: &Value) {
    Value::Text(Text {
        value: format!("{}{}", s1.str_val(), s2.str_val()),
    })
}

Я хочу то же самое для вектора, который, как я предполагаю, будет выглядеть так: 

pub fn vec(&'a self) -> Vec<Value> {
    match self {
        Value::Vector(v) => v.value,
        _ => Cow::Owned(Vector { value: vec![] }),
    }
}

1 Ответ

0 голосов
/ 15 сентября 2018

Я хочу то же самое для вектора, который, как я предполагаю, будет выглядеть следующим образом: 

pub fn vec(&'a self) -> Vec<Value> {
match self {
        Value::Vector(v) => v.value,
        _ => Cow::Owned(Vector { value: vec![] }),
    }
}

Прежде всего, возврат Cow из функции не означаетВы должны хранить свои данные как Cow.Вы можете сделать это: 

pub struct Vector<'a> {
    pub value: Vec<Value<'a>>,
}

pub enum Value<'a> {
    None,
    Float(Float),
    Text(Text<'a>),
    Vector(Vector<'a>),
}

И тогда ваш to_vec будет выглядеть так: 

impl<'a> Value<'a> {
    pub fn to_vec(&'a self) -> Cow<'a, [Value<'a>]> {
        match self {
            Value::Vector(v) => Cow::Borrowed(&v.value),
            _ => Cow::Owned(Vec::new()),
        }
    }
}

За исключением того, что у вас все еще будут проблемы с реализациейToOwned для Value<'a>, так что это не сработает сразу.

Однако я не понимаю, зачем здесь нужен Cow.Cow рефераты по заимствованному типу по сравнению с собственным, но ваша собственная стоимость всегда пуста, так какой же вред при возврате заемного среза в обоих случаях?Это будет выглядеть так: 

impl<'a> Value<'a> {
    pub fn to_vec_slice(&'a self) -> &'a [Value<'a>] {
        match self {
            Value::Vector(v) => &v.value,
            _ => &[],
        }
    }
}
...