]> git.vpit.fr Git - perl/modules/Variable-Magic.git/blobdiff - README
Empty the global pointer table at the end of a thread
[perl/modules/Variable-Magic.git] / README
diff --git a/README b/README
index 4b7401275cd6dc507c5b39bcf0b3f4493ba3b805..778e4fb8feb30ef43ad43439d03b5b6bbee97451 100644 (file)
--- a/README
+++ b/README
@@ -2,59 +2,99 @@ NAME
     Variable::Magic - Associate user-defined magic to variables from Perl.
 
 VERSION
     Variable::Magic - Associate user-defined magic to variables from Perl.
 
 VERSION
-    Version 0.30
+    Version 0.38
 
 SYNOPSIS
 
 SYNOPSIS
-        use Variable::Magic qw/wizard cast dispell/;
-
-        my $wiz = wizard set => sub { print STDERR "now set to ${$_[0]}!\n" };
-        my $a = 1;
-        cast $a, $wiz;
-        $a = 2;          # "now set to 2!"
-        dispell $a, $wiz;
-        $a = 3           # (nothing)
+        use Variable::Magic qw/wizard cast VMG_OP_INFO_NAME/;
+
+        { # A variable tracer
+         my $wiz = wizard set  => sub { print "now set to ${$_[0]}!\n" },
+                          free => sub { print "destroyed!\n" };
+
+         my $a = 1;
+         cast $a, $wiz;
+         $a = 2;        # "now set to 2!"
+        }               # "destroyed!"
+
+        { # A hash with a default value
+         my $wiz = wizard data     => sub { $_[1] },
+                          fetch    => sub { $_[2] = $_[1] unless exists $_[0]->{$_[2]}; () },
+                          store    => sub { print "key $_[2] stored in $_[-1]\n" },
+                          copy_key => 1,
+                          op_info  => VMG_OP_INFO_NAME;
+
+         my %h = (_default => 0, apple => 2);
+         cast %h, $wiz, '_default';
+         print $h{banana}, "\n"; # "0", because the 'banana' key doesn't exist in %h
+         $h{pear} = 1;           # "key pear stored in helem"
+        }
 
 DESCRIPTION
 
 DESCRIPTION
-    Magic is Perl way of enhancing objects. This mechanism let the user add
+    Magic is Perl way of enhancing objects. This mechanism lets the user add
     extra data to any variable and hook syntaxical operations (such as
     extra data to any variable and hook syntaxical operations (such as
-    access, assignation or destruction) that can be applied to it. With this
-    module, you can add your own magic to any variable without the pain of
-    the C API.
+    access, assignment or destruction) that can be applied to it. With this
+    module, you can add your own magic to any variable without having to
+    write a single line of XS.
+
+    You'll realize that these magic variables look a lot like tied
+    variables. It's not surprising, as tied variables are implemented as a
+    special kind of magic, just like any 'irregular' Perl variable : scalars
+    like $!, $( or $^W, the %ENV and %SIG hashes, the @ISA array, "vec()"
+    and "substr()" lvalues, threads::shared variables... They all share the
+    same underlying C API, and this module gives you direct access to it.
+
+    Still, the magic made available by this module differs from tieing and
+    overloading in several ways :
+
+    *   It isn't copied on assignment.
+
+        You attach it to variables, not values (as for blessed references).
+
+    *   It doesn't replace the original semantics.
+
+        Magic callbacks usually trigger before the original action take
+        place, and can't prevent it to happen. This also makes catching
+        individual events easier than with "tie", where you have to provide
+        fallbacks methods for all actions by usually inheriting from the
+        correct "Tie::Std*" class and overriding individual methods in your
+        own class.
 
 
-    Magic differs from tieing and overloading in several ways :
+    *   It's type-agnostic.
 
 
-    *   Magic isn't copied on assignation (as for blessed references) : you
-        attach it to variables, not values.
+        The same magic can be applied on scalars, arrays, hashes, subs or
+        globs. But the same hook (see below for a list) may trigger
+        differently depending on the the type of the variable.
 
 
-    *   It doesn't replace the original semantics : magic callbacks trigger
-        before the original action take place, and can't prevent it to
-        happen.
+    *   It's mostly invisible at the Perl level.
 
 
-    *   It's mostly invisible at the Perl level : magical and non-magical
-        variables cannot be distinguished with "ref", "reftype" or another
-        trick.
+        Magical and non-magical variables cannot be distinguished with
+        "ref", "tied" or another trick.
 
 
-    *   It's notably faster, since perl's way of handling magic is lighter
-        by nature, and there's no need for any method resolution.
+    *   It's notably faster.
+
+        Mainly because perl's way of handling magic is lighter by nature,
+        and because there's no need for any method resolution. Also, since
+        you don't have to reimplement all the variable semantics, you only
+        pay for what you actually use.
 
     The operations that can be overloaded are :
 
     *   "get"
 
 
     The operations that can be overloaded are :
 
     *   "get"
 
-        This magic is invoked when the variable is evaluated (does not
-        include array/hash subscripts and slices).
+        This magic is invoked when the variable is evaluated. It is never
+        called for arrays and hashes.
 
     *   "set"
 
 
     *   "set"
 
-        This one is triggered each time the value of the variable changes
-        (includes array/hash subscripts and slices).
+        This one is triggered each time the value of the variable changes.
+        It is called for array subscripts and slices, but never for hashes.
 
     *   "len"
 
         This magic is a little special : it is called when the 'size' or the
         'length' of the variable has to be known by Perl. Typically, it's
         the magic involved when an array is evaluated in scalar context, but
 
     *   "len"
 
         This magic is a little special : it is called when the 'size' or the
         'length' of the variable has to be known by Perl. Typically, it's
         the magic involved when an array is evaluated in scalar context, but
-        also on array assignation and loops ("for", "map" or "grep"). The
+        also on array assignment and loops ("for", "map" or "grep"). The
         callback has then to return the length as an integer.
 
     *   "clear"
         callback has then to return the length as an integer.
 
     *   "clear"
@@ -68,8 +108,7 @@ DESCRIPTION
     *   "free"
 
         This one can be considered as an object destructor. It happens when
     *   "free"
 
         This one can be considered as an object destructor. It happens when
-        the variable goes out of scope (with the exception of global scope),
-        but not when it is undefined.
+        the variable goes out of scope, but not when it is undefined.
 
     *   "copy"
 
 
     *   "copy"
 
@@ -113,109 +152,14 @@ DESCRIPTION
 
     To prevent any clash between different magics defined with this module,
     an unique numerical signature is attached to each kind of magic (i.e.
 
     To prevent any clash between different magics defined with this module,
     an unique numerical signature is attached to each kind of magic (i.e.
-    each set of callbacks for magic operations).
-
-PERL MAGIC HISTORY
-    The places where magic is invoked have changed a bit through perl
-    history. Here's a little list of the most recent ones.
-
-    *   5.6.x
-
-        *p14416* : 'copy' and 'dup' magic.
-
-    *   5.8.9
-
-        *p28160* : Integration of *p25854* (see below).
-
-        *p32542* : Integration of *p31473* (see below).
-
-    *   5.9.3
-
-        *p25854* : 'len' magic is no longer called when pushing an element
-        into a magic array.
-
-        *p26569* : 'local' magic.
-
-    *   5.9.5
-
-        *p31064* : Meaningful 'uvar' magic.
-
-        *p31473* : 'clear' magic wasn't invoked when undefining an array.
-        The bug is fixed as of this version.
-
-    *   5.10.0
-
-        Since "PERL_MAGIC_uvar" is uppercased, "hv_magic_check()" triggers
-        'copy' magic on hash stores for (non-tied) hashes that also have
-        'uvar' magic.
-
-    *   5.11.x
-
-        *p32969* : 'len' magic is no longer invoked when calling "length"
-        with a magical scalar.
-
-        *p34908* : 'len' magic is no longer called when pushing / unshifting
-        an element into a magical array in void context. The "push" part was
-        already covered by *p25854*.
-
-CONSTANTS
-  "SIG_MIN"
-    The minimum integer used as a signature for user-defined magic.
-
-  "SIG_MAX"
-    The maximum integer used as a signature for user-defined magic.
-
-  "SIG_NBR"
-        SIG_NBR = SIG_MAX - SIG_MIN + 1
-
-  "MGf_COPY"
-    Evaluates to true iff the 'copy' magic is available.
-
-  "MGf_DUP"
-    Evaluates to true iff the 'dup' magic is available.
-
-  "MGf_LOCAL"
-    Evaluates to true iff the 'local' magic is available.
-
-  "VMG_UVAR"
-    When this constant is true, you can use the "fetch,store,exists,delete"
-    callbacks on hashes.
-
-  "VMG_COMPAT_ARRAY_PUSH_NOLEN"
-    True for perls that don't call 'len' magic when you push an element in a
-    magical array.
-
-  "VMG_COMPAT_ARRAY_UNSHIFT_NOLEN_VOID"
-    True for perls that don't call 'len' magic when you unshift in void
-    context an element in a magical array.
-
-  "VMG_COMPAT_ARRAY_UNDEF_CLEAR"
-    True for perls that call 'clear' magic when undefining magical arrays.
-
-  "VMG_COMPAT_SCALAR_LENGTH_NOLEN"
-    True for perls that don't call 'len' magic when taking the "length" of a
-    magical scalar.
-
-  "VMG_PERL_PATCHLEVEL"
-    The perl patchlevel this module was built with, or 0 for non-debugging
-    perls.
-
-  "VMG_THREADSAFE"
-    True iff this module could have been built with thread-safety features
-    enabled.
-
-  "VMG_OP_INFO_NAME"
-    Value to pass with "op_info" to get the current op name in the magic
-    callbacks.
-
-  "VMG_OP_INFO_OBJECT"
-    Value to pass with "op_info" to get a "B::OP" object representing the
-    current op in the magic callbacks.
+    each set of callbacks for magic operations). At the C level, magic
+    tokens owned by magic created by this module have their "mg->mg_private"
+    field set to 0x3891 or 0x3892, so please don't use these magic (sic)
+    numbers in other extensions.
 
 FUNCTIONS
   "wizard"
 
 FUNCTIONS
   "wizard"
-        wizard sig      => ...,
-               data     => sub { ... },
+        wizard data     => sub { ... },
                get      => sub { my ($ref, $data [, $op]) = @_; ... },
                set      => sub { my ($ref, $data [, $op]) = @_; ... },
                len      => sub { my ($ref, $data, $len [, $op]) = @_; ... ; return $newlen; },
                get      => sub { my ($ref, $data [, $op]) = @_; ... },
                set      => sub { my ($ref, $data [, $op]) = @_; ... },
                len      => sub { my ($ref, $data, $len [, $op]) = @_; ... ; return $newlen; },
@@ -240,6 +184,8 @@ FUNCTIONS
         signature is generated. If the signature matches an already defined
         magic, then the existant magic object is returned.
 
         signature is generated. If the signature matches an already defined
         magic, then the existant magic object is returned.
 
+        This option is deprecated and will be removed in december 2009.
+
     *   "data"
 
         A code reference to a private data constructor. It is called each
     *   "data"
 
         A code reference to a private data constructor. It is called each
@@ -283,7 +229,7 @@ FUNCTIONS
 
                 $_[2] is an alias to the current key. Nothing prevents you
                 from changing it, but be aware that there lurk dangerous
 
                 $_[2] is an alias to the current key. Nothing prevents you
                 from changing it, but be aware that there lurk dangerous
-                side effects. For example, it may righteously be readonly if
+                side effects. For example, it may rightfully be readonly if
                 the key was a bareword. You can get a copy instead by
                 passing "copy_key => 1" to "wizard", which allows you to
                 safely assign to $_[2] in order to e.g. redirect the action
                 the key was a bareword. You can get a copy instead by
                 passing "copy_key => 1" to "wizard", which allows you to
                 safely assign to $_[2] in order to e.g. redirect the action
@@ -299,6 +245,10 @@ FUNCTIONS
                          set  => sub { print STDERR "set to ${$_[0]}\n" },
                          free => sub { print STDERR "${$_[0]} was deleted\n" }
 
                          set  => sub { print STDERR "set to ${$_[0]}\n" },
                          free => sub { print STDERR "${$_[0]} was deleted\n" }
 
+    Note that "free" callbacks are *never* called during global destruction,
+    as there's no way to ensure that the wizard and the "free" callback
+    weren't destroyed before the variable.
+
   "gensig"
     With this tool, you can manually generate random magic signature between
     SIG_MIN and SIG_MAX inclusive. That's the way "wizard" creates them when
   "gensig"
     With this tool, you can manually generate random magic signature between
     SIG_MIN and SIG_MAX inclusive. That's the way "wizard" creates them when
@@ -307,6 +257,8 @@ FUNCTIONS
         # Generate a signature
         my $sig = gensig;
 
         # Generate a signature
         my $sig = gensig;
 
+    This function is deprecated and will be removed in december 2009.
+
   "getsig"
         getsig $wiz
 
   "getsig"
         getsig $wiz
 
@@ -315,21 +267,21 @@ FUNCTIONS
         # Get $wiz signature
         my $sig = getsig $wiz;
 
         # Get $wiz signature
         my $sig = getsig $wiz;
 
+    This function is deprecated and will be removed in december 2009.
+
   "cast"
   "cast"
-        cast [$@%&*]var, [$wiz|$sig], ...
+        cast [$@%&*]var, $wiz, ...
 
     This function associates $wiz magic to the variable supplied, without
 
     This function associates $wiz magic to the variable supplied, without
-    overwriting any other kind of magic. You can also supply the numeric
-    signature $sig instead of $wiz. It returns true on success or when $wiz
-    magic is already present, 0 on error, and "undef" when no magic
-    corresponds to the given signature (in case $sig was supplied). All
-    extra arguments specified after $wiz are passed to the private data
-    constructor. If the variable isn't a hash, any "uvar" callback of the
+    overwriting any other kind of magic. It returns true on success or when
+    $wiz magic is already present, and croaks on error. All extra arguments
+    specified after $wiz are passed to the private data constructor in @_[1
+    .. @_-1]. If the variable isn't a hash, any "uvar" callback of the
     wizard is safely ignored.
 
     wizard is safely ignored.
 
-        # Casts $wiz onto $x. If $wiz isn't a signature, undef can't be returned.
+        # Casts $wiz onto $x, and pass '1' to the data constructor.
         my $x;
         my $x;
-        die 'error' unless cast $x, $wiz;
+        cast $x, $wiz, 1;
 
     The "var" argument can be an array or hash value. Magic for those
     behaves like for any other scalar, except that it is dispelled when the
 
     The "var" argument can be an array or hash value. Magic for those
     behaves like for any other scalar, except that it is dispelled when the
@@ -344,40 +296,231 @@ FUNCTIONS
     have no choice but to rely on "store" uvar magic.
 
   "getdata"
     have no choice but to rely on "store" uvar magic.
 
   "getdata"
-        getdata [$@%&*]var, [$wiz|$sig]
+        getdata [$@%&*]var, $wiz
 
 
-    This accessor fetches the private data associated with the magic $wiz
-    (or the signature $sig) in the variable. "undef" is returned when no
-    such magic or data is found, or when $sig does not represent a current
-    valid magic object.
+    This accessor fetches the private data associated with the magic $wiz in
+    the variable. It croaks when $wiz do not represent a valid magic object,
+    and returns an empty list if no such magic is attached to the variable
+    or when the wizard has no data constructor.
 
 
-        # Get the attached data.
-        my $data = getdata $x, $wiz or die 'no such magic or magic has no data';
+        # Get the attached data, or undef if the wizard does not attach any.
+        my $data = getdata $x, $wiz;
 
   "dispell"
 
   "dispell"
-        dispell [$@%&*]variable, [$wiz|$sig]
+        dispell [$@%&*]variable, $wiz
 
     The exact opposite of "cast" : it dissociates $wiz magic from the
 
     The exact opposite of "cast" : it dissociates $wiz magic from the
-    variable. You can also pass the magic signature $sig as the second
-    argument. True is returned on success, 0 on error or when no magic
-    represented by $wiz could be found in the variable, and "undef" when no
-    magic corresponds to the given signature (in case $sig was supplied).
+    variable. This function returns true on success, 0 when no magic
+    represented by $wiz could be found in the variable, and croaks if the
+    supplied wizard is invalid.
+
+        # Dispell now.
+        die 'no such magic in $x' unless dispell $x, $wiz;
+
+CONSTANTS
+  "SIG_MIN"
+    The minimum integer used as a signature for user-defined magic.
+
+    This constant is deprecated and will be removed in december 2009.
+
+  "SIG_MAX"
+    The maximum integer used as a signature for user-defined magic.
+
+    This constant is deprecated and will be removed in december 2009.
+
+  "SIG_NBR"
+        SIG_NBR = SIG_MAX - SIG_MIN + 1
+
+    This constant is deprecated and will be removed in december 2009.
+
+  "MGf_COPY"
+    Evaluates to true iff the 'copy' magic is available.
+
+  "MGf_DUP"
+    Evaluates to true iff the 'dup' magic is available.
+
+  "MGf_LOCAL"
+    Evaluates to true iff the 'local' magic is available.
+
+  "VMG_UVAR"
+    When this constant is true, you can use the "fetch,store,exists,delete"
+    callbacks on hashes.
+
+  "VMG_COMPAT_ARRAY_PUSH_NOLEN"
+    True for perls that don't call 'len' magic when you push an element in a
+    magical array. Starting from perl 5.11.0, this only refers to pushes in
+    non-void context and hence is false.
+
+  "VMG_COMPAT_ARRAY_PUSH_NOLEN_VOID"
+    True for perls that don't call 'len' magic when you push in void context
+    an element in a magical array.
+
+  "VMG_COMPAT_ARRAY_UNSHIFT_NOLEN_VOID"
+    True for perls that don't call 'len' magic when you unshift in void
+    context an element in a magical array.
+
+  "VMG_COMPAT_ARRAY_UNDEF_CLEAR"
+    True for perls that call 'clear' magic when undefining magical arrays.
+
+  "VMG_COMPAT_SCALAR_LENGTH_NOLEN"
+    True for perls that don't call 'len' magic when taking the "length" of a
+    magical scalar.
+
+  "VMG_PERL_PATCHLEVEL"
+    The perl patchlevel this module was built with, or 0 for non-debugging
+    perls.
+
+  "VMG_THREADSAFE"
+    True iff this module could have been built with thread-safety features
+    enabled.
+
+  "VMG_FORKSAFE"
+    True iff this module could have been built with fork-safety features
+    enabled. This will always be true except on Windows where it's false for
+    perl 5.10.0 and below .
+
+  "VMG_OP_INFO_NAME"
+    Value to pass with "op_info" to get the current op name in the magic
+    callbacks.
+
+  "VMG_OP_INFO_OBJECT"
+    Value to pass with "op_info" to get a "B::OP" object representing the
+    current op in the magic callbacks.
+
+COOKBOOK
+  Associate an object to any perl variable
+    This can be useful for passing user data through limited APIs.
+
+        {
+         package Magical::UserData;
+
+         use Variable::Magic qw/wizard cast getdata/;
+
+         my $wiz = wizard data => sub { \$_[1] };
+
+         sub ud (\[$@%*&]) : lvalue {
+          my ($var) = @_;
+          my $data = &getdata($var, $wiz);
+          unless (defined $data) {
+           &cast($var, $wiz);
+           $data = &getdata($var, $wiz);
+           die "Couldn't cast UserData magic onto the variable" unless defined $data;
+          }
+          $$data;
+         }
+        }
+
+        {
+         BEGIN { *ud = \&Magical::UserData::ud }
+
+         my $cb;
+         $cb = sub { print 'Hello, ', ud(&$cb), "!\n" };
+
+         ud(&$cb) = 'world';
+         $cb->(); # Hello, world!
+        }
+
+  Recursively cast magic on datastructures
+    "cast" can be called from any magical callback, and in particular from
+    "data". This allows you to recursively cast magic on datastructures :
+
+        my $wiz;
+        $wiz = wizard data => sub {
+         my ($var, $depth) = @_;
+         $depth ||= 0;
+         my $r = ref $var;
+         if ($r eq 'ARRAY') {
+          &cast((ref() ? $_ : \$_), $wiz, $depth + 1) for @$var;
+         } elsif ($r eq 'HASH') {
+          &cast((ref() ? $_ : \$_), $wiz, $depth + 1) for values %$var;
+         }
+         return $depth;
+        },
+        free => sub {
+         my ($var, $depth) = @_;
+         my $r = ref $var;
+         print "free $r at depth $depth\n";
+         ();
+        };
+
+        {
+         my %h = (
+          a => [ 1, 2 ],
+          b => { c => 3 }
+         );
+         cast %h, $wiz;
+        }
+
+    When %h goes out of scope, this will print something among the lines of
+    :
+
+        free HASH at depth 0
+        free HASH at depth 1
+        free SCALAR at depth 2
+        free ARRAY at depth 1
+        free SCALAR at depth 3
+        free SCALAR at depth 3
+
+    Of course, this example does nothing with the values that are added
+    after the "cast".
+
+PERL MAGIC HISTORY
+    The places where magic is invoked have changed a bit through perl
+    history. Here's a little list of the most recent ones.
+
+    *   5.6.x
+
+        *p14416* : 'copy' and 'dup' magic.
+
+    *   5.8.9
+
+        *p28160* : Integration of *p25854* (see below).
+
+        *p32542* : Integration of *p31473* (see below).
+
+    *   5.9.3
+
+        *p25854* : 'len' magic is no longer called when pushing an element
+        into a magic array.
+
+        *p26569* : 'local' magic.
+
+    *   5.9.5
+
+        *p31064* : Meaningful 'uvar' magic.
+
+        *p31473* : 'clear' magic wasn't invoked when undefining an array.
+        The bug is fixed as of this version.
+
+    *   5.10.0
+
+        Since "PERL_MAGIC_uvar" is uppercased, "hv_magic_check()" triggers
+        'copy' magic on hash stores for (non-tied) hashes that also have
+        'uvar' magic.
+
+    *   5.11.x
+
+        *p32969* : 'len' magic is no longer invoked when calling "length"
+        with a magical scalar.
+
+        *p34908* : 'len' magic is no longer called when pushing / unshifting
+        an element into a magical array in void context. The "push" part was
+        already covered by *p25854*.
 
 
-        # Dispell now. If $wiz isn't a signature, undef can't be returned.
-        die 'no such magic or error' unless dispell $x, $wiz;
+        *g9cdcb38b* : 'len' magic is called again when pushing into a
+        magical array in non-void context.
 
 EXPORT
     The functions "wizard", "gensig", "getsig", "cast", "getdata" and
     "dispell" are only exported on request. All of them are exported by the
     tags ':funcs' and ':all'.
 
 
 EXPORT
     The functions "wizard", "gensig", "getsig", "cast", "getdata" and
     "dispell" are only exported on request. All of them are exported by the
     tags ':funcs' and ':all'.
 
-    The constants "SIG_MIN", "SIG_MAX", "SIG_NBR", "MGf_COPY", "MGf_DUP",
-    "MGf_LOCAL" and "VMG_UVAR" are also only exported on request. They are
-    all exported by the tags ':consts' and ':all'.
+    All the constants are also only exported on request, either individually
+    or by the tags ':consts' and ':all'.
 
 CAVEATS
     If you store a magic object in the private data slot, the magic won't be
 
 CAVEATS
     If you store a magic object in the private data slot, the magic won't be
-    accessible by "getdata" since it's not copied by assignation. The only
+    accessible by "getdata" since it's not copied by assignment. The only
     way to address this would be to return a reference.
 
     If you define a wizard with a "free" callback and cast it on itself,
     way to address this would be to return a reference.
 
     If you define a wizard with a "free" callback and cast it on itself,