Почему делает "abcd".StartsWith (“”), возвращают true?

Я попытаюсь уточнить то, что сказал Jon Skeet.

Скажем, x, y и z являются строками и +, оператор является на самом деле конкатенацией, тогда:

, Если мы можем разделить z для записи z = x + y, который означает, что z запускается с x. Поскольку каждая строка z может быть разделена к z = ""+ z из этого следует, что каждая строка запускается с "".

Так, потому что ("" + "abcd") == "abcd" из этого следует, что "abcd" запускается с""

Этот метод сравнивает параметр, передаваемый по значению с подстрокой в начале этой строки, которая является той же длиной как значение и возвращает значение, которое указывает, равны ли они. , Чтобы быть равным, значение должно быть (Пустой) пустой строкой, ссылка на этот тот же экземпляр, или соответствовать началу этого экземпляра.

Строка.NET. StartsWith

, верный, если последовательность символов, представленная аргументом, является префиксом последовательности символов, представленной этой строкой; ложь иначе. Примечание также, что верный будет возвращен, если аргумент будет пустой строкой или будет равен этому Строковому объекту, как определено, равняется (Объектному) методу.

Java String.startsWith

Позвольте нам просто сказать "abcd".StartsWith(""), возвращает false.

раз так тогда, что делает следующую оценку выражения к, TRUE или FALSE:

 ("abcd".Substring(0,0) == "")

оказывается, что evals к истинному, таким образом, строка действительно запускается с пустой строки;-), или помещенный, другими словами, подстрока "abcd", запускающегося в положении 0 и имеющего 0 длин, равняется пустой строке "". Довольно логический imo.

Я запущу со связанного факта, который легче понять.

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

, Почему? определение подмножество состояния, который A является подмножеством B, если каждый элемент A является элементом B. С другой стороны, A не подмножество B, если существует элемент A, который не является элементом B.

Теперь фиксируют набор B. Я установлю, что пустое множество является подмножеством [1 110]. Я сделаю это путем показа этого не то, что пустое множество не является подмножеством [1 111]. Если бы пустое множество не было подмножеством [1 112] тогда, то я мог бы найти элемент пустого множества, которое не находится в [1 113]. Но пустое множество не имеет никаких элементов, и таким образом я не могу найти элемент, который не находится в [1 114]. Поэтому не то, что пустое множество не является подмножеством [1 115]. Таким образом пустое множество должно быть подмножеством [1 116].

Любая строка запускается с пустой строки.

Первый, мы должны договориться о нашем определении , запускается с [1 165]. Позвольте s и t быть string с, Мы говорим, что s запускается с [1 166] t если s.Length >= t.Length и первое t.Length символы [1 124] те соответствия s. Таким образом, s.Length >= t.Length и для каждого Int32 index таким образом, что 0 <= index < t.Length, s[index] == t[index] верно. С другой стороны мы сказали бы, что s не запускается с [1 131] если оператор

public static bool DoStartsWith(this string s, string t) {
    if (s.Length >= t.Length) {
        for (int index = 0; index < t.Length; index++) {
            if (s[index] != t[index]) {
                return false;
            }
        }
        return true;
    }
    return false;
}