Skip to content

Kimundi/capture.rs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

capture.rs

Travis-CI Status

A macro for adding explicit capture clauses to a (closure-) expression.

Using this macro, it becomes possible to be explicit about what variables a closure captures, and by which capture mode it does so.

Syntax

capture!($([move IDENT,]
           [ref IDENT,]
           [IDENT IDENT,])*
         in EXPR)

Semantic

The macro will expand to nested block expressions with a let binding per capture clause:

  • The move x clause rebinds a name by itself, which is effectively a no-op.
  • The ref x clause rebinds a name by a shared reference to it.
  • The ref mut x clause rebinds a name by a mutable reference to it.
  • The IDENT x clause rebinds a name to the result of calling .IDENT() method on it. This can for example be used to capture by clone, which would look like this: clone x.

These bindings will be in scope for the final EXPR expression, which will usually be a by-value capturing closure.

Current limitations and future changes

  • The macro syntax makes it somewhat verbose. A future version of this package might make use of expression-attributes instead to become more lightweight.
  • The macro might become more specialized to always produce a by-value capturing closure, rather than allowing arbitrary expressions.

Example

Using the macro:

#![feature(phase)]
#![feature(unboxed_closures)]

#[phase(plugin)]
extern crate capture;

fn main() {
    let (x, y, z) = (1u32, 2u32, 3u32);
    let g = capture!(move x, ref y, clone z in move |:| x + *y + z);

    assert_eq!(g(), 6);
}

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages