Perl booleans, negation (und, wie man es erklären)?

Ich denke, Sie konzentrieren sich zu sehr auf die negation und zu wenig auf das, was Perl Boolesche Werte bedeuten.

Historische/Umsetzung Perspektive

Was ist Wahrheit? Der Nachweis eines höheren Spannung x Volt.

Auf einer höheren Abstraktionsebene: Wenn dieses bit hier wird gesetzt.

Die Abstraktion einer Sequenz von bits kann als eine ganze Zahl. Ist diese integer falsch? Ja, wenn kein bit gesetzt ist, d.h. die ganze Zahl ist null.

Einer hardware-orientierten Sprache wird wahrscheinlich diese definition von Wahrheit, z.B. C und alle C-Abkömmlinge inkl Perl.

Die negation der 0 könnte bitweise negation—alle bits werden umgedreht 1—, oder setzen wir einfach das Letzte Stück bis 1. Die Ergebnisse würden in der Regel decodiert werden als Ganzzahlen -1 und 1 jeweils, aber der letztere ist, mehr Energie effizient.

Pragmatische Perspektive

Ist es bequem zu denken, alle zahlen, aber null wahr, wenn wir uns befassen sich mit zählt:

my $wordcount = ...;

if ($wordcount) {
  say "We found $wordcount words";
} else {
  say "There were no words";
}

oder

say "The array is empty" unless @array;  # notice scalar context

Einer pragmatischen Sprache wie Perl wahrscheinlich betrachten Sie null als falsch.

Mathematischen Perspektive

Gibt es keinen Grund für irgendeine Zahl falsch, jede Zahl ist eine gut definierte Entität. Wahrheit oder Falschheit entsteht allein durch Prädikate, Ausdrücke, die true oder false sein kann. Nur diese Wahrheit Wert kann negiert werden. E. g.

¬(x ≤ y) where x = 2, y = 3

ist falsch. Viele Sprachen, die eine starke Basis in der Mathematik nicht berücksichtigen, alles falsch, aber einen besonderen Wert false. In Lisps, '() oder nil ist meistens falsch, aber 0 wird in der Regel wahr. Das heißt, dass ein Wert, der nur wahr ist, wenn es nicht null!

In solchen mathematischen Sprachen !3 == 0 ist eher ein Typ-Fehler.

Re: Biere

Biere sind gut. Eine beliebige Anzahl von Biere sind gut, solange Sie eine haben:

my $beers = ...;

if (not $beers) {
  say "Another one!";
} else {
  say "Aaah, this is good.";
}

Boolification einer Bier-zähl-variable zeigt nur, dass Sie uns, wenn Sie irgendwelche Biere. Betrachten !! eine boolification Betreiber:

my $enough_beer = !! $beers;

Den boolification nicht Sorge sich mit dem genauen Betrag. Aber vielleicht kann eine beliebige Anzahl ≥ 3 gut ist. Dann:

my $enough_beer = ($beers >= 3);

Die negation ist nicht genug Bier:

my $not_enough_beer = not($beers >= 3);

oder

my $not_enough_beer = not $beers;

fetch_beer() if $not_enough_beer;

Sets

Einen Perl-Skalar symbolisiert nicht ein ganzes Universum der Dinge. Vor allem, not 3 ist nicht die Menge aller Entitäten, die nicht drei. Ist der Ausdruck 3 eine truthy Wert? Ja. Daher not 3 ist ein falsey Wert.

Dem vorgeschlagenen Verhalten 4 == not 3 um wahr zu sein ist wahrscheinlich unerwünscht: 4 und "alle Dinge sind nicht drei" sind nicht gleich, die vier ist nur eine von vielen Sachen, die sind nicht drei. Sollten wir korrekt schreiben:

4 != 3    # four is not equal to three

oder

not( 4 == 3 )   # the same

Könnte es helfen, zu denken ! und not als logische negation -, aber nicht als außer.

, Wie zu lehren

Könnte es sich lohnen, Einführung in die mathematische Prädikate: Ausdrücke, die true oder false sein kann. Wenn wir immer nur "schaffen" truthness von expliziten tests, wie z.B. length($str) > 0, dann sind Ihre Probleme nicht entstehen. Wir können den Namen für die Ergebnisse: my $predicate = (1 < 2), aber wir können entscheiden, nie drucken Sie Sie aus, stattdessen: print $predicate ? "True" : "False". Dies umgeht das problem der Berücksichtigung spezieller Darstellungen von wahr oder false.

Anbetracht Werte true/false-direkt würde dann nur eine Verknüpfung, z.B. foo if $x kann als eine Abkürzung für

foo if defined $x and length($x) > 0 and $x != 0;

Perl ist alles über shortcuts.

Unterricht diese Verknüpfungen und die verschiedenen Kontexte von perl-und wo Sie auftauchen (numerisch/string/boolean-Operatoren) könnte hilfreich sein.

• Liste Kontext
  • Selbst-size-Liste Kontext
• Skalaren Kontext
  • Numerischen Kontext
  • String-Kontext
  • Booleschen Kontext
• Void-Kontext

Wenn Sie möchten, um zu testen, ob eine Zahl ist nicht 3, dann verwenden Sie diesen:

my_variable != 3;

Mithilfe der syntax !3, da ! ist ein boolescher operator, zuerst konvertiert 3 in einen booleschen (obwohl perl kann nicht eine offizielle boolean-Typ, es funktioniert immer noch so), welche, da ist es nicht null ist, bedeutet, es wird umgewandelt, um das äquivalent von true. Dann !true Erträge false, die umgewandelt zurück zu einem integer-Kontext, gibt 0. Weiterbildung mit dieser Logik zeigt, wie !!3 wandelt 3 zu true, die dann invertiert zu false, invertiert wieder zurück true, und wenn dieser Wert in einem integer-Kontext, wird umgewandelt zu 1. Dies gilt für die meisten modernen Programmiersprachen (obwohl vielleicht nicht einige der mehr Logik-zentriert sind), obwohl die genaue syntax variieren etwas je nach der Sprache...