Include many files in your Rust code for self-contained binaries.
Self-contained binaries are easy to ship, as they come with any required file data such as game assets, web templates, etc.
The standard library's std::include_str!
includes the contents of a given
file. Iftree generalizes this in two ways:
.gitignore
-like format. Patterns are flexible: you can include multiple
folders, skip hidden files, filter by filename extension, select a fixed file
list, etc.Conceptually:
text
std: include_str!("my_file")
Iftree: any_macro!("my_files/**")
Refer to related work to see Iftree in the context of other, similar projects.
Here is a minimal example that shows the basic functionality.
```rust // Say you have the following files: // // myassets/ // ├── filea // ├── fileb // └── folder/ // └── filec
// To include these files in your code, the macro iftree::include_file_tree
is
// attached to a custom type like this:
pub struct MyAsset {
contents_str: &'static str,
}
// Above we configure a path pattern to filter the files in my_assets/
and its
// subfolders. For each selected file, an instance of MyAsset
is initialized.
// The standard field contents_str
is automatically populated with a call to
// include_str!
, but you can plug in your own initializer.
fn main() {
// Based on this, Iftree generates an array ASSETS
with the desired file
// data. You can use it like so:
asserteq!(ASSETS.len(), 3);
asserteq!(ASSETS[0].contentsstr, "… contents filea\n");
asserteq!(ASSETS[1].contentsstr, "… contents fileb\n");
asserteq!(ASSETS[2].contentsstr, "… filec\n");
// Also, variables `base::x::y::MY_FILE` are generated (named by file path):
assert_eq!(base::my_assets::FILE_A.contents_str, "… contents file_a\n");
assert_eq!(base::my_assets::FILE_B.contents_str, "… contents file_b\n");
assert_eq!(base::my_assets::folder::FILE_C.contents_str, "… file_c\n");
} ```
Now that you have a general idea of the library, learn how to integrate it with your project.
Add the dependency iftree = "1.0"
to your manifest (Cargo.toml
).
Define your asset type (MyAsset
in the introduction).
This is a struct
with the fields you need per file. Alternatively, it can
be a type alias, which may be convenient if you have exactly one field.
Next, filter files to be included by annotating your asset type with
#[iftree::include_file_tree("paths = '/my/assets/**'")]
.
The macro argument is a TOML string literal. Its paths
option here supports .gitignore
-like path patterns, with one pattern per
line. These paths are relative to the folder with your manifest by default.
See the paths
configuration for more.
When building your project, code is generated that uses an initializer to instantiate the asset type once per file.
By default, a field contents_str
(if any) is populated with include_str!
,
a field contents_bytes
is populated with include_bytes!
, and a couple of
other standard fields are recognized. However, you can
plug in your own macro to fully customize the initialization by
configuring an initializer. For even more control
over code generation, there is the concept of visitors.
Now you can access your included file data via ASSETS
array or via
base::my::assets::MY_FILE
variables.
If you like to explore by example, there is an
examples
folder.
The documentation links to individual examples where helpful.
You could get started with the introductory example. For a more complex case, see the showcase example.
Note that some examples need extra dependencies from the dev-dependencies
of
the manifest.
When you use a subset of the following fields only, an initializer for your asset type is generated without further configuration. You can still override these field names with a custom initializer.
contents_bytes:
&'static [u8]
File contents as a byte array, using
std::include_bytes
.
contents_str:
&'static str
File contents interpreted as a UTF-8 string, using
std::include_str
.
get_bytes:
fn() -> std::borrow::Cow<'static, [u8]>
In debug builds (that is, when
debug_assertions
is enabled), this function reads the file afresh on each call at runtime. It
panics if there is any error such as if the file does not exist. This helps
with faster development, as it avoids rebuilding if asset file contents are
changed only (note that you still need to rebuild if assets are added,
renamed, or removed).
In release builds, it returns the file contents included at compile time,
using
std::include_bytes
.
get_str:
fn() -> std::borrow::Cow<'static, str>
Same as get_bytes
but for the file contents interpreted as a UTF-8 string,
using
std::include_str
.
relative_path:
&'static str
File path relative to the base folder, which is the folder with your manifest
(Cargo.toml
) by default. Path components are separated by a slash /
,
independent of your platform.
See example.
When generating identifiers based on paths, names are sanitized. For example, a
filename 404_not_found.md
is sanitized to an identifier _404_NOT_FOUND_MD
.
The sanitization process is designed to generate valid
Unicode identifiers.
Essentially, it replaces invalid identifier characters by underscores "_"
.
More precisely, these transformations are applied in order:
XID_Continue
are replaced by "_"
. The set
of XID_Continue
characters in ASCII is [0-9A-Z_a-z]
.XID_Start
and is not "_"
, then
"_"
is prepended. The set of XID_Start
characters in ASCII is [A-Za-z]
."_"
, "crate"
, "self"
, "Self"
, or "super"
, then "_"
is appended.Note that non-ASCII identifiers are only supported from Rust 1.53.0. For earlier versions, the sanitization here may generate invalid identifiers if you use non-ASCII paths, in which case you need to manually rename any affected files.
To prevent issues when developing on different platforms, your file paths should follow these recommendations:
/
(even on Windows).\
(even on Unix-like systems).To inspect the generated code, there is a debug
configuration.
Here are example solutions for given problems.
type X = …
)struct
with named fields)struct
with unnamed fields)struct
without field list)include_flate
lazy_static
once_cell
mime_guess
Originally, I've worked on Iftree because I couldn't find a library for this use case: including files from a folder filtered by filename extension. The project has since developed into something more flexible.
Here is how I think Iftree compares to related projects for the given criteria.
| Project | File selection | Included file data | Data access via |
| ---------------------------------------------------------------------------------- | --------------------------------------------------- | ---------------------- | --------------------------------------------------------------------------------------------------- |
| include_dir
0.6 | Single folder | Path, contents | File path, nested iterators, glob patterns |
| includedir
0.6 | Multiple files, multiple folders | Path, contents | File path, iterator |
| Rust Embed 5.9 | Single folder | Path, contents | File path, iterator |
| std::include_bytes
| Single file | Contents | File path |
| std::include_str
| Single file | Contents | File path |
| Iftree | Multiple files by inclusion-exclusion path patterns | Path, contents, custom | File path (via base::x::y::MY_FILE
variables in constant time), iterator (ASSETS
array), custom |
Generally, while Iftree has defaults to address common use cases, it can be customized to support more specific use cases, too (see recipes for examples).
The iftree::include_file_tree
macro is configured via a
TOML string with the following fields.
base_folder
Path patterns are interpreted as relative to this folder.
If this path itself is relative, then it is joined to the folder given by the
environment variable CARGO_MANIFEST_DIR
. That is, a relative path x/y/z
has
a full path [CARGO_MANIFEST_DIR]/[base_folder]/x/y/z
.
Default: ""
See example.
debug
Whether to generate a string variable DEBUG
with debug information such as the
generated code.
Default: false
See example.
paths
A string with a path pattern per line to filter files.
It works like a .gitignore
file with inverted meaning:
!
), the file is excluded.The pattern language is as documented in the
.gitignore
reference, with this
difference: you must use x/y/*
instead of x/y/
to include files in a folder
x/y/
; to also include subfolders (recursively), use x/y/**
.
Exclude hidden files with !.*
as a pattern. Another common pattern is of the
form *.xyz
to include files with filename extension xyz
only.
By default, path patterns are relative to the environment variable
CARGO_MANIFEST_DIR
, which is the folder with your manifest (Cargo.toml
). See
the base_folder
configuration to customize this.
This is a required option without default.
See example.
root_folder_variable
The name of the environment variable to use as the root folder for the
base_folder
configuration.
The value of the environment variable should be an absolute path.
Default: "CARGO_MANIFEST_DIR"
template.identifiers
Whether to generate an identifier per file.
Given a file x/y/my_file
, a static
variable base::x::y::MY_FILE
is
generated, nested in modules for folders. Their root module is base
, which
represents the base folder.
Each variable is a reference to the corresponding element in the ASSETS
array.
Generated identifiers are subject to name sanitization.
Because of this, there may be collisions in the generated code, causing an error
about a name being defined multiple times. The code generation does not try to
resolve such collisions automatically, as this would likely cause confusion
about which identifier refers to which file. Instead, you need to manually
rename any affected paths (assuming you need the generated identifiers at all –
otherwise, you can just disable this with template.identifiers = false
).
Default: true
See example.
template.initializer
A macro name used to instantiate the asset type per file.
As inputs, the macro is passed the following arguments, separated by comma:
/
.As an output, the macro must return a constant expression.
Default: A default initializer is constructed by recognizing standard fields.
See example.
template
visitorsThis is the most flexible customization of the code generation process.
Essentially, a visitor transforms the tree of selected files into code. It does so by calling custom macros at these levels:
visit_base
macro is called to wrap everything (top
level).visit_folder
macro is called, wrapping the code generated
from its files and subfolders (recursively).visit_file
macro is called (bottom level).These macros are passed the following inputs, separated by comma:
visit_base
:
usize
literal.visit_folder
:
visit_file
:
usize
literal./
.The visit_folder
macro is optional. If missing, the outputs of the
visit_file
calls are directly passed as an input to the visit_base
call.
This is useful to generate flat structures such as arrays. Similarly, the
visit_base
macro is optional.
You can configure multiple visitors. They are applied in order.
To plug in visitors, add this to your configuration for each visitor:
```toml [[template]] visitbase = 'visitmybase' visitfolder = 'visitmyfolder' visitfile = 'visitmy_file'
```
visit_my_…
are the names of your corresponding macros.
See examples: