why contains returns true when the pattern is an empty string?

The empty string `""`

is a substring of any other string. Here's one way to see this:

"Y is a substring of X" means that there exist two strings U, V such that X = U + Y + V, where '+' means string concatenation (so `"egg"`

+ `" "`

+ `"salad"`

= `"egg salad"`

). E.g. `"nca"`

is a substring of `"pancakes"`

because `"pancakes"`

= `"pa"`

+ `"nca"`

+ `"kes"`

(X = `"pancakes"`

, Y = `"nca"`

, U = `"pa"`

, V = `"kes"`

). U is the part of X *before* Y, and V is the part of X *after* Y.

When Y = `""`

, you can make this "equation" work for any string X, by setting U = X and V = `""`

: X = X + `""`

+ `""`

is always true. So `""`

is a substring of every string, and that's why `"bananas".contains("")`

evaluates to `true`

, because `"bananas"`

= `"bananas"`

+ `""`

+ `""`

.

Because you can stick "more " and "bananas" together to get "more bananas".

Having done so the result, "more bananas", contains "more". Also "more bananas" contains "bananas"

Similarly you can stick "" and "bananas" together to get "bananas"

Having done so, and by the same logic the result, "bananas" must contain both the strings you started with. That is to say "bananas" contains "" and it contains "bananas".

This might seem a bit strange but I think you can see the logic works.

It might feel strange because it seems "bananas" contains "" even before you have stuck "bananas" and "" together. Unlike the first example above.

Think of it like 2 = 2. But also 2 + 0 = 2. And 2 + 0 + 0 = 2. And ...

To add a third way to the set here, `"bananas".contains("")`

is true because `bananas[2..2] == ""`

. (As is `bananas[0..0]`

and ...)

`""`

is the identity element of the `String::add`

monoid, you might say

Another way to think about it is: if `foo.contains(a + b)`

is true, then you’d pretty much expect `foo.contains(a)`

and `foo.contains(b)`

to also be true, regardless of what a and b are.

it was quite a illustrative example , thanks

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.