-
-
Notifications
You must be signed in to change notification settings - Fork 56
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
find_byteset (and related) should return matches for an empty set #87
Comments
Hmm... I'm not sure I agree. The semantics of find_byteset are finding the position of a byte which is a member of a set. No bytes are members of the empty set, so returning position 0 for it would be incorrect, no? That said, I'd agree with you for find_not_byteset. |
I think I see "empty set" as equivalent to "empty string," and "empty set" matches at every position, just like "empty string" does. |
Actually, I'm not sure if I 100% agree for find_not_byteset — the second part: use bstr::{B, ByteSlice};
fn main() {
let haystack = B("");
println!("{:?}", haystack.find_not_byteset(""));
} This returns None, which I think is correct, since I think it's probably always incorrect if it returns an index that isn't addressable in the slice — byteset matches are always a span of at least one byte, even for find_not_byteset. In regex terms, find_not_byteset("") is analogous to matching That is to say, AFAICT I don't see any bugs in find_byteset and find_not_byteset current semantics for empty sets. |
Also, I guess the analogy doesn't totally work because at least for Rust regex, |
I think you might have convinced me. Eventually, empty classes in regexes will be allowed, and yeah, they are supposed to be treated as "fail" instructions: they can never match anything. |
Anyway, the documentation of find_byteset says
Personally, I think this means that it shouldn't return:
And thus the current semantics are at least in line with the documentation. |
Yeah the reason why I wasn't immediately rejecting my idea because of the index issue is because searching for an empty needle in an empty haystack returns a starting offset. But I think the right way to look at that is that results from a substring search are not meant to be indexed, but rather, sliced. And of course |
Closing this as invalid, since I was very wrong. I am updating the docs to make sure these cases are more explicitly documented. I've added these two lines to the
I've also added these two lines to the
|
This code
prints
None
, but it should printSome(0)
. Also, it seems like the empty set is part of the empty haystack, so thisshould also print
Some(0)
I think?This behavior is consistent with substring searches for an empty needle.
The text was updated successfully, but these errors were encountered: