Принимать как slice, так и Vec в перечислении/структуре Rust
У меня есть код, похожий на этот
enum Value<'a> {
Int(i64),
Flt(f64),
Vec(&'a [Value<'a>]),
}
и это позволяет мне повторно использовать некоторые данные; однако иногда я хочу принимать данные, выделенные кучей, поэтому мне нужно что-то вроде этого
enum Value {
Int(i64),
Flt(f64),
Vec(Box<Vec<Value>>),
}
но теперь я не могу принимать кусочки! Я знаю, что всегда мог бы иметь их обоих в одном и том же перечислении, вот так
enum Value<'a> {
Int(i64),
Flt(f64),
VecSlice(&'a [Value<'a>]),
VecBox(Box<Vec<Value<'a>>>),
}
но это очень некрасиво.
Есть ли способ иметь структуру или перечисление, которое принимает как срезы, так и векторы в одном и том же элементе/варианте?
Я знаю, что для функций, принимающих &str и String, мы можем просто установить параметры на что-то вроде T: Into<String>, но я не понял, как сделать что-то подобное для векторов внутри типов данных.
@Stargateur Хорошо, если вектор внутри перечисления не упакован, размер перечисления будет 32 байта вместо 16 байтов, которые были бы в упаковке. Это может быть важно в определенных ситуациях
@Stargateur ты прав! Я только что попытался вернуть неупакованный вектор из функции, и все работает хорошо. Проблема заключалась в том, что я не указывал время жизни вектора, поэтому Box. Спасибо :)
@Stargateur, но есть ли способ уменьшить размер до 16? Сейчас 24. Ничего страшного, но я решил спросить
Я не думаю, что срезу нужен толстый указатель, а перечислению тоже нужно место, обратите внимание, что вам не следует слишком беспокоиться об этом, кодировать и смотреть после, если это проблема.
Ответы 2
I думать ближе всего к тому, что вы хотите, это черта AsRef. Примечательно, что Vec<T>, [T] и [T;n] for n <= 32 реализуют AsRef<[T]>, как и некоторые другие вещи (например, итератор над срезом). Кроме того, Box<T> реализует AsRef<T>, но ваш сценарий Box<Vec<T>> здесь не совсем сработает. Тем не менее, становится немного волосатым с перечислением. Описание типа не совсем работает как:
enum Value<S>
where S: AsRef<[Value<S>]>
{
Int(i64),
Flt(f64),
Slice(S),
}
Потому что вы стремитесь создавать ровно один экземпляр S за раз, и для исправления этого требуется использовать Box<dyn S>, чтобы сделать его неоднородным, что становится действительно беспорядочным.
Если вы можете провести рефакторинг, чтобы это работало на уровне функции, или создать тип более высокого уровня выше Value, вы можете иметь такие функции, как
fn foo<S>(slice: S) where S: AsRef<[Value]> { }
Однако с этой конструкцией довольно легко. В этом случае, если у вас есть Box<Vec<Value>>, вызов foo(my_vec) не будет работать довольно, но может быть тривиально исправлен разыменованием, поскольку Box<[T]> реализует From<Vec<T>>.
use std::convert::AsRef;
enum Value
{
Int(i64),
Flt(f64),
}
fn main() {
use Value::*;
let x = Box::new(vec![Int(5),Flt(22.5),Int(22)]);
foo(*x)
}
fn foo<S>(slice: S) where S: AsRef<[Value]> {
}
enum Value<'a> {
Int (i64),
Flt (f64),
Vec (Cow<'a, [Value<'a>]>),
}
К сожалению, это не работает из-за №38962. Пока эта проблема не будет устранена, вам может потребоваться повторно реализовать специализированную версию Cow для Value:
enum MyCow<'a> {
Borrowed (&'a[Value<'a>]),
Owned (Vec<Value<'a>>)
}
impl<'a> Deref for MyCow<'a> {
type Target = [Value<'a>];
fn deref (&self) -> &[Value<'a>] {
use crate::MyCow::{ Borrowed, Owned };
match *self {
Borrowed (borrowed) => borrowed,
Owned (ref owned) => &owned,
}
}
}
Кажется, есть обходной путь для использования Cow — я еще не пытался применить его к этому случаю.
Box<Vec<Value>>блокировать вектор не имеет смысла