我如何解决“上游板条箱可能会增加新的性状”错误？

Question

我创建了一个特性，用于从一些值转换为我需要的类型。对于许多类型，这种转换已经被从/转换为所涵盖，但不是我想要的所有类型。我以为我可以利用这一点，但很快得到一个错误“上游板条箱可能会增加一个新的性状影响”。

（操场上的简化示例）

pub trait Cookable {
    fn cook(self) -> (String, Vec<i8>);
}

impl<T: Into<Vec<i8>>> Cookable for T {
    fn cook(self) -> (String, Vec<i8>) {
        (String::from("simple"), self.into())
    }
}

impl Cookable for &str {
    fn cook(self) -> (String, Vec<i8>) {
        (String::from("smelly"), vec![self.len()])
    }
}

这将触发以下错误：

error[E0119]: conflicting implementations of trait `Cookable` for type `&str`:
  --> src/lib.rs:11:1
   |
5  | impl<T: Into<Vec<i8>>> Cookable for T {
   | ------------------------------------- first implementation here
...
11 | impl Cookable for &str {
   | ^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `&str`
   |
   = note: upstream crates may add a new impl of trait `std::convert::From<&str>` for type `std::vec::Vec<i8>` in future versions

我担心解决这个错误的唯一方法是为已经有到的每个类型指定单独的trait实现。

Answer 1

根据Shepmaster列出的问题的答案，我想出了以下解决方案，似乎可以完成我的使命。它是一个实现"使用一个宏来紧凑地执行为一堆结构实现trait的所有样板"：

extern crate jni;
use jni::objects::{JObject, JValue};
use jni::JNIEnv;

pub trait ConvertRustToJValue<'a> {
    fn into_jvalue(self, je: &JNIEnv<'a>) -> JValue<'a>;
}

macro_rules! impl_convert_rust_to_jvalue {
    ( $($t:ty),* ) => {
    $( impl<'a> ConvertRustToJValue<'a> for $t
    {
        fn into_jvalue(self, _je:&JNIEnv) -> JValue<'a>
        {
        self.into()
        }
    }) *
    }
}

impl_convert_rust_to_jvalue! { i8, i16, i32, i64 }

Answer 2

这不是你可以“绕过”的问题。这是编译器施加的限制，以防止将来对依赖项的更改微妙地更改代码的行为。

现在，您可以通过实现具体类型而不是使用泛型和特征来避免错误。宏是减少键盘输入量的一种方法。

将来，某种形式的专业化也可能有助于解决这个问题。然而，这正好是专业化不稳定的原因之一。可以使用这种类型的专门化只使用安全代码创建不可靠的生锈。一种简化的专业化形式正在被开发，但是它故意避开了基于特征的专业化能力，只适用于具体类型。

另见：

• 解决特质实现冲突
• Rust中trait的冲突实现
• 我如何实现从两个具体的错误类型和框