Спасибо большое @Shepmaster! Это совершенно очевидно, теперь, когда я вижу свою ошибку. Но я был запутан в неправильном мышлении в течение нескольких часов, которые я должен был спросить ранее. Я пытаюсь написать процедурный макрос, поэтому я должен быть готов к любой структуре, которую они мне бросают. Этот материал предназначен только для тестирования и демонстрации моей проблемы в удобочитаемой и целенаправленной форме. Еще раз спасибо!
аюсь определить и реализовать черту для структуры. Все мои реализации с дженериками и временем жизни имеют проблемы. Это должно быть ошибкой новичка. Что я делаю неправильно?
main.rs
pub struct Point {
x: i32,
y: i32,
}
/// pure lifetime example
pub struct Foo1<'a> {
pub first_attribute: u32,
pub second_attribute: Point,
third_attribute: &'a [Point],
}
pub trait Bar1<'a> {
fn baaar();
}
impl<'a> Bar1 for Foo1<'a> {
fn baaar() {}
}
///pure type example
pub struct Foo2<T> {
pub first_attribute: u32,
pub second_attribute: Point,
third_attribute: [T],
}
pub trait Bar2<T> {
fn baaar(&self);
}
impl<T> Bar2 for Foo2<T> {
fn baaar(&self) {}
}
/// real world example
pub struct Foo3<'a, T: 'a> {
pub first_attribute: u32,
pub second_attribute: Point,
third_attribute: &'a [T],
}
pub trait Bar3<'a, T: 'a> {
fn baaar(&self);
}
impl<'a, T: 'a> Bar3 for Foo3<'a, T> {
fn baaar(&self) {}
}
fn main() {
let x = Point { x: 1, y: 1 };
let c = Foo3 {
first_attribute: 7,
second_attribute: Point { x: 13, y: 17 },
third_attribute: &x,
};
c.baaar();
}
результаты компилятора
error[E0106]: missing lifetime specifier
--> src/main.rs:17:10
|
17 | impl<'a> Bar1 for Foo1<'a> {
| ^^^^ expected lifetime parameter
error[E0106]: missing lifetime specifier
--> src/main.rs:47:17
|
47 | impl<'a, T: 'a> Bar3 for Foo3<'a, T> {
| ^^^^ expected lifetime parameter
error[E0243]: wrong number of type arguments: expected 1, found 0
--> src/main.rs:32:9
|
32 | impl<T> Bar2 for Foo2<T> {
| ^^^^ expected 1 type argument
error[E0243]: wrong number of type arguments: expected 1, found 0
--> src/main.rs:47:17
|
47 | impl<'a, T: 'a> Bar3 for Foo3<'a, T> {
| ^^^^ expected 1 type argument