cached
Caching structures and simplified function memoization
cached provides implementations of several caching structures as well as macros
for defining memoized functions.
Memoized functions defined using #[cached]/#[once] macros are thread-safe with the backing
function-cache wrapped in a mutex/rwlock. #[concurrent_cached] functions are thread-safe via the
store's own internal synchronization: sharded stores use per-shard parking_lot::RwLock; Redis and
disk stores rely on their respective server/file-system concurrency.
By default, #[cached] uses sync_writes = "by_key": concurrent first calls for the same key are
deduplicated through bucketed per-key locks, so the function body runs at most once per key per miss
window. To allow concurrent misses to each compute independently (the pre-3.0 default, which mirrored
Python's functools.lru_cache), set sync_writes = false. To hold the whole-cache lock for the
duration of each miss, use sync_writes = true (or "default"). #[once] defaults to no
synchronization (add sync_writes = true to serialize concurrent first-calls); #[concurrent_cached]
does not support sync_writes. For #[cached], the number of per-key lock buckets for "by_key" is
tunable with sync_writes_buckets = N (default 64).
- See
cached::storesdocs cache stores available. - See
macrosdocs for more macro examples.
Upgrading from 2.x? See the migration guide for all breaking changes and a step-by-step walkthrough.
Upgrading from 1.x? 2.0 contains breaking changes (new
cache_remove_entryrequired method,Result/Optioncaching behavior flipped to smart-by-default,result/optionattributes removed, and more). See the 2.0 migration guide for a step-by-step walkthrough.Upgrading from a pre-1.0 release? 1.0 contains breaking changes (store renames, removed declarative macros, renamed macro/builder attributes, and a changed Redis key format). See the 1.0 migration guide for a step-by-step walkthrough, or the agent-oriented guide for automated migration tooling.
Method naming
Every synchronous cache operation has a short alias (get/set/remove/clear/len/...) and a
cache_-prefixed form (cache_get/cache_set/cache_remove/cache_clear/cache_size/...).
The short aliases are the preferred spelling. Use the cache_-prefixed names when a short alias
would collide with another in-scope trait's method of the same name (for example, your type also
implements a trait with its own get).
The get/set/remove short aliases for Cached stores live on CachedExt; those for
ConcurrentCached stores live on ConcurrentCachedExt. Both extension traits have blanket
implementations, so the short names are always available when the extension trait is in scope.
The simplest way to get them is use cached::prelude::*;, which re-exports both extension traits.
Alternatively, import them directly: use cached::{Cached, CachedExt};. Custom store
implementations only need to implement the cache_-prefixed required methods on the core trait;
the short aliases come for free via the blanket extension trait impl.
For Cached stores, len/is_empty are also on CachedExt. For ConcurrentCached stores,
len/is_empty are defined on ConcurrentCacheBase (the shared base trait), not on
ConcurrentCachedExt — bring ConcurrentCacheBase into scope to call them on a generic bound.
Both async traits use the async_cache_* spelling. ConcurrentCachedAsync has
async_cache_get, async_cache_set, async_cache_remove, ...; CachedAsync has
async_cache_get, async_cache_set, async_cache_remove, async_cache_clear, plus the
async_cache_get_or_set_with family (async_cache_get_or_set_with,
async_cache_try_get_or_set_with, and their _mut variants). Neither trait has a short alias;
the async_ prefix already prevents collisions with the sync methods.
Features
default: Includeproc_macro,ahash, andtime_storesfeaturesproc_macro: Include proc macrosahash: Enable the optionalahashhasher as default hashing algorithm.async_core: Include runtime-agnostic async traits used by async cache storesasync: Include support for async functions and async cache stores (runtime-agnostic; no tokio dependency; usesasync-lockandblocking)redis_store: Include Redis cache storeredis_smol: Include async Redis support usingsmol(no TLS); impliesredis_storeandasyncredis_smol_native_tls:redis_smol+ TLS vianative-tls(system TLS library)redis_smol_rustls:redis_smol+ TLS viarustls(pure-Rust TLS)redis_tokio: Include async Redis support usingtokio(no TLS); impliesredis_storeandasyncredis_tokio_native_tls:redis_tokio+ TLS vianative-tls(system TLS library)redis_tokio_rustls:redis_tokio+ TLS viarustls(pure-Rust TLS)redis_connection_manager: Enable the optionalconnection-managerfeature ofredis. Any async redis caches created will use a connection manager instead of aMultiplexedConnection. Impliesasync(Tokio runtime) andredis_store, but does not enable TLS. Addredis_tokio_native_tlsorredis_tokio_rustlsalongside if TLS is required.redis_async_cache: Enable Redis client-side caching over RESP3 for async Redis caches. Impliesredis_tokio,async, andredis_store, but does not enable TLS. Addredis_tokio_native_tlsorredis_tokio_rustlsalongside if TLS is required.redb_store: Include disk cache storetime_stores: Include time-based cache stores (TtlCache,LruTtlCache,TtlSortedCache,ShardedTtlCache, andShardedLruTtlCache). Also required when using#[cached(ttl_secs = ...)],#[cached(ttl = ...)],#[cached(ttl_millis = ...)],#[concurrent_cached(ttl_secs = ...)],#[concurrent_cached(ttl = ...)],#[concurrent_cached(ttl_millis = ...)],#[once(ttl_secs = ...)],#[once(ttl = ...)], or#[once(ttl_millis = ...)]on the default in-memory path. Disable this feature when targeting environments without system time support (e.g.wasm32-unknown-unknownwithout WASI or JS).
The procedural macros (#[cached], #[once], #[concurrent_cached]) offer a number of features, including async support.
See the macros module for more samples, and the
examples directory for runnable snippets.
Project automation targets are documented by make help, and make check/help verifies that the
help output stays in sync with supported Makefile targets.
Any custom cache that implements cached::Cached/cached::CachedAsync can be used with the #[cached]/#[once] macros in place of the built-ins.
Any custom cache that implements cached::ConcurrentCached/cached::ConcurrentCachedAsync can be used with the #[concurrent_cached] macro.
Macro quick reference
| Use case | Annotated signature |
|---|---|
#[cached] |
|
| Unbounded memoize (default; deduplicates concurrent misses per key) | #[cached] fn fib(n: u64) -> u64 |
| Unbounded memoize, allow concurrent misses per key (old default) | #[cached(sync_writes = false)] fn fib(n: u64) -> u64 |
| LRU-bounded — evict past N entries | #[cached(max_size = 1_000)] fn lookup(id: u32) -> Row |
| TTL — expire results after N whole seconds | #[cached(ttl_secs = 60)] fn config() -> Config |
TTL as a Duration expression (inlined verbatim, so Duration must be in scope; see note below) |
#[cached(ttl = "Duration::from_secs(60)")] fn config() -> Config |
| TTL in milliseconds (sub-second capable; Redis honors millisecond TTL via PSETEX/PEXPIRE) | #[cached(ttl_millis = 500)] fn poll(id: u64) -> Status |
| LRU + TTL | #[cached(max_size = 500, ttl_secs = 300)] fn search(q: String) -> Vec<Hit> |
Don't cache None returns (implicit for Option<T>) |
#[cached] fn find(id: u64) -> Option<User> |
Don't cache Err returns (implicit for Result<T, E>) |
#[cached] fn load(id: u64) -> Result<Data, E> |
Force-cache None returns |
#[cached(cache_none = true)] fn find(id: u64) -> Option<User> |
Force-cache Err returns |
#[cached(cache_err = true)] fn load(id: u64) -> Result<Data, E> |
Serve stale value when function returns Err |
#[cached(result_fallback = true, ttl_secs = 60)] fn fetch(id: u64) -> Result<Data, E> |
| Per-value / dynamic per-entry TTL (value carries its own expiry) | #[cached(expires = true)] fn token(scope: String) -> Token |
Deduplicate concurrent first calls for same key (explicit; same as bare #[cached]) |
#[cached(ttl_secs = 30, sync_writes = "by_key")] fn expensive(id: u64) -> Payload |
| Recompute when an expression over the args is true | #[cached(force_refresh = { id == 0 })] fn fetch(id: u64) -> Data |
| Force-refresh via a dedicated flag (exclude it from the key) | #[cached(key = "u64", convert = { id }, force_refresh = { refresh })] fn fetch(id: u64, refresh: bool) -> Data { let _ = refresh; … } — the generated guard reads refresh to decide whether to bypass the cache; the function body still receives refresh as a normal parameter, so if your body does not otherwise use it, add let _ = refresh; (or #[allow(unused_variables)]) to silence the unused-variable warning |
Cache a method inside an impl block (one cache shared across all instances) |
#[cached(in_impl = true)] fn load(&self, id: u64) -> Data |
Control visibility of generated _no_cache / _prime_cache companions |
#[cached(companions_vis = "pub(crate)")] pub fn compute(x: u64) -> u64 |
| Async | #[cached(max_size = 100)] async fn remote(id: u64) -> Data |
#[once] |
|
| Compute and cache a global value forever | #[once] fn app_config() -> Config |
| Refresh a global value periodically | #[once(ttl_secs = 300, sync_writes = true)] fn pubkey() -> Key |
| TTL in milliseconds (sub-second capable) | #[once(ttl_millis = 500)] fn pubkey() -> Key |
Optional global — skip caching if None (implicit) |
#[once] fn feature_flag() -> Option<Flag> |
| Recompute when an expression is true | #[once(force_refresh = { flag })] fn config(flag: bool) -> Config |
Cache a method inside an impl block (one value shared across all instances) |
#[once(in_impl = true)] fn config(&self) -> Config |
#[concurrent_cached] |
|
| Thread-safe sharded memoize (no global lock per call) | #[concurrent_cached] fn compute(x: u64) -> u64 |
| Sharded with LRU | #[concurrent_cached(max_size = 1_000)] fn lookup(id: u64) -> Row |
| Sharded with TTL | #[concurrent_cached(ttl_secs = 60)] fn fetch(url: String) -> Body |
| Sharded LRU + TTL with custom shard count | #[concurrent_cached(max_size = 1_000, ttl_secs = 60, shards = 32)] fn query(id: u64) -> Row |
| TTL in milliseconds (sub-second; Redis honors millisecond TTL via PSETEX/PEXPIRE) | #[concurrent_cached(ttl_millis = 500)] fn poll(id: u64) -> Status |
| Per-value expiry, thread-safe | #[concurrent_cached(expires = true)] fn session(id: u32) -> Token |
| Per-value expiry with LRU bound | #[concurrent_cached(expires = true, max_size = 1_000)] fn session(id: u32) -> Token |
Cache only successful results (implicit for Result<T, E>) |
#[concurrent_cached] fn load(id: u64) -> Result<Row, DbError> |
Don't cache None returns (implicit for Option<T>) |
#[concurrent_cached] fn find(id: u64) -> Option<Row> |
Serve stale value when function returns Err |
#[concurrent_cached(result_fallback = true, ttl_secs = 60)] fn fetch(id: u64) -> Result<Data, E> |
| Recompute when an expression over the args is true | #[concurrent_cached(force_refresh = { id == 0 })] fn fetch(id: u64) -> Data |
| Force-refresh via a dedicated flag (exclude it from the key) | #[concurrent_cached(key = "u64", convert = { id }, force_refresh = { refresh })] fn fetch(id: u64, refresh: bool) -> Data { let _ = refresh; … } — the generated guard reads refresh to decide whether to bypass the cache; the body still receives it as a normal parameter, so add let _ = refresh; (or #[allow(unused_variables)]) if your body does not otherwise use it |
Cache a method inside an impl block (one cache shared across all instances) |
#[concurrent_cached(in_impl = true)] fn load(&self, id: u64) -> Data |
Persist results to disk (with map_error; or omit when E: From<RedbCacheError>) |
#[concurrent_cached(disk = true, map_error = |e| MyErr(e))] fn crunch(n: u64) -> Result<Data, MyErr> |
Redis-backed async cache (quoted or unquoted create/map_error) |
#[concurrent_cached(ty = "AsyncRedisCache<u64, String>", create = { ... }, map_error = |e| MyErr(e))] async fn api(id: u64) -> Result<Resp, MyErr> |
On #[cached] and #[concurrent_cached], the LRU bound is set with max_size = N (mirroring the max_size builder/constructor methods on the stores). The size = N spelling — a deprecated alias in 2.x — has been removed; only max_size = N is accepted.
The ttl attribute accepts a Duration expression as a quoted string: ttl = "Duration::from_secs(60)". The expression is inlined verbatim, so Duration must be in scope at the call site (e.g. use cached::time::Duration;); the ttl_secs / ttl_millis forms need no import. For whole seconds, the shorter ttl_secs = N form is preferred. ttl_millis = N sets a TTL in milliseconds. The three attributes ttl, ttl_secs, and ttl_millis are mutually exclusive; using more than one is a compile error. All three are mutually exclusive with expires. Sub-second precision for ttl_millis is honored by the in-memory, disk (redb), and Redis stores; Redis applies the TTL with millisecond precision via PSETEX/PEXPIRE.
For the default in-memory sharded stores, #[concurrent_cached] accepts any return type — plain values, Option<T>, or Result<T, E>.
Plain values are always cached as-is. Option<T> returns skip caching None by default; use cache_none = true to also cache None values. Result<T, E> only caches Ok values; Err is returned without being stored. Use cache_err = true to also cache Err values.
The macro detects Result<T, E> by matching the exact identifier Result (including fully-qualified paths such as std::result::Result<T, E>). Type aliases are not resolved at macro-expansion time, so any alias — even one whose name ends with Result (e.g. type MyResult<T> = Result<T, E>) — is treated as a plain value and its Err variant is cached. Use Result<T, E> directly when you need Ok-only caching behavior.
The same applies to Option<T> detection: a type alias such as type MaybeRow<T> = Option<T> is treated as a plain value and its None variant is cached. Use Option<T> directly when you need None-skipping behavior.
On the default in-memory path, do not specify map_error -- the sharded stores are infallible and supplying it is a compile error.
For disk and redis stores, Result<T, E> is required. map_error is optional: when supplied it converts the store error into your E; when omitted the generated code uses .map_err(Into::into)?, so E must implement From<RedbCacheError> (disk) or From<RedisCacheError> (Redis). Both quoted-string and unquoted forms are accepted: map_error = |e| MyErr(e) and map_error = "|e| MyErr(e)" are equivalent.
Store comparison
| Store | Eviction policy | Size limit | TTL | Refresh on hit | on_evict |
Concurrent | Async |
|---|---|---|---|---|---|---|---|
UnboundCache |
None (unbounded) | No | No | N/A | On explicit remove | No | Yes |
LruCache |
LRU | Yes | No | N/A | Yes | No | Yes |
TtlCache |
TTL (insert time) | No | Global | Optional | Yes | No | Yes |
LruTtlCache |
LRU + TTL | Yes | Global | Optional | Yes | No | Yes |
TtlSortedCache |
TTL (expiry-ordered) | Optional | Global | No | Yes | No | Yes |
ExpiringLruCache |
LRU + value-defined | Yes | Per-value | N/A | Yes | No | Yes |
ExpiringCache |
Value-defined | No | Per-value | N/A | Yes | No | Yes |
ShardedUnboundCache |
None (unbounded) | No | No | N/A | On explicit remove | Yes (Arc) |
Yes |
ShardedLruCache |
LRU | Yes | No | N/A | Yes | Yes (Arc) |
Yes |
ShardedTtlCache |
TTL (insert time) | No | Global | Optional | Yes | Yes (Arc) |
Yes |
ShardedLruTtlCache |
LRU + TTL | Yes | Global | Optional | Yes (†) | Yes (Arc) |
Yes |
ShardedExpiringCache |
Value-defined | No | Per-value | N/A | Yes | Yes (Arc) |
Yes |
ShardedExpiringLruCache |
LRU + value-defined | Yes | Per-value | N/A | Yes | Yes (Arc) |
Yes |
"On explicit remove" —
on_evictfires only oncache_remove; there is no capacity eviction or TTL expiry trigger for these stores. †ShardedLruTtlCacheBuilder::on_evictrequiresK: 'static + V: 'static; see the builder docs for details.
TtlCache/LruTtlCache/TtlSortedCache/ShardedTtlCache/ShardedLruTtlCache require the time_stores feature.
ShardedUnboundCache and its variants are partitioned across power-of-two shards (default: available_parallelism() × 4, clamped to 8–1024; the 8–1024 clamp applies only to this computed default — an explicit shards = N is rounded up to a power of two but never clamped) each protected by a parking_lot::RwLock. Shard structs are padded to 128-byte alignment (covering Intel adjacent-line prefetch and Apple Silicon 128-byte L1 lines) to eliminate false sharing; on a 64-shard deployment this amounts to ~8 KB of padding overhead per cache array. The outer type is an Arc — cloning is a reference share, not a deep copy (use deep_clone() for an independent copy; note that deep_clone() is an inherent method on each concrete sharded type, not part of any trait). They implement ConcurrentCached/ConcurrentCachedAsync and are the default store selected by #[concurrent_cached].
For sharded LRU variants, eviction is enforced independently per shard. max_size = N is divided across shards with ceiling division. Use the builder's per_shard_max_size method for an exact per-shard cap (builder-only; #[concurrent_cached] does not expose a per_shard_max_size attribute — use shards to control parallelism and max_size for total capacity). Capacity Fragmentation Warning: To protect against premature evictions due to hash collisions in extremely small caches (where a shard capacity could drop to 1-2 entries), when sharding is active (shards > 1) we enforce a minimum capacity of 16 entries per shard (e.g., minimum total capacity of 128 on a single-core machine with 8 shards, or 256 on a 4-core machine with 16 shards). If you require smaller, strict limits under low capacities, configure shards = 1 or specify per_shard_max_size directly (builder-only; not available via #[concurrent_cached]).
Because LRU caches require updating access recency, ShardedLruCache, ShardedLruTtlCache, and ShardedExpiringLruCache must acquire an exclusive write lock on accessed shards during read hits, which can lead to contention under highly concurrent read-heavy workloads. Unbounded ShardedUnboundCache, time-only ShardedTtlCache (when refresh_on_hit is disabled -- enabling it promotes read hits to exclusive write locks), and expiring ShardedExpiringCache require only a shared read lock on read hits, avoiding this contention. To mitigate contention on LRU variants, consider increasing the number of shards to distribute writes. Note: this write-lock-on-read behavior is a known limitation of the strict-LRU sharded stores. A future read-optimized variant that relaxes strict recency ordering will ship as a separate store type; the existing stores will not change semantics.
*Basetypes: Each sharded store has a corresponding*Basegeneric (ShardedUnboundCacheBase<K, V, H>,ShardedLruCacheBase<K, V, H>, etc.) parameterized on a custom [ShardHasher]. The named aliases (ShardedUnboundCache,ShardedLruCache, …) use the default hasher and are what most users should reach for. Use the*Basetypes only when implementing a customShardHasherfor non-standard shard routing. Construct a custom-hasher cache through the alias builder and itshashermethod:ShardedLruCache::builder().hasher(my_hasher)switches the builder's hasher type andbuildyields a*Base<K, V, H>overmy_hasher.new/builderare defined only on the default-hasher alias, so a custom hasher is always introduced throughhasher, never a*Base::<_, _, H>turbofish (which would otherwise silently drop the hasher).
Behavioral guarantees
- Non-sharded in-memory stores (
UnboundCache,LruCache,TtlCache, etc.) are not internally synchronized. Macro-generated#[cached]/#[once]functions wrap them in locks; users managing these stores directly must add their own synchronization when sharing across threads.Sharded*stores are internally synchronized (per-shardparking_lot::RwLock) and implementConcurrentCached/ConcurrentCachedAsync— no external lock is needed. The synchronousget/set/removeshort aliases come from theConcurrentCachedExtextension trait (bring it into scope withuse cached::prelude::*;oruse cached::{ConcurrentCached, ConcurrentCachedExt};); thecache_get/cache_set/cache_removespellings come fromConcurrentCacheddirectly. For sharded stores, inherent methods with the same names take priority at the call site. The async trait operations areasync_-prefixed, so they never collide (e.g.,STORE.async_cache_get(&key).await.expect("ShardedUnboundCache is infallible")). CachedExt::get(and theCached::cache_getrequired method it wraps) requires mutable access because some stores update recency, expiration timestamps, or metrics during reads.len/sizevsitervsevictcontract for timed and expiring stores:len()(andcache_size(),is_empty()) return the raw stored entry count without scanning for expiry. On lazy-eviction stores (TtlCache,LruTtlCache,TtlSortedCache,ExpiringCache,ExpiringLruCache, and their sharded equivalents) this count may include entries that have expired but not yet been swept, solen()can be greater thaniter().count().iter()(from [CachedIter]) omits expired entries from the yielded view but does not remove them from the store - it stays&self. Callevict()(via [CacheEvict] for single-owner stores or [ConcurrentCacheEvict] for sharded stores) to physically remove expired entries, reclaim memory, and obtain an accurate live count.- Expired values can remain allocated until a mutating operation,
evict, or store-specific cleanup removes them. cache_removefires theon_evictcallback (if set) and counts as an eviction for every successful removal, across all stores that track evictions.ShardedUnboundCacheis the exception: it has no evictions counter and always returnsNonefrommetrics().evictions, though itson_evictcallback still fires. Theon_evictcolumn above marks the unbounded stores where explicit removal is the only eviction trigger. For stores with expiry, removing a present-but-already-expired entry still evicts and fireson_evict, butcache_removereturnsNone; usecache_deleteorcache_remove_entrywhen you need to know whether an entry was physically removed.cache_clear()is fast and side-effect-free: it does not fireon_evictand does not increment the evictions counter. Usecache_clear_with_on_evict()when you need the callback to fire for every removed entry (e.g., to release resources tracked viaon_evict). Note: neitherclear()norcache_clear_with_on_evict()is part ofConcurrentCachedor its async counterpart —clear()is exposed as an inherent method on each concrete sharded store type, andcache_clear_with_on_evict()is inherent-only as well; generic code parameterized overConcurrentCachedcannot call either.- Bounded caches enforce capacity on insertion. Time-bounded caches enforce freshness on lookup.
- Redis and disk stores serialize values and return owned values. Non-sharded in-memory stores
return references from direct store APIs; sharded stores return owned
Option<V>values (cloned under a shard lock). Macro-generated functions clone cached return values in all cases. - Macro-generated
#[cached]/#[once]cache statics useRwLockby default. Named cache statics for those macros should be inspected with.read()or.write()unlesssync_lock = "mutex"is set. Named#[concurrent_cached]statics hold a self-synchronizing store directly: sync functions useLazyLock<Store>, and async functions useOnceCell<Store>. CachedPeekprovides non-mutating lookups that do not update recency, refresh TTLs, or record metrics.CachedReadis narrower and is only implemented where shared-lock lookups can preserve normal read-side semantics without recency or refresh mutation.- Sharded stores implement
ConcurrentCached/ConcurrentCachedAsyncinstead ofCached/CachedAsync. Generic code parameterized overCached<K, V>cannot accept sharded stores; use aConcurrentCached<K, V>bound or a concrete type instead. Sharded stores also do not implementCachedIterorCachedPeek. Code that is generic overCachedIter<K, V>or uses.iter()/cache_peekmust use non-sharded stores instead. The four expiry-capable sharded stores ([ShardedTtlCache], [ShardedLruTtlCache], [ShardedExpiringCache], [ShardedExpiringLruCache]) implement [ConcurrentCloneCached], which providescache_get_with_expiry_statusfor reading stale entries without evicting them, andcache_peek_with_expiry_statusas a side-effect-free counterpart (the built-in sharded stores override the default, which delegates to the renewing read).
Per-Value Expiry via the Expires Trait
While standard timed stores (TtlCache, LruTtlCache, TtlSortedCache) enforce a single, global Time-To-Live (TTL) duration applied to all entries in the cache, [ExpiringLruCache] and [ExpiringCache] let each individual value determine its own expiration. This is accomplished by storing values that implement the [Expires] trait.
This approach is highly useful when caching payloads like OAuth tokens, HTTP responses with varying Cache-Control headers, or database records that contain their own absolute expiration timestamps.
It is also the idiomatic way to give entries a dynamic, per-entry TTL — a lifetime computed at call time rather than the single uniform duration that ttl = N applies to every entry. Because the value carries its own expiry, each entry can be given a different lifetime derived from a function argument, runtime configuration, or a response header. (expires = true is mutually exclusive with ttl.) See the expires_per_key example for a runnable demonstration.
When using the #[cached] or #[once] proc macros, add expires = true to opt into per-value expiry automatically. For #[cached], this selects ExpiringCache (unbounded) by default or ExpiringLruCache when max_size is also specified. For #[once], this stores a single value whose expiry is polled on each call.
The macro form below derives each entry's TTL from a function argument — key/convert keep the TTL out of the cache key so it influences only the entry's lifetime, not which slot it occupies (ignored as a doctest because it requires the default proc_macro feature; the same code runs in the expires_per_key example):
use cached;
use Expires;
use ;
// `ttl_secs` is a runtime argument — each user's token expires on its own schedule.
For concurrent (multi-thread, no external lock) use, the sharded equivalents [ShardedExpiringCache] and [ShardedExpiringLruCache] provide the same per-value expiry with internally-synchronized sharded storage. Use #[concurrent_cached(expires = true)] to select them automatically.
Memory note:
ExpiringCacheandShardedExpiringCacheare unbounded and only remove expired entries when the same key is accessed again.CachedIter::iter()(implemented on the non-shardedExpiringCache/ExpiringLruCacheonly, not on the sharded variants) filters expired entries from the iterator but does not remove them from the map. For high-cardinality workloads, callevict()periodically — on the single-ownerExpiringCachevia [CacheEvict] (use cached::CacheEvict;,&mut self), and on the shardedShardedExpiringCachevia [ConcurrentCacheEvict] (use cached::ConcurrentCacheEvict;,&self) or its inherentevict(&self)method; note thatevict()on sharded TTL and expiring stores requiresK: Clone. Alternatively, preferExpiringLruCache/ShardedExpiringLruCachewith amax_sizebound.
use ;
use ;
let now = now;
// ExpiringCache — unbounded, default for `#[cached(expires = true)]`
let mut cache = builder.build.unwrap;
cache.set;
cache.set;
// ExpiringLruCache — LRU-bounded, used with `#[cached(expires = true, max_size = N)]`
let mut lru = builder.max_size.build.unwrap;
lru.set;
The basic usage looks like:
use cached;
/// Defines a function named `fib` that uses a cache implicitly named `FIB`.
/// By default, the cache will be the function's name in all caps.
/// The following line is equivalent to #[cached(name = "FIB", unbound)]
#
use sleep;
use Duration;
use cached;
use LruCache;
/// Use an explicit cache-type with a custom creation block and custom cache-key generating block
#
use once;
/// Only cache the initial function call.
/// Function will be re-executed after the cache
/// expires (according to `ttl_secs`).
/// When no (or expired) cache, concurrent calls
/// will synchronize (`sync_writes`) so the function
/// is only executed once.
#
#
use cached::macros::cached;
/// Cannot use sync_writes and result_fallback together
#[cached(
ttl_secs = 1,
sync_writes = "default",
result_fallback = true
)]
fn doesnt_compile() -> Result<String, ()> {
Ok("a".to_string())
}
cache_get_or_set_with returns a shared reference (&V); binding it as &mut V
no longer compiles. Use cache_get_or_set_with_mut
when you need a mutable reference.
use cached::{Cached, UnboundCache};
let mut cache: UnboundCache<u32, u32> = UnboundCache::builder().build().unwrap();
let _: &mut u32 = cache.cache_get_or_set_with(1, || 2);
use concurrent_cached;
use AsyncRedisCache;
use Duration;
use Error;
/// Cache the results of an async function in redis. Redis keys are laid out as
/// `{namespace}:{prefix}:{key}`, where `namespace` defaults to `cached-redis-store:`
/// and `prefix` is required (here `cached_redis_prefix`). The prefix is what scopes
/// `cache_clear` to this logical cache, so give each cache a distinct prefix.
/// Redis and disk stores require `Result<T, E>`; supply a `map_error` closure
/// to convert store errors into your error type.
async
use concurrent_cached;
use RedbCache;
use Error;
/// Cache the results of a function on disk.
/// Cache files will be stored under the system cache dir
/// unless otherwise specified with `disk_dir` or the `create` argument.
/// Disk stores require `Result<T, E>`; supply a `map_error` closure
/// to convert store errors into your error type.
use concurrent_cached;
/// Memoize with the default in-memory sharded store — no `map_error`, `ty`,
/// or `create` needed. Add `max_size` for LRU eviction or `ttl` for time-based
/// expiry (requires the `time_stores` feature).
///
/// `#[concurrent_cached]` does **not** support `sync_writes`.
/// For `Option<T>` returns, `None` is skipped by default (use `cache_none = true` to cache it).
/// For `Result<T, E>` returns, only `Ok` values are cached by default (use `cache_err = true`
/// to also cache `Err`). `result_fallback = true` is supported (requires `ttl_secs`, `ttl_millis`, or `ttl = "<Duration expr>"`): on an `Err`
/// return, the last cached `Ok` value for the same key is returned instead. The stale value
/// is held in the primary cache slot and re-cached with a fresh TTL window on `Err`; no
/// secondary store is created.
/// LRU capacity of 1 000 entries spread across shards.
/// Only cache successful lookups — `Err` is returned but not stored.
Functions defined via macros will have their results cached using the
function's arguments as a key, or a convert expression specified on the macro.
When a macro-defined function is called, the function's cache is first checked for an already computed (and still valid) value before evaluating the function body.
Due to the requirements of storing arguments and return values in a global cache:
- Function return types:
- For in-memory stores (
#[cached]/#[once]), must be owned and implementClone - For in-memory
#[concurrent_cached](sharded stores — the default), must implementClone. Any return type is accepted: plainT,Option<T>, orResult<T, E>.Option<T>skips cachingNoneby default; usecache_none = trueto also cacheNone. When the return type isResult<T, E>, onlyOk(v)is stored —Errvalues are returned but not cached. Usecache_err = trueto also cacheErrvalues. - For I/O-backed stores used by
#[concurrent_cached](Redis and disk), must beResult<T, E>whereT: Clone + serde::Serialize + serde::DeserializeOwned(the store serializes it).map_errormust be supplied to convert the store's error intoE.
- For in-memory stores (
- Function arguments:
- For in-memory stores (
#[cached]/#[once]), must either be owned and implementHash + Eq + Clone, or aconvertexpression must be specified on the macro to produce a key of aHash + Eq + Clonetype. - For in-memory
#[concurrent_cached](sharded stores), must implementHash + Eq + Clone. The macro's default key construction always clones function arguments, soK: Cloneis required on every in-memory path. (When usingconvertto supply an already-owned key, only the store's own bounds apply:K: Hash + Eqfor unbounded/TTL-only variants,K: Hash + Eq + Clonefor LRU variants — except whenresult_fallback = trueis also set, which always requiresK: Cloneregardless of store variant because the generated code clones the key into the fallback store.) - For I/O-backed stores used by
#[concurrent_cached](Redis and disk), must either be owned and implementDisplay + Clone, or aconvertexpression must be used to produce a key of aDisplay + Clonetype.Cloneis needed so removal APIs can return the stored key. - Floats (
f32/f64), and any type containing them (e.g. a struct with float fields), do not implementHash/Eq, so they are the canonical case that requires aconvertexpression to produce a hashable key. For examplekey = "String", convert = r#"{ format!("{:.6}", x) }"#, or wrap the value with a crate such asordered-float.
- For in-memory stores (
- Arguments and return values will be
clonedin the process of insertion and retrieval. For Redis and disk stores, keys are additionally formatted intoStrings and values are de/serialized. - Macro-defined functions should not be used to produce side-effectual results!
- Macro-defined functions live at module scope by default (the macro expands to a static plus
one or more functions). To cache a method inside an
implblock, setin_impl = true, which emits the cache static inside the generated method body instead. A{fn}_no_cachesibling method is generated at the same visibility, calling the original body directly and bypassing the cache. The_prime_cachecompanion is not generated forin_implmethods (a function-local static cannot be shared between two sibling methods, so priming would silently do nothing; calling a non-existent prime function is a clear compile error instead). - Macro-defined methods may take a
selfreceiver only whenin_impl = true;selfis excluded from the default cache key. Otherwiseself-receiver methods are rejected with a compile error (aconvertblock alone does not make them valid: off thein_implpath the cache static is emitted atimplscope, where astaticis not a legal item). Footgun: becauseselfis excluded, two instances with different internal state but identical arguments share one cache entry, soa.load(5)andb.load(5)return the same cached value even whenaandbdiffer. The cache is process-global, not per-instance. If a method's result depends onself's fields, fold them into the key with aconvertexpression (e.g.convert = r#"{ format!("{}:{}", self.id, id) }"#), or keep the logic in a free function keyed on those fields. - Macro-defined functions can be generic over type parameters only when a
key+convertis supplied to produce a concrete key type. On the default-key path (noconvert),#[cached]/#[concurrent_cached]reject generic functions, since each monomorphization would need its own static cache: write a concrete monomorphic wrapper per type instead. (#[once]caches a single concrete value and is unaffected.)
License: MIT