Почему True возвращается при проверке, есть ли пустая строка в другой?

Цитирование из PHP strpos документации ,

mixed strpos ( string $haystack , mixed $needle [, int $offset = 0 ] )

Найти числовую позицию первого вхождения needle в haystack строка .

Итак, то, что вы на самом деле попробовали, похоже на конструкцию Python, показанную ниже

>>> print 'lolsome' in ''
False

Итак, вы должны были написать, как показано ниже, чтобы иметь соответствующее сравнение в PHP

var_dump(strpos('lolsome', ''));

Даже тогда он выдает предупреждение и возвращает false.

Предупреждение PHP: strpos(): Пустая стрелка в /home/thefourtheye/Desktop/Test.php в строке 3

bool(false)

Я вырыл глубже и нашел исходный код, соответствующий функции strpos ,

    if (!Z_STRLEN_P(needle)) {
        php_error_docref(NULL, E_WARNING, "Empty needle");
        RETURN_FALSE;
    }

. Они считают, что поиск пустой строки является проблематичным случаем. Итак, они выдают предупреждение и возвращаются false. Кроме этого я не смог найти ни одного документа, обсуждающего, почему это рассматривается как проблема.

Что касается Python, это поведение хорошо определено в разделе Сравнения ,

Пустые строки всегда считаются подстрокой любой другой строки, поэтому "" in "abc" вернет True.

В основном из математики:

Пустое множество является подмножеством каждого множества

Та же логика работает здесь. Вы можете считать '' пустым множеством. И, следовательно, это подмножество каждого набора строк , так как они должны быть одного типа.

>>> a = ""
>>> b = "Python"
>>> a in b
True
>>> set(a).issubset(b)
True
>>> a = set() #empty set
>>> b = set([1,2,3])
>>> a.issubset(b)
True
>>> 

Но будьте осторожны! Подмножество и членство - это разные вещи .

Пустая строка - это уникальная строка нулевой длины.
Пустая строка является элементом идентификации операции конкатенации.
Пустая строка предшествует любой другой строке в лексикографическом порядке, поскольку она является самой короткой из всех строк.
Пустая строка является допустимой строкой, с которой должно работать большинство строковых операций.
Википедия

 > strlen("");
=> 0
 > "a" . "" == "a";
=> true
 > "" . "a" == "a";
=> true   
 > "" < "\0";
=> true   

Сверху кажется, что PHP рассматривает пустую строку как допустимую строку.

> strstr("lolsome", "");
strstr(): Empty needle :1

Но кажется, что пустая строка не считается полностью допустимой. Скорее всего, PHP является единственным языком, который не позволяет искать подстроку в строке как пустую строку.

Это защитный механизм? Очевидно, программисты не должны защищать иглу с помощью if. Если так, то почему другие языки позволяют пройти этот тест !!! Разработчики языка должны ответить

Из чего состоит строка Python?

>>> ''.count('')
1

Очевидно, пустая строка имеет одну пустую строку.

>>> 'a'.count('')
2

Одна строка элементов имеет две пустые строки.

>>> 'ab'.count('')
3

Так что, похоже, строка Python является конкатенацией строк из одного элемента. Каждый элемент в строке помещается между двумя пустыми строками.

>>> "lolsome".split('')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: empty separator

Но здесь Python противоречит действительности пустой строки. Это ошибка?
Ruby и JavaScript проходят здесь тест.

 > "lolsome".split("")
=> ["l", "o", "l", "s", "o", "m", "e"]

Я собрал несколько языковых примеров из кода Розетты , интересно отметить, что все они допускают пустую строку в поиск подстроки и возврат истины.

AWK

awk 'BEGIN { print index("lolsome", "") != 0 }'

C

int main() {
    printf("%d\n", strstr("lolsome", "") != NULL);
    return 0;
}

C ++

#include <iostream>
#include <string>

int main() {
    std::string s = "lolsome";
    std::cout << (s.find("") != -1) << "\n";
    return 0;
}

C #

using System;
class MainClass {
  public static void Main (string[] args) {
    string s = "lolsome";
    Console.WriteLine(s.IndexOf("", 0, s.Length) != -1);
  }
}

Clojure

(println (.indexOf "lolsome" ""))

Go

package main

import (
    "fmt"
    "strings"
)
func main() {
    fmt.Println(strings.Index("lolsome", "") != -1)
}

Groovy

println 'lolsome'.indexOf('')

возвращает 0, при ошибке возвращает -1

Java

class Main {
  public static void main(String[] args) {
    System.out.println("lolsome".indexOf("") != -1);
  }
}

JavaScript

"lolsome".indexOf("") != -1

Lua

s = "lolsome"
print(s:find "" ~= nil)

Perl

print index("lolsome", "") != -1;

"lolsome".find("") != -1

Рубин

"lolsome".index("") != nil

Предположим, у вас есть 2 кучи похожих объектов, скажем, лучших строф вашего любимого поэта, по 5 и 2 соответственно. Большой набор содержит меньший набор? Как проверить: 1) для любой строфы в меньшей куче вы можете найти ее в большей. 2) меньшая куча не содержит чего-то, чего нет в большей.

Таким образом, мы можем использовать этот псевдокод для проверки:

for object in smaller:
    if object not in bigger:
       return 'we found object from smaller absent in bigger'
    else:
       go to next object
return 'all is ok - all objects from smaller are in bigger'

Если вы не нашли такой объект, вы подходите к концу алгоритма и думаете, что меньше - это подмножество большего.

Теперь представьте, что маленькая куча имеет 0 строф. Применяя те же правила выше, мы выполняем 0 проверок, а также не находим объект от меньшего, который отсутствует в большем.

Так что правильно и удобно считать пустую строку подмножеством любой другой строки. Даже сама. И это реализовано в python.

    >>> '' in 'adfsf'
    True
    >>> '' in ''
    True