Warum gibt "abcd" .StartsWith ("") True zurück?

Werde ich versuchen zu erarbeiten, was Jon Skeet sagte.

Sagen wir mal x, y und z Zeichenketten sind und die " + " - operator ist in der Tat die Verkettung, dann:

Wenn wir das aufteilen können, z schreiben z = x + y, z beginnt x mit.
Da jeder string z kann zerlegt werden in z = "" + z daraus folgt, dass jeder string beginnt mit "".

So, weil ("" + "abcd") == "abcd" daraus folgt, dass "abcd" beginnt mit","

InformationsquelleAutor der Antwort Petar Repac

Beginnen werde ich mit einem verwandten der Tat, das ist einfacher zu verstehen.

Die leere Menge ist eine Teilmenge von jedem Satz.

Warum? Die definition von Teilmenge besagt, dass A ist eine Teilmenge von B wenn jedes element von A ist ein element der B. Umgekehrt A ist nicht eine Teilmenge der B wenn es ein element A dass ist nicht ein element der B.

Nun fix einen Satz B. Ich werde feststellen, dass die leere Menge ist eine Teilmenge von B. Ich werde dies tun, indem Sie zeigen, dass es nicht der Fall ist, dass die leere Menge nicht Teilmenge von B. Wenn die leere Menge nicht Teilmenge von B dann ich finden konnte, ein element der leeren Menge, die nicht in B. Aber die leere Menge keine Elemente und somit habe ich nicht finden können, ein element, das nicht in B. Daher ist es nicht so, dass die leere Menge nicht Teilmenge von B. So, die leere Menge muss eine Teilmenge der B.

Jeder string beginnt mit dem leeren string.

Zuerst müssen wir uns einig über unsere definition von beginnt mit. Lassen Sie s und t werden strings Wir sagen, dass s beginnt mit t wenn s.Length >= t.Length und die ersten t.Length Zeichen von t übereinstimmen s. Das ist s.Length >= t.Length und für jeden Int32 index so dass 0 <= index < t.Lengths[index] == t[index] wahr ist. Umgekehrt, würden wir sagen, dass s beginnt nicht mit t wenn die Aussage

s.Length < t.Length oder s.Length >= t.Length und es ist ein Int32 index so dass 0 <= index < t.Length und s[index] != t[index]

wahr ist. Im Klartext, s ist kürzer als t oder, wenn nicht, es ist ein Zeichen in t entsprechen nicht dem Charakter der gleichen position in s.

Nun fix einen string s. Ich werde feststellen, dass s beginnt mit dem leeren string. Ich werde dies tun, indem Sie zeigen, dass es nicht der Fall ist, dass s beginnt nicht mit dem leeren string. Wenn s beginnt nicht mit dem leeren string dann s.Length < String.Empty.Length oder s.Length >= String.Empty.Length und es ist ein Int32 index so dass 0 <= index < String.Empty.Length. Aber s.Length >= 0 und String.Empty.Length gleich null ist, so ist es unmöglich für s.Length < String.Empty.Length um wahr zu sein. Ebenso, da `String.Leer.Längeis equal to zero, there is noInt32 indexsatisfying0 <= index < String.Leer.Länge`. Daher

s.Length < String.Empty.Length oder s.Length >= String.Empty.Length und es ist ein Int32 index so dass 0 <= index < String.Empty.Length

ist falsch. Daher ist es nicht so, dass s beginnt nicht mit dem leeren string. So s muss beginnen mit dem leeren string.

Folgenden ist eine Implementierung des beginnt mit codiert, das als Erweiterung string.

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;
}

Den beiden oben Fett gedruckten Fakten sind Beispiele von vacuously wahre Aussagen. Sie sind wahr, aufgrund der Tatsache, dass die Aussagen zu definieren (Teilmenge und beginnt mit) sind Universelle Quantifizierungen über leeren Universen. Es gibt kein Element in der leeren Menge, also kann es nicht sein, alle Elemente der leeren Menge nicht an einem anderen festen Satz. Es gibt keine Zeichen in die leeren string, so kann es nicht sein Charakter als irgendeine position in dem leeren string entsprechen nicht den Zeichen an der gleichen position in einer anderen festen string.

InformationsquelleAutor der Antwort jason

In C# dies ist, wie die Spezifikation es erzählt zu reagieren;

Gleichberechtigt zu sein, muss der Wert eine leere Zeichenfolge (Leer), eine Referenz auf diese Instanz, oder den Anfang der Instanz.

InformationsquelleAutor der Antwort blowdart

Den ersten N Zeichen der beiden strings sind identisch. Wobei N die Länge des zweiten Strings, d.h. null.

InformationsquelleAutor der Antwort Ralph

Weil ein string beginnt auch mit "nichts".

InformationsquelleAutor der Antwort gizmo

In C#, der Grund, es gibt true ist, dass die Entwickler speziell codiert.

Wenn Sie check out die QuellcodeSie finden die spezifische Logik zu behandeln eine leere Zeichenfolge:

public Boolean StartsWith(String value)
{
    return StartsWith(value, StringComparison.CurrentCulture);
}

public Boolean StartsWith(String value, StringComparison comparisonType)
{
    ...

    if (value.Length == 0)
    {
        return true;
    }

InformationsquelleAutor der Antwort Grant Winney