1
0
mirror of https://github.com/actix/actix-website synced 2024-11-27 18:12:57 +01:00
actix-website/docs/extractors.md

98 lines
5.9 KiB
Markdown
Raw Normal View History

2018-05-22 23:15:08 +02:00
---
title: Extractors
---
import CodeBlock from "@site/src/components/code_block.js";
2018-05-22 23:15:08 +02:00
# Type-safe information extraction
2022-04-07 16:54:55 +02:00
Actix Web provides a facility for type-safe request information access called _extractors_ (i.e., `impl FromRequest`). There are lots of built-in extractor implementations (see [implementors](https://actix.rs/actix-web/actix_web/trait.FromRequest.html#implementors)).
2018-05-22 23:15:08 +02:00
2022-04-07 16:44:10 +02:00
An extractor can be accessed as an argument to a handler function. Actix Web supports up to 12 extractors per handler function. Argument position does not matter.
2018-05-25 21:51:16 +02:00
<CodeBlock example="extractors" file="main.rs" section="option-one" />
2018-05-25 21:51:16 +02:00
## Path
2018-05-22 23:15:08 +02:00
2022-04-07 16:54:55 +02:00
[_Path_][pathstruct] provides information that is extracted from the request's path. Parts of the path that are extractable are called "dynamic segments" and are marked with curly braces. You can deserialize any variable segment from the path.
2018-05-22 23:15:08 +02:00
2022-04-07 16:54:55 +02:00
For instance, for resource that registered for the `/users/{user_id}/{friend}` path, two segments could be deserialized, `user_id` and `friend`. These segments could be extracted as a tuple in the order they are declared (e.g., `Path<(u32, String)>`).
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="path_one.rs" section="path-one" />
2018-05-22 23:15:08 +02:00
2022-04-07 16:54:55 +02:00
It is also possible to extract path information to a type that implements the `Deserialize` trait from `serde` by matching dynamic segment names with field names. Here is an equivalent example that uses `serde` instead of a tuple type.
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="path_two.rs" section="path-two" />
2018-05-22 23:15:08 +02:00
As a non-type-safe alternative, it's also possible to query (see [`match_info` docs][docsrs_match_info]) the request for path parameters by name within a handler:
2019-06-20 10:20:12 +02:00
<CodeBlock example="extractors" file="path_three.rs" section="path-three" />
2019-06-20 10:20:12 +02:00
## Query
2018-05-22 23:15:08 +02:00
2022-04-07 17:22:17 +02:00
The [`Query<T>`][querystruct] type provides extraction functionality for the request's query parameters. Underneath it uses `serde_urlencoded` crate.
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="query.rs" section="query" />
2018-05-22 23:15:08 +02:00
## Json
2018-05-22 23:15:08 +02:00
2022-04-07 17:22:17 +02:00
[`Json<T>`][jsonstruct] allows deserialization of a request body into a struct. To extract typed information from a request's body, the type `T` must implement `serde::Deserialize`.
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="json_one.rs" section="json-one" />
2018-05-22 23:15:08 +02:00
2022-04-07 16:55:55 +02:00
Some extractors provide a way to configure the extraction process. To configure an extractor, pass its configuration object to the resource's `.app_data()` method. In the case of _Json_ extractor it returns a [_JsonConfig_][jsonconfig]. You can configure the maximum size of the JSON payload as well as a custom error handler function.
2018-05-22 23:15:08 +02:00
The following example limits the size of the payload to 4kb and uses a custom error handler.
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="json_two.rs" section="json-two" />
2018-05-22 23:15:08 +02:00
2022-04-07 17:22:17 +02:00
# URL-Encoded Forms
2018-05-22 23:15:08 +02:00
2022-04-07 17:22:17 +02:00
A URL-encoded form body can be extracted to a struct, much like `Json<T>`. This type must implement `serde::Deserialize`.
2018-05-22 23:15:08 +02:00
2022-02-26 05:41:49 +01:00
[_FormConfig_][formconfig] allows configuring the extraction process.
2018-05-22 23:15:08 +02:00
<CodeBlock example="extractors" file="form.rs" section="form" />
2018-05-22 23:15:08 +02:00
## Other
2018-05-22 23:15:08 +02:00
2022-04-07 16:44:10 +02:00
Actix Web also provides several other extractors:
2018-05-22 23:15:08 +02:00
2022-02-26 05:41:49 +01:00
- [_Data_][datastruct] - If you need access to an application state.
- _HttpRequest_ - _HttpRequest_ itself is an extractor which returns self, in case you need access to the request.
- _String_ - You can convert a request's payload to a _String_. [_Example_][stringexample] is available in doc strings.
- _actix_web::web::Bytes_ - You can convert a request's payload into _Bytes_. [_Example_][bytesexample] is available in doc strings.
2022-04-07 17:22:17 +02:00
- _Payload_ - Low-level payload extractor primarily for building other extractors. [_Example_][payloadexample]
2019-06-20 10:20:12 +02:00
2022-04-07 17:22:17 +02:00
# Application State Extractor
2019-06-20 10:20:12 +02:00
2022-02-26 05:41:49 +01:00
Application state is accessible from the handler with the `web::Data` extractor; however, state is accessible as a read-only reference. If you need mutable access to state, it must be implemented.
2019-06-20 10:20:12 +02:00
Here is an example of a handler that stores the number of processed requests:
<CodeBlock example="request-handlers" file="main.rs" section="data" />
2019-06-20 10:20:12 +02:00
2022-04-07 17:22:17 +02:00
Although this handler will work, `data.count` will only count the number of requests handled _by each worker thread_. To count the number of total requests across all threads, one should use shared `Arc` and [atomics][atomics].
2019-06-20 10:20:12 +02:00
<CodeBlock example="request-handlers" file="handlers_arc.rs" section="arc" />
2019-06-20 10:20:12 +02:00
2022-04-07 17:22:17 +02:00
**Note**: If you want the _entire_ state to be shared across all threads, use `web::Data` and `app_data` as described in [Shared Mutable State][shared_mutable_state].
Be careful when using blocking synchronization primitives like `Mutex` or `RwLock` within your app state. Actix Web handles requests asynchronously. It is a problem if the [_critical section_][critical_section] in your handler is too big or contains an `.await` point. If this is a concern, we would advise you to also read [Tokio's advice on using blocking `Mutex` in async code][tokio_std_mutex].
2022-03-06 00:55:35 +01:00
[pathstruct]: https://docs.rs/actix-web/4/actix_web/dev/struct.Path.html
[querystruct]: https://docs.rs/actix-web/4/actix_web/web/struct.Query.html
[jsonstruct]: https://docs.rs/actix-web/4/actix_web/web/struct.Json.html
[jsonconfig]: https://docs.rs/actix-web/4/actix_web/web/struct.JsonConfig.html
[formconfig]: https://docs.rs/actix-web/4/actix_web/web/struct.FormConfig.html
[datastruct]: https://docs.rs/actix-web/4/actix_web/web/struct.Data.html
2022-04-07 17:22:17 +02:00
[stringexample]: https://docs.rs/actix-web/4/actix_web/trait.FromRequest.html#impl-FromRequest-for-String
[bytesexample]: https://docs.rs/actix-web/4/actix_web/trait.FromRequest.html#impl-FromRequest-5
2022-03-06 00:55:35 +01:00
[payloadexample]: https://docs.rs/actix-web/4/actix_web/web/struct.Payload.html
2022-04-07 17:22:17 +02:00
[docsrs_match_info]: https://docs.rs/actix-web/latest/actix_web/struct.HttpRequest.html#method.match_info
[actix]: https://actix.github.io/actix/actix/
[atomics]: https://doc.rust-lang.org/std/sync/atomic/
[shared_mutable_state]: /docs/application#shared-mutable-state
2022-04-07 17:22:17 +02:00
[critical_section]: https://en.wikipedia.org/wiki/Critical_section
[tokio_std_mutex]: https://tokio.rs/tokio/tutorial/shared-state#on-using-stdsyncmutex