面试题：Rust特征默认实现与类型系统的交互

特征默认实现对类型关系和多态性的影响：
- 类型关系：
  - 特征默认实现使得实现该特征的不同类型之间有了一种共同的行为基线。例如，所有实现Drawable特征的类型，如Circle和Rectangle，因为都实现了Drawable，它们在这一特征层面上有了关联，都能被视为Drawable类型的一种具体表现形式。
  - 这种关联使得这些类型可以被统一处理，即使它们的具体数据结构和其他行为可能完全不同。
- 多态性：
  - 特征默认实现促进了基于特征的多态性。通过使用特征对象，如Box<dyn Drawable>，可以存储不同类型（只要这些类型实现了Drawable特征）的实例，并且可以调用其draw方法。这体现了动态多态性，运行时根据实际存储的对象类型来决定调用哪个具体的draw实现。

特征对象Box<dyn Drawable>存储不同形状并绘制时默认实现的工作方式：

当使用Box<dyn Drawable>存储不同形状（如Circle或Rectangle）时，如果某个结构体没有为draw方法提供自定义实现，就会调用特征Drawable的默认draw实现。
例如：

trait Drawable {
    fn draw(&self) {
        println!("Drawing a simple shape.");
    }
}

struct Circle;
struct Rectangle;

// Circle没有提供自定义draw实现，会使用默认实现
impl Drawable for Circle {}

// Rectangle提供了自定义draw实现
impl Drawable for Rectangle {
    fn draw(&self) {
        println!("Drawing a rectangle.");
    }
}

fn main() {
    let shapes: Vec<Box<dyn Drawable>> = vec![
        Box::new(Circle),
        Box::new(Rectangle)
    ];
    for shape in shapes {
        shape.draw();
    }
}

在上述代码中，Circle使用的是Drawable特征的默认draw实现，而Rectangle使用的是自己定义的draw实现。

在不改变特征默认实现的情况下，为特定结构体定制更高效的draw行为：
- 为特定结构体提供单独的draw实现。在Rust中，只要在impl块中为结构体重新定义draw方法即可。
- 例如，对于Rectangle结构体：
```
trait Drawable {
    fn draw(&self) {
        println!("Drawing a simple shape.");
    }
}

struct Rectangle;

impl Drawable for Rectangle {
    fn draw(&self) {
        // 这里可以实现更高效的绘制矩形的逻辑
        println!("Drawing a rectangle with optimized method.");
    }
}
```
- 这样，当Rectangle作为Box<dyn Drawable>使用时，会调用定制的draw方法，而不影响Drawable特征默认实现对其他未提供自定义实现的结构体的作用。

星途面试题库

面试题：Rust特征默认实现与类型系统的交互

知识考点

面试题答案