Dlaczego nie mogę przypisać @b || @ c do @a w Perlu?

Question

Chciałbym wykonać pewne zawiłe wariacje zadania @a = @b || @c, z zamiarem podjęcia @b, jeśli nie jest pusty (stąd prawda w sensie boolean), @c w przeciwnym razie. Dokumentacja wyraźnie mówi mi, że nie mogę. (I to jest prawda o tym, też!)

W "||", "//" i "& &" podmioty zwróci ostatnią wartość oceniana (w przeciwieństwie do C w "||" i "& & ", które zwracają 0 lub 1).

[...]

W szczególności oznacza to, że nie należy korzystać z tego wyboru między dwa agregaty do przypisania:

@a = @b || @c;    # this is wrong 
@a = scalar(@b) || @c;  # really meant this 
@a = @b ? @b : @c;   # this works fine, though 

Niestety, to nie naprawdę robi Powiedz mi dlaczego.

Czego spodziewać by się stało, było to:

• @a = jest przypisanie tablicy, wywołując kontekst listy po prawej stronie.
• @b || @c to prawa strona, do oceny w kontekście listy.
• || jest logicznym lub logicznym zwarciem w stylu C. Ocenia od lewej do prawej (w razie potrzeby) i propaguje kontekst.
• @b jest oceniany w kontekście listy. Jeśli wartość true (, tj., niepusta), jest zwracana.
• jeśli nie, @c jest również obliczany w kontekście listowym i zwracany.

Oczywiście, moje przedostatnie stwierdzenie jest błędne. Czemu? I, co ważniejsze, która część dokumentacji lub źródeł uwzględnia to zachowanie?

PS: poza zakresem pytania, powód, dla którego rezygnuję z sugestii dokumentacji dotyczącej korzystania z operatora trójargumentowego, jest taki, że mój @b jest rzeczywiście tymczasowy (wynik wywołania funkcji).

Answer 1

Operator logiczny lub "(||") analizuje lewy argument w kontekście skalarnym.

Powodem tego jest ustalenie, czy argument jest prawdziwy. Kontekst Boolean, będący szczególnym przypadkiem kontekstu skalarnego, wymusza na nim kontekst skalarny.

---

Od perldoc perlop"C-style-Logical-Or"

Binary "||" dokonuje logicznej lub operacji. Oznacza to, że jeśli lewy operand jest true, prawy operand nie zostanie nawet oceniony. ...

---

Od perldoc perldata"Scalar values":

.... Boolean kontekstu jest tylko szczególnym rodzajem skalarnego kontekście, w którym żadna konwersja na łańcuch lub numer kiedykolwiek przeprowadzono.

Answer 2

W perlop, zaledwie kilka akapitów wcześniej sekcji cytujesz:

 
Binary "||" performs a short-circuit logical OR operation. That is, 
if the left operand is true, the right operand is not even evaluated. 
Scalar or list context propagates down to the right operand if it is 
evaluated. 

nie wyraźnie stwierdzić, że kontekst lista nie rozprzestrzeniać do lewego argumentu, ale szczyt państw perlop:

 
With very few exceptions, these all operate on scalar values 
only, not array values. 

więc możemy założyć, że lista kontekst rozmnożeniowego do prawego operandu jest wyjątek od reguły, a brak jakiegokolwiek oświadczenia o kontekście z lewej operand oznacza, że ​​obowiązuje zasada ogólna.

Answer 3

To dlatego, że || ocenia lewą stronę w kontekście skalarnym, podobnie jak argument testowy z?:. Jeśli nie można użyć trójskładnikowych użyć funkcji:

sub or_array (\@\@) { 
    return @{$_[0]} if (scalar @{$_[0]}); 
    return @{$_[1]}; 
} 

@a = or_array(@b, @c); 

Answer 4

Jeśli nie można użyć operatora warunkowego bezpośrednio, można łatwo użyć nieco mniej-lakoniczny:

my $ref_b = [ @b ]; # Ideally, just return an arrayref from your function 
my @a = @$ref_b ? @$ref_b : @c; 

Zgodnie z powyższą odpowiedzią Twój kod nie działa, ponieważ kontekst logiczny, w którym jest oceniana lewa strona ||, jest kontekstem skalarnym, a zatem @b faktycznie staje się scalar(@b) i to właśnie zostaje przypisane do @a.