ex::monkeypatched(3) Experimental API for safe monkey-patching

SYNOPSIS


use ex::monkeypatched 'Third::Party::Class' => (
clunk => sub { ... },
eth => sub { ... },
);
use Foo::TopLevel; # provides Foo::Bar, which isn't a module
use ex::monkeypatched -norequire => 'Foo::Bar' => (
thwapp => sub { ... },
urkk => sub { ... },
);

BACKGROUND

The term ``monkey patching'' describes injecting additional methods into a class whose implementation you don't control. If done without care, this is dangerous; the problematic case arises when:
  • You add a method to a class;
  • A newer version of the monkey-patched class adds another method of the same name
  • And uses that new method in some other part of its own implementation.

"ex::monkeypatched" lets you do this sort of monkey-patching safely: before it injects a method into the target class, it checks whether the class already has a method of the same name. If it finds such a method, it throws an exception (at compile-time with respect to the code that does the injection).

See <http://aaroncrane.co.uk/talks/monkey_patching_subclassing/> for more details.

DESCRIPTION

"ex::monkeypatched" injects methods when you "use" it. There are two ways to invoke it with "use": one is easy but inflexible, and the other is more flexible but also more awkward.

In the easy form, your "use" call should supply the name of a class to patch, and a listified hash from method names to code references implementing those methods:

    use ex::monkeypatched 'Some::Class' => (
        m1 => sub { ... },  # $x->m1 on Some::Class will now run this
        m2 => sub { ... },  # $x->m2 on Some::Class will now run this
    );

In the flexible form, your "use" call supplies a single hashref saying what methods to create. That last example can be done exactly like this:

    use ex::monkeypatched { class => 'Some::Class', methods => {
        m1 => sub { ... },  # $x->m1 on Some::Class will now run this
        m2 => sub { ... },  # $x->m2 on Some::Class will now run this
    } };

However, this flexible form also lets you add a method of a single name to several classes at once:

    use ex::monkeypatched { method => 'm3', implementations => {
        'Some::BaseClass'     => sub { ... },
        'Some::Subclass::One' => sub { ... }
        'Some::Subclass::Two' => sub { ... },
    } };

This is helpful when you want to provide a method for several related classes, with a different implementation in each of them.

The classes to be patched will normally be loaded automatically before any patching is done (thus ensuring that all their base classes are also loaded).

That doesn't work when you're trying to modify a class which can't be loaded directly; for example, the XML::LibXML CPAN distribution provides a class named "XML::LibXML::Node", but trying to "use XML::LibXML::Node" fails. In that situation, you can tell "ex::monkeypatched" not to load the original class:

    use ex::monkeypatched -norequire => 'XML::LibXML::Node' => (
        clunk => sub { ... },
        eth   => sub { ... },
    );
    # Equivalently:
    use ex::monkeypatched -norequire => {
        class   => 'XML::LibXML::Node',
        methods => {
            clunk => sub { ... },
            eth   => sub { ... },
        },
    };

Alternatively, you can inject methods after a class has already been loaded, using the "inject" method:

    use ex::monkeypatched;
    ex::monkeypatched->inject('XML::LibXML::Node' => (
        clunk => sub { ... },
        eth   => sub { ... },
    );
    # Equivalently:
    ex::monkeypatched->inject({ class => 'XML::LibXML::Node', methods => {
        clunk => sub { ... },
        eth   => sub { ... },
    }});

Neither of these approaches ("-norequire" and "inject") loads the class in question, so when you use them, "ex::monkeypatched" is unable to guarantee that all the target class's methods have been loaded at the point the new methods are injected.

The "ex::" prefix on the name of this module indicates that its API is still considered experimental. However, the underlying code has been in use in production for an extended period, and seems to be reliable.

CAVEATS

If the class you're monkeying around in uses "AUTOLOAD" to implement some of its methods, and doesn't also implement its own "can" method to accurately report which method names are autoloaded, "ex::monkeypatched" will incorrectly assume that an autoloaded method does not exist. The solution is to fix the broken class; implementing "AUTOLOAD" but not "can" is always an error.

AUTHOR

Aaron Crane <[email protected]>

LICENCE

This library is free software; you can redistribute it and/or modify it under the terms of either the GNU General Public License version 2 or, at your option, the Artistic License.