Jak zapewnić adnotację typu dla `AsRef`?

Question

Poniższe ilustracje pokazują, z jakiego źródła pochodzi. Ponieważ as_slice() jest przestarzałe, sugeruje się zastąpienie as_ref().

Jednak w przypadku korzystania z niego w tym kontekście wymagana jest adnotacja typu.

let s = "Hi";    // This is a string slice 
// warning: use of deprecated item: use std::convert::AsRef<str> instead, #[warn(deprecated)] on by default 
assert!(s.replace("Hi", "Ho").as_slice() == "Ho"); 
// tests/lang.rs:120:35: 120:43 error: type annotations required: cannot resolve `collections::string::String : core::convert::AsRef<_>` [E0283] 
// assert!(s.replace("Hi", "Ho").as_ref() == "Ho"); 

Jak mogę podać taką adnotację typu?. Jedyną składnią, którą mogę znaleźć w pewnym sensie jest <MyType as AsRef>::as_ref(), ale nie wiem jak to zrobić z instancją.

Używam rustc 1.0.0-nightly (be9bd7c93 2015-04-05) (built 2015-04-05).

Answer 1

W swojej precyzyjnej przypadku String i &str, najprostszym jest użycie składni Index:

let s: String = "foo".to_string(); 
let slice: &str = &s[..]; // full range index 

co w Twoim przypadku, to podać:

let s = "Hi"; 
assert!(&s.replace("Hi", "Ho")[..] == "Ho"); 

Jednak dla cech metod, takich jak as_ref(), można również wywoływać je za pomocą składni:

Trait::method(obj); // equivalent to obj.method(); 

które pozwalają na ustawienie parametrów typów tak:

Trait::<T>::method(obj); 

w Twoim przypadku, składnia alternatywna byłoby zatem:

let s = "Hi"; 
assert!(AsRef::<str>::as_ref(&s.replace("Hi", "Ho")) == "Ho"); 

Answer 2

W tym konkretnym przypadku, nie trzeba żadnych fanciness w ogóle: String jest porównywalna z &str (jest realizacja PartialEq<&str> na String), więc można tylko porównać je bezpośrednio:

let s = "Hi"; 
assert!(s.replace("Hi", "Ho") == "Ho"); 
// Or, if you prefer: 
assert_eq!(s.replace("Hi", "Ho"), "Ho"); 

W prawdziwym życiu często nie trzeba dzwonić pod numer as_ref z takich powodów.