Musterabgleich

Refutable und Irrefutable Muster

Betrachten Sie den Musterabgleich eines Ausdrucks vom Typ T. Welche dieser Aussagen beschreibt am besten den Unterschied zwischen einem widerlegbaren (refutable) und einem unwiderlegbaren (irrefutable) Muster?

1. Widerlegbare Muster sind Muster, bei denen T ein Enum ist, während unwiderlegbare Muster Muster sind, bei denen T kein Enum ist.

2. Widerlegbare Muster passen auf keine Werte vom Typ T, während unwiderlegbare Muster auf einige Werte vom Typ T passen.

3. Widerlegbare Muster passen nicht auf einige Werte vom Typ T, während unwiderlegbare Muster auf alle Werte vom Typ T passen.

4. Widerlegbare Muster passen auf einige Werte eines anderen Typs S, während unwiderlegbare Muster nur auf Werte vom Typ T passen.

Prüfen

Ein Muster ist widerlegbar, wenn es einen Wert des erwarteten Typs gibt, der nicht vom Muster erfasst wird.

---

Refutable Muster für Slices

Betrachten Sie das folgende Programm:

let x: &[(i32, i32)] = &[(0, 1)];

Welche der folgenden Muster sind widerlegbar (refutable) für x?

1. &[(x, y), ..]

2. &[(x, y)]

3. &[..]

4. _

Prüfen

Ein Slice hat keine feste Länge, daher ist jedes Muster, das behauptet, dass x mindestens ein Element haben muss, widerlegbar.

---