smartmatch and overloaded objects in blead

[Yuval Kogman <nothingmuch@woobling.org>]

I can't find the thread where this was discussed.

I think the but the new mandatory overloading for smartmatching of
objects is too restrictive.

Here are a few cases that I think could be changed:


./perl -Ilib -E 'my $obj = bless {}, "Foo"; $obj ~~ sub { 1 }'
Smart matching a non-overloaded object breaks encapsulation at -e
line 1.

The subroutine in question does not break encapsulation in this
particular instance and there are many valid uses.




./perl -Ilib -E 'my $obj = bless {}, "Foo"; $obj ~~ $obj'
Smart matching a non-overloaded object breaks encapsulation at -e
line 1.

This case could be refaddr equality, comparing an object to itself
doesn't sound like encapsulation breaking to me.

Likewise all comparisons of non overloaded objects which aren't the
same could just return false.




./perl -Ilib -E 'my $obj = bless {}, "Foo"; $obj ~~ "Foo"'
Smart matching a non-overloaded object breaks encapsulation at -e
line 1.

This could be repurposed to call ->isa, it's *VERY* useful for
checking exceptions.

The problem is that the string would of course return true for
$obj = "Foo" or $obj = ["Foo"], so this case is ambiguous, and maybe
not such a good idea.





./perl -Ilib -E 'my $obj = bless {}, "Foo"; warn $obj ~~ undef'
Smart matching a non-overloaded object breaks encapsulation at -e
line 1.

perlsyn says:
        Any     undef     undefined                !defined $a

!defined($obj) does not break encapsulation IMHO




And while we're on the subject:

./perl -Ilib -E 'warn sub { warn "First" } ~~ sub { warn "second" }'
Warning: something's wrong at -e line 1.

./perl -Ilib -E 'warn sub () { warn "First" } ~~ sub () { warn
"second" }'
Warning: something's wrong at -e line 1.


This seems to contradict the documentation that implies that
subroutines with a prototype of "" are treated more like values
(which fwiw I think is wrong, I prefer the current behavior that
compares refs, if I wanted to check the value i'd deref the sub)

At any rate

   Code()  Code()    results are equal        $a−>() eq $b−>()

doesn't seem to apply to anything.

I'd argue that anyway it ought to be $a->() ~~ $b->() but I don't
see that it's ever used.


-- 
  Yuval Kogman <nothingmuch@woobling.org>
http://nothingmuch.woobling.org  0xEBD27418

PGP signature

---

Follow-Ups from:

"Rafael Garcia-Suarez" <rgarciasuarez@gmail.com>

---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index][Thread Index][Top&Search][Original]

---