Stories
Slash Boxes
Comments
NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

All the Perl that's Practical to Extract and Report

use Perl Log In

Log In

[ Create a new account ]

Ovid (2709)

Ovid
  (email not shown publicly)
http://publius-ovidius.livejournal.com/
AOL IM: ovidperl (Add Buddy, Send Message)

Stuff with the Perl Foundation. A couple of patches in the Perl core. A few CPAN modules. That about sums it up.

Journal of Ovid (2709)

Thursday October 12, 2006
03:22 AM

Encapsulation, or Moose?

[ #31302 ]

This was not surprising, but also not what I wanted:

#!/usr/bin/perl

use strict;
use warnings;

{
    package Point;
    use Moose;

    has 'x' => ( is => 'rw', isa => 'Int' );
    has 'y' => ( is => 'rw', isa => 'Int' );
}

#use Devel::EnforceEncapsulation;
#Devel::EnforceEncapsulation->apply_to('Point');
use Test::More qw'no_plan';
use Test::Exception;

ok my $point = Point->new, 'Creating a new Point should succeed';
ok $point->x(3), '... as should setting x()';
ok $point->y(7), '... and y()';
is $point->x, 3, '... and x() should have the correct value';
is $point->y, 7, '... as should y()';

throws_ok { $point->x(8.3) }
    qr/\QAttribute (x) does not pass the type contraint (Int) with '8.3'/,
    'Setting an attribute to an invalid value should fail';

Those tests pass -- until you uncomment the encapsulation lines.

Illegal attempt to access Point internals from Class::MOP::Instance

I had my hopes up for a moment :)

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More | Login | Reply
Loading... please wait.
  • you do realize something has to "violate" encapsulation somewhere, namely the accessor code, right?

    Class::MOP::Instance is precisely the object that lets accessors get at an objects instance structure.
  • There is no violation of encapsulation here actually, you should ask before you assume :)

    Class::MOP::Instance [cpan.org] is the meta object which represents the instance structure, it is the gateway through which all the access to the underlying instance structure is proxied (it also handles generating code for any inlined accessors as well). This puts a layer of abstraction over the instance structure so that the Moose user does not have to think about what kind of instance they are using, and therefore can chang

    • What did you think my assumptions were, Stevan? I wasn't assuming this would pass. I was merely hoping I could get away with it :)

      • From your title ("Encapsulation or Moose"), and your initial line ("This was not surprising, but also not what I wanted" ) it seemed to me that you were implying that Moose violated encapsulation. Which admitedly, if you go by the definition of encapsulation encoded in Devel::Encapsulation, it does. However, there is more than one way to do it :)

        Of course, my response is riddled with assumptions on my part, so if I am mistaken, please clarify it for me.

        - Stevan

    • The issue here isn't that I think that Class::MOP is doing something naughty. The issue is that I want the final test to fail:

      throws_ok { $point->x(8.3) }
          qr/\QAttribute (x) does not pass the type contraint (Int) with '8.3'/,
          'Setting an attribute to an invalid value should fail';

      $point->{x} = 8.3;
      is $point->x, 8.3, 'Whoops!  I broke it';
      • The issue here isn't that I think that Class::MOP is doing something naughty.

        What exactly do you think it is doing wrong? It is following the Instance protocol, which states that only methods of (or generated by) Class::MOP::Instance should access the internals of the instance. Again, this violates the rather narrow defintion of encapsulation in Devel::Encapsulation, but it enforces (albeit with a much softer hand) encapsulation in a different way.

        The issue is that I want the final test to fail

        • I don't think Class::MOP is doing anything wrong. I'm sorry if it sounded like I was suggesting it! One thing about Moose I like is that it does make it very easy to respect encapsulation and I do agree that this is more of a user problem than a programming one. Sorry if my post came off the wrong way.

          • I don't think Class::MOP is doing anything wrong.I'm sorry if it sounded like I was suggesting it!

            Sorry, my fault, you didn't suggest that. I mistakenly read "isn't" as "is", in your previous post. That will teach me to respond to posts while also half listening on a conference call with the $client :)

            Anyway, no worries, I just wanted to be sure you understood the reason why you got that error, and that encapsulation is not actually being violated.

            - Stevan