为本地泛型类型实现外部特征

Question

我正在尝试使用 static 调度实现来自板条箱 A 的特征，以获得来自板条箱 B 的特征。 我正在包装外国特征，但impl<T>行有问题：

extern crate a;
extern crate b;

pub trait C: a::A {}

impl<T: C> b::B for T {}

我正在寻找的最终结果是使用 static 调度为特征C的实现者实现b::B 。

我收到以下错误：

error[E0210]: type parameter `T` must be used as the type parameter for some local type (e.g., `MyStruct<T>`)
 --> c/src/lib.rs:3:1
  |
3 | impl<T: C> b::B for T {}
  | ^^^^^^^^^^^^^^^^^^^^^ type parameter `T` must be used as the type parameter for some local type
  |
  = note: only traits defined in the current crate can be implemented for a type parameter

我可以通过使用动态调度来解决这个问题 - impl b::B for dyn C - 但想通过 static 调度来实现这一点。

我已经尝试过：

• 使用参数为本地类型实现外部特征时出现错误 E0201 — 我不是尝试为Vec实现特征，而是我自己的类型
• 我为另一个特征实现了一个特征，但不能从两个特征调用方法——类型不冲突
• 不能将特征制成 object — 我想使用 static 调度

Answer 1

我通常做的是将外来类型包装在struct中（而不是引入从外来类型派生的新trait ）：

extern crate a;
extern crate b;

pub struct C<T: a::A> {
    pub t: T,
}

impl<T: a::A> b::B for C<T> {}

然而，这有时需要一些样板在C和“正常”类型之间进行转换。

这有时被称为“NewType 模式”（如https://github.com/Ixrec/rust-orphan-rules中）。