在 rust 中，“ToString 的通用毯式實現”是否與“用於 char/str/String 的 impl Tostring...”沖突

Question

T 有一個通用的整體 impl ToString，

impl<T> ToString for T where
    T: Display + ?Sized, 

我還注意到impl ToString for char/str/String ...，以及庫文檔https://doc.rust-lang.org/std/string/trait.ToString.html#implementors中的許多其他類型。

它是否與通用毯子 impl 沖突？

Answer 1

顯然它不沖突，因為它有效☺

但你是對的，它應該沖突。 有一個正在開發的功能稱為“專業化” ，它使編譯器能夠在存在多個impl時解決沖突，前提是一個比其他的更具體。 在這種情況下，實現顯式類型（ char或String ）比任何泛型impl<T> for T更具體，因此它可以工作。

這個特性對於一般用途來說還不夠穩定，但它的一個子集被認為足以在 Rust 標准庫中使用，正如你在impl ToString for char的源代碼中看到的：

#[stable(feature = "char_to_string_specialization", since = "1.46.0")]
impl ToString for char {