What does it mean when “method exists but trait bounds not satisfied”?

后端 未结 2 1986
执念已碎
执念已碎 2021-01-23 07:28

I\'m new to Rust and observed something that I couldn\'t reason against.

When I write

fn main() {
    (\'a\'..\'z\').all(|_| true);
}

相关标签:
2条回答
  • 2021-01-23 07:47

    The method all() is a method of the Iterator trait, so you can only call it on types that implement that trait. The type Range<char> does not implement the Iterator trait, since a range of Unicode characters is not well-defined in the general case. The set of valid Unicode code points has gaps, and building a range of code points is not in general considered useful. The type Range<u8> on the other does implement Iterator, since iterating over a range of bytes has a well-defined meaning.

    More generally, the error message tells you that Rust has found a method with the correct name, but that method does not apply to the type you call it for.

    0 讨论(0)
  • 2021-01-23 07:51

    What this means is that there is a trait in scope that has a function with that name, but that the object you are using does not implement such a trait.

    In your particular case, the trait that contains the all method is std::iter::Iterator, but your object ('a'..'z') if of type Range<char> that does not implement it.

    Curiously enough, your second example compiles because (b'a'..b'z') is of type Range<u8> that does implement Iterator.

    You are probably wondering why Range<char> does not implement iterator. That is because there are invalid char values between valid ones, so these ranges just cannot be iterated. In particular, the only valid chars are those in the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF], IIRC.

    0 讨论(0)
提交回复
热议问题