1//! # The Rust Core Library
2//!
3//! The Rust Core Library is the dependency-free[^free] foundation of [The
4//! Rust Standard Library](../std/index.html). It is the portable glue
5//! between the language and its libraries, defining the intrinsic and
6//! primitive building blocks of all Rust code. It links to no
7//! upstream libraries, no system libraries, and no libc.
8//!
9//! [^free]: Strictly speaking, there are some symbols which are needed but
10//! they aren't always necessary.
11//!
12//! The core library is *minimal*: it isn't even aware of heap allocation,
13//! nor does it provide concurrency or I/O. These things require
14//! platform integration, and this library is platform-agnostic.
15//!
16//! # How to use the core library
17//!
18//! Please note that all of these details are currently not considered stable.
19//!
20// FIXME: Fill me in with more detail when the interface settles
21//! This library is built on the assumption of a few existing symbols:
22//!
23//! * `memcpy`, `memmove`, `memset`, `memcmp`, `bcmp`, `strlen` - These are core memory routines
24//! which are generated by Rust codegen backends. Additionally, this library can make explicit
25//! calls to `strlen`. Their signatures are the same as found in C, but there are extra
26//! assumptions about their semantics: For `memcpy`, `memmove`, `memset`, `memcmp`, and `bcmp`, if
27//! the `n` parameter is 0, the function is assumed to not be UB, even if the pointers are NULL or
28//! dangling. (Note that making extra assumptions about these functions is common among compilers:
29//! [clang](https://reviews.llvm.org/D86993) and [GCC](https://gcc.gnu.org/onlinedocs/gcc/Standards.html#C-Language) do the same.)
30//! These functions are often provided by the system libc, but can also be provided by the
31//! [compiler-builtins crate](https://crates.io/crates/compiler_builtins).
32//! Note that the library does not guarantee that it will always make these assumptions, so Rust
33//! user code directly calling the C functions should follow the C specification! The advice for
34//! Rust user code is to call the functions provided by this library instead (such as
35//! `ptr::copy`).
36//!
37//! * Panic handler - This function takes one argument, a `&panic::PanicInfo`. It is up to consumers of this core
38//! library to define this panic function; it is only required to never
39//! return. You should mark your implementation using `#[panic_handler]`.
40//!
41//! * `rust_eh_personality` - is used by the failure mechanisms of the
42//! compiler. This is often mapped to GCC's personality function, but crates
43//! which do not trigger a panic can be assured that this function is never
44//! called. The `lang` attribute is called `eh_personality`.
4546#![stable(feature = "core", since = "1.6.0")]
47#![doc(
48 html_playground_url = "https://play.rust-lang.org/",
49 issue_tracker_base_url = "https://github.com/rust-lang/rust/issues/",
50 test(no_crate_inject, attr(deny(warnings))),
51 test(attr(allow(dead_code, deprecated, unused_variables, unused_mut, duplicate_features)))
52)]
53#![doc(rust_logo)]
54#![doc(auto_cfg(hide(
55 no_fp_fmt_parse,
56 target_pointer_width = "16",
57 target_pointer_width = "32",
58 target_pointer_width = "64",
59 target_has_atomic = "8",
60 target_has_atomic = "16",
61 target_has_atomic = "32",
62 target_has_atomic = "64",
63 target_has_atomic = "ptr",
64 target_has_atomic_primitive_alignment = "8",
65 target_has_atomic_primitive_alignment = "16",
66 target_has_atomic_primitive_alignment = "32",
67 target_has_atomic_primitive_alignment = "64",
68 target_has_atomic_primitive_alignment = "ptr",
69 target_has_atomic_load_store = "8",
70 target_has_atomic_load_store = "16",
71 target_has_atomic_load_store = "32",
72 target_has_atomic_load_store = "64",
73 target_has_atomic_load_store = "ptr",
74)))]
75#![no_core]
76#![rustc_coherence_is_core]
77#![rustc_preserve_ub_checks]
78//
79// Lints:
80#![deny(rust_2021_incompatible_or_patterns)]
81#![deny(unsafe_op_in_unsafe_fn)]
82#![deny(fuzzy_provenance_casts)]
83#![deny(lossy_provenance_casts)]
84#![warn(deprecated_in_future)]
85#![warn(missing_debug_implementations)]
86#![warn(missing_docs)]
87#![allow(explicit_outlives_requirements)]
88#![allow(incomplete_features)]
89#![warn(multiple_supertrait_upcastable)]
90#![allow(internal_features)]
91#![allow(unused_features)]
92#![deny(ffi_unwind_calls)]
93#![warn(unreachable_pub)]
94// Do not check link redundancy on bootstrapping phase
95#![allow(rustdoc::redundant_explicit_links)]
96#![warn(rustdoc::unescaped_backticks)]
97//
98// Library features:
99// tidy-alphabetical-start
100#![feature(asm_experimental_arch)]
101#![feature(bstr_internals)]
102#![feature(cfg_target_has_reliable_f16_f128)]
103#![feature(const_carrying_mul_add)]
104#![feature(const_cmp)]
105#![feature(const_destruct)]
106#![feature(const_eval_select)]
107#![feature(const_select_unpredictable)]
108#![feature(core_intrinsics)]
109#![feature(coverage_attribute)]
110#![feature(disjoint_bitor)]
111#![feature(offset_of_enum)]
112#![feature(panic_internals)]
113#![feature(pattern_type_macro)]
114#![feature(ub_checks)]
115// tidy-alphabetical-end
116//
117// Language features:
118// tidy-alphabetical-start
119#![feature(abi_unadjusted)]
120#![feature(adt_const_params)]
121#![feature(allow_internal_unsafe)]
122#![feature(allow_internal_unstable)]
123#![feature(auto_traits)]
124#![feature(cfg_sanitize)]
125#![feature(cfg_target_has_atomic)]
126#![feature(cfg_ub_checks)]
127#![feature(const_closures)]
128#![feature(const_precise_live_drops)]
129#![feature(const_trait_impl)]
130#![feature(decl_macro)]
131#![feature(deprecated_suggestion)]
132#![feature(derive_const)]
133#![feature(diagnostic_on_const)]
134#![feature(diagnostic_on_unmatch_args)]
135#![feature(doc_cfg)]
136#![feature(doc_notable_trait)]
137#![feature(extern_types)]
138#![feature(f16)]
139#![feature(f128)]
140#![feature(field_projections)]
141#![feature(freeze_impls)]
142#![feature(fundamental)]
143#![feature(funnel_shifts)]
144#![feature(impl_restriction)]
145#![feature(intra_doc_pointers)]
146#![feature(intrinsics)]
147#![feature(lang_items)]
148#![feature(link_cfg)]
149#![feature(link_llvm_intrinsics)]
150#![feature(macro_metavar_expr)]
151#![feature(macro_metavar_expr_concat)]
152#![feature(marker_trait_attr)]
153#![feature(min_specialization)]
154#![feature(multiple_supertrait_upcastable)]
155#![feature(must_not_suspend)]
156#![feature(negative_impls)]
157#![feature(never_type)]
158#![feature(no_core)]
159#![feature(optimize_attribute)]
160#![feature(pattern_types)]
161#![feature(pin_macro_internals)]
162#![feature(prelude_import)]
163#![feature(repr_simd)]
164#![feature(rustc_attrs)]
165#![feature(rustdoc_internals)]
166#![feature(simd_ffi)]
167#![feature(staged_api)]
168#![feature(stmt_expr_attributes)]
169#![feature(strict_provenance_lints)]
170#![feature(trait_alias)]
171#![feature(transparent_unions)]
172#![feature(try_blocks)]
173#![feature(uint_carryless_mul)]
174#![feature(unboxed_closures)]
175#![feature(unsized_fn_params)]
176#![feature(with_negative_coherence)]
177// tidy-alphabetical-end
178//
179// Target features:
180// tidy-alphabetical-start
181#![feature(aarch64_unstable_target_feature)]
182#![feature(arm_target_feature)]
183#![feature(avx10_target_feature)]
184#![feature(clflushopt_target_feature)]
185#![feature(hexagon_target_feature)]
186#![feature(loongarch_target_feature)]
187#![feature(mips_target_feature)]
188#![feature(movrs_target_feature)]
189#![feature(nvptx_target_feature)]
190#![feature(powerpc_target_feature)]
191#![feature(riscv_target_feature)]
192#![feature(rtm_target_feature)]
193#![feature(s390x_target_feature)]
194#![feature(wasm_target_feature)]
195#![feature(x86_amx_intrinsics)]
196// tidy-alphabetical-end
197198// allow using `core::` in intra-doc links
199#[allow(unused_extern_crates)]
200extern crate self as core;
201202/* The core prelude, not as all-encompassing as the std prelude */
203// The compiler expects the prelude definition to be defined before it's use statement.
204pub mod prelude;
205206#[prelude_import]
207#[allow(unused)]
208use prelude::rust_2024::*;
209210#[macro_use]
211mod macros;
212213#[stable(feature = "assert_matches", since = "1.96.0")]
214pub use crate::macros::{assert_matches, debug_assert_matches};
215216#[unstable(feature = "derive_from", issue = "144889")]
217/// Unstable module containing the unstable `From` derive macro.
218pub mod from {
219#[unstable(feature = "derive_from", issue = "144889")]
220pub use crate::macros::builtin::From;
221}
222223// We don't export this through #[macro_export] for now, to avoid breakage.
224#[unstable(feature = "autodiff", issue = "124509")]
225#[doc = "This module provides support for automatic differentiation. For precise information on\ndifferences between the `autodiff_forward` and `autodiff_reverse` macros and how to\nuse them, see their respective documentation.\n\n## General usage\n\nAutodiff macros can be applied to almost all function definitions, see below for examples.\nThey can be applied to functions accepting structs, arrays, slices, vectors, tuples, and more.\n\nIt is possible to apply multiple autodiff macros to the same function. As an example, this can\nbe helpful to compute the partial derivatives with respect to `x` and `y` independently:\n```rust,ignore (optional component)\n#[autodiff_forward(dsquare1, Dual, Const, Dual)]\n#[autodiff_forward(dsquare2, Const, Dual, Dual)]\n#[autodiff_forward(dsquare3, Active, Active, Active)]\nfn square(x: f64, y: f64) -> f64 {\n x * x + 2.0 * y\n}\n```\n\nWe also support autodiff on functions with generic parameters:\n```rust,ignore (optional component)\n#[autodiff_forward(generic_derivative, Duplicated, Active)]\nfn generic_f<T: std::ops::Mul<Output = T> + Copy>(x: &T) -> T {\n x * x\n}\n```\n\nor applying autodiff to nested functions:\n```rust,ignore (optional component)\nfn outer(x: f64) -> f64 {\n #[autodiff_forward(inner_derivative, Dual, Const)]\n fn inner(y: f64) -> f64 {\n y * y\n }\n inner_derivative(x, 1.0)\n}\n\nfn main() {\n assert_eq!(outer(3.14), 6.28);\n}\n```\nThe generated function will be available in the same scope as the function differentiated, and\nhave the same private/pub usability.\n\n## Traits and impls\nAutodiff macros can be used in multiple ways in combination with traits:\n```rust,ignore (optional component)\nstruct Foo {\n a: f64,\n}\n\ntrait MyTrait {\n #[autodiff_reverse(df, Const, Active, Active)]\n fn f(&self, x: f64) -> f64;\n}\n\nimpl MyTrait for Foo {\n fn f(&self, x: f64) -> f64 {\n x.sin()\n }\n}\n\nfn main() {\n let foo = Foo { a: 3.0f64 };\n assert_eq!(foo.f(2.0), 2.0_f64.sin());\n assert_eq!(foo.df(2.0, 1.0).1, 2.0_f64.cos());\n}\n```\nIn this case `df` will be the default implementation provided by the library who provided the\ntrait. A user implementing `MyTrait` could then decide to use the default implementation of\n`df`, or overwrite it with a custom implementation as a form of \"custom derivatives\".\n\nOn the other hand, a function generated by either autodiff macro can also be used to implement a\ntrait:\n```rust,ignore (optional component)\nstruct Foo {\n a: f64,\n}\n\ntrait MyTrait {\n fn f(&self, x: f64) -> f64;\n fn df(&self, x: f64, seed: f64) -> (f64, f64);\n}\n\nimpl MyTrait for Foo {\n #[autodiff_reverse(df, Const, Active, Active)]\n fn f(&self, x: f64) -> f64 {\n self.a * 0.25 * (x * x - 1.0 - 2.0 * x.ln())\n }\n}\n```\n\nSimple `impl` blocks without traits are also supported. Differentiating with respect to the\nimplemented struct will then require the use of a \"shadow struct\" to hold the derivatives of the\nstruct fields:\n\n```rust,ignore (optional component)\nstruct OptProblem {\n a: f64,\n b: f64,\n}\n\nimpl OptProblem {\n #[autodiff_reverse(d_objective, Duplicated, Duplicated, Duplicated)]\n fn objective(&self, x: &[f64], out: &mut f64) {\n *out = self.a + x[0].sqrt() * self.b\n }\n}\nfn main() {\n let p = OptProblem { a: 1., b: 2. };\n let mut p_shadow = OptProblem { a: 0., b: 0. };\n let mut dx = [0.0];\n let mut out = 0.0;\n let mut dout = 1.0;\n\n p.d_objective(&mut p_shadow, &x, &mut dx, &mut out, &mut dout);\n}\n```\n\n## Higher-order derivatives\nFinally, it is possible to generate higher-order derivatives (e.g. Hessian) by applying an\nautodiff macro to a function that is already generated by an autodiff macro, via a thin wrapper.\nThe following example uses Forward mode over Reverse mode\n\n```rust,ignore (optional component)\n#[autodiff_reverse(df, Duplicated, Duplicated)]\nfn f(x: &[f64;2], y: &mut f64) {\n *y = x[0] * x[0] + x[1] * x[0]\n}\n\n#[autodiff_forward(h, Dual, Dual, Dual, Dual)]\nfn wrapper(x: &[f64;2], dx: &mut [f64;2], y: &mut f64, dy: &mut f64) {\n df(x, dx, y, dy);\n}\n\nfn main() {\n let mut y = 0.0;\n let x = [2.0, 2.0];\n\n let mut dy = 0.0;\n let mut dx = [1.0, 0.0];\n\n let mut bx = [0.0, 0.0];\n let mut by = 1.0;\n let mut dbx = [0.0, 0.0];\n let mut dby = 0.0;\n h(&x, &mut dx, &mut bx, &mut dbx, &mut y, &mut dy, &mut by, &mut dby);\n assert_eq!(&dbx, [2.0, 1.0]);\n}\n```\n\n## Current limitations:\n\n- Differentiating a function which accepts a `dyn Trait` is currently not supported.\n- Builds without `lto=\"fat\"` are not yet supported.\n- Builds in debug mode are currently more likely to fail compilation.\n"include_str!("../../core/src/autodiff.md")]
226pub mod autodiff {
227#[unstable(feature = "autodiff", issue = "124509")]
228pub use crate::macros::builtin::{autodiff_forward, autodiff_reverse};
229}
230231#[unstable(feature = "gpu_offload", issue = "131513")]
232#[doc = "This module provides support for gpu offloading. For technical details regarding the `offload_kernel`\nand how to use it, see their respective documentation.\n\n## General usage\nThe `offload_kernel` macro can be applied to a function to generate the necessary code to launch a\nkernel on the target device.\n\n```rust,ignore (optional component)\n#[offload_kernel]\nfn kernel(x: *mut [f64; 256]) {\n // SAFETY:\n // calling our `arch` functions and dereferencing a raw pointer is unsafe\n unsafe {\n let n = (*x).len();\n let i = (thread_idx_x() + block_idx_x() * block_dim_x()) as usize;\n if i < n {\n (*x)[i] = i as f64;\n }\n }\n}\n```\n\nTo launch an offloaded kernel, the only current way is to use the `core::intrinsic::offload`\nintrinsic (note that intrinsics usage is discouraged outside the standard library). This\nallows you to specify grid and block dimensions and pass the required arguments to the device.\n\n```rust,ignore (optional component)\nlet mut x = [0.0f64; 256];\ncore::intrinsics::offload::<_, _, ()>(kernel, [256, 1, 1], [1, 1, 1], (&mut x as *mut [f64; 256],));\n```\n\nFor precise information on the `offload` intrinsic, see its respective documentation.\n\n## Current limitations:\n\n- Usage is restricted to types supported by the current device-mapping implementation.\n- Generics and functions accepting dyn Trait are not supported.\n- Kernel execution is currently restricted to intrinsics usage, which is discouraged outside of the\nstandard library.\n"include_str!("../../core/src/offload.md")]
233pub mod offload;
234235#[unstable(feature = "contracts", issue = "128044")]
236pub mod contracts;
237238#[unstable(feature = "derive_macro_global_path", issue = "154645")]
239pub use crate::macros::builtin::derive;
240#[stable(feature = "cfg_select", since = "1.95.0")]
241pub use crate::macros::cfg_select;
242243#[macro_use]
244mod internal_macros;
245246#[path = "num/shells/legacy_int_modules.rs"]
247mod legacy_int_modules;
248#[stable(feature = "rust1", since = "1.0.0")]
249#[allow(clippy::useless_attribute)] // FIXME false positive (https://github.com/rust-lang/rust-clippy/issues/15636)
250#[allow(deprecated_in_future)]
251pub use legacy_int_modules::{i8, i16, i32, i64, isize, u8, u16, u32, u64, usize};
252#[stable(feature = "i128", since = "1.26.0")]
253#[allow(clippy::useless_attribute)] // FIXME false positive (https://github.com/rust-lang/rust-clippy/issues/15636)
254#[allow(deprecated_in_future)]
255pub use legacy_int_modules::{i128, u128};
256257#[path = "num/f128.rs"]
258pub mod f128;
259#[path = "num/f16.rs"]
260pub mod f16;
261#[path = "num/f32.rs"]
262pub mod f32;
263#[path = "num/f64.rs"]
264pub mod f64;
265266#[macro_use]
267pub mod num;
268269/* Core modules for ownership management */
270271pub mod hint;
272pub mod intrinsics;
273pub mod mem;
274#[unstable(feature = "profiling_marker_api", issue = "148197")]
275pub mod profiling;
276pub mod ptr;
277#[unstable(feature = "ub_checks", issue = "none")]
278pub mod ub_checks;
279280/* Core language traits */
281282pub mod borrow;
283pub mod clone;
284pub mod cmp;
285pub mod convert;
286pub mod default;
287pub mod error;
288#[unstable(feature = "field_projections", issue = "145383")]
289pub mod field;
290pub mod index;
291pub mod marker;
292pub mod ops;
293294/* Core types and methods on primitives */
295296pub mod any;
297pub mod array;
298pub mod ascii;
299pub mod asserting;
300#[unstable(feature = "async_iterator", issue = "79024")]
301pub mod async_iter;
302#[unstable(feature = "bstr", issue = "134915")]
303pub mod bstr;
304pub mod cell;
305pub mod char;
306pub mod ffi;
307#[unstable(feature = "core_io", issue = "154046")]
308pub mod io;
309pub mod iter;
310pub mod net;
311pub mod option;
312pub mod os;
313pub mod panic;
314pub mod panicking;
315#[unstable(feature = "pattern_type_macro", issue = "123646")]
316pub mod pat;
317pub mod pin;
318#[unstable(feature = "abort_immediate", issue = "154601")]
319pub mod process;
320#[unstable(feature = "random", issue = "130703")]
321pub mod random;
322#[stable(feature = "new_range_inclusive_api", since = "1.95.0")]
323pub mod range;
324pub mod result;
325pub mod sync;
326#[unstable(feature = "unsafe_binders", issue = "130516")]
327pub mod unsafe_binder;
328329pub mod fmt;
330pub mod hash;
331pub mod slice;
332pub mod str;
333pub mod time;
334335pub mod wtf8;
336337pub mod unicode;
338339/* Async */
340pub mod future;
341pub mod task;
342343/* Heap memory allocator trait */
344#[allow(missing_docs)]
345pub mod alloc;
346347// note: does not need to be public
348mod bool;
349mod escape;
350mod tuple;
351mod unit;
352353#[stable(feature = "core_primitive", since = "1.43.0")]
354pub mod primitive;
355356// Pull in the `core_arch` crate directly into core. The contents of
357// `core_arch` are in a different repository: rust-lang/stdarch.
358//
359// `core_arch` depends on core, but the contents of this module are
360// set up in such a way that directly pulling it here works such that the
361// crate uses the this crate as its core.
362#[path = "../../stdarch/crates/core_arch/src/mod.rs"]
363#[allow(
364 missing_docs,
365 missing_debug_implementations,
366 dead_code,
367 unused_imports,
368 unsafe_op_in_unsafe_fn,
369 ambiguous_glob_reexports,
370 deprecated_in_future,
371 unreachable_pub
372)]
373#[allow(rustdoc::bare_urls)]
374mod core_arch;
375376#[stable(feature = "simd_arch", since = "1.27.0")]
377pub mod arch;
378379// Pull in the `core_simd` crate directly into core. The contents of
380// `core_simd` are in a different repository: rust-lang/portable-simd.
381//
382// `core_simd` depends on core, but the contents of this module are
383// set up in such a way that directly pulling it here works such that the
384// crate uses this crate as its core.
385#[path = "../../portable-simd/crates/core_simd/src/mod.rs"]
386#[allow(missing_debug_implementations, dead_code, unsafe_op_in_unsafe_fn)]
387#[allow(rustdoc::bare_urls)]
388#[unstable(feature = "portable_simd", issue = "86656")]
389mod core_simd;
390391#[unstable(feature = "portable_simd", issue = "86656")]
392pub mod simd {
393#![doc = "Portable SIMD module.\n\nThis module offers a portable abstraction for SIMD operations\nthat is not bound to any particular hardware architecture.\n\n# What is \"portable\"?\n\nThis module provides a SIMD implementation that is fast and predictable on any target.\n\n### Portable SIMD works on every target\n\nUnlike target-specific SIMD in `std::arch`, portable SIMD compiles for every target.\nIn this regard, it is just like \"regular\" Rust.\n\n### Portable SIMD is consistent between targets\n\nA program using portable SIMD can expect identical behavior on any target.\nIn most regards, [`Simd<T, N>`] can be thought of as a parallelized `[T; N]` and operates like a sequence of `T`.\n\nThis has one notable exception: a handful of older architectures (e.g. `armv7` and `powerpc`) flush [subnormal](`f32::is_subnormal`) `f32` values to zero.\nOn these architectures, subnormal `f32` input values are replaced with zeros, and any operation producing subnormal `f32` values produces zeros instead.\nThis doesn\'t affect most architectures or programs.\n\n### Operations use the best instructions available\n\nOperations provided by this module compile to the best available SIMD instructions.\n\nPortable SIMD is not a low-level vendor library, and operations in portable SIMD _do not_ necessarily map to a single instruction.\nInstead, they map to a reasonable implementation of the operation for the target.\n\nConsistency between targets is not compromised to use faster or fewer instructions.\nIn some cases, `std::arch` will provide a faster function that has slightly different behavior than the `std::simd` equivalent.\nFor example, `_mm_min_ps`[^1] can be slightly faster than [`SimdFloat::simd_min`](`num::SimdFloat::simd_min`), but does not conform to the IEEE standard also used by [`f32::min`].\nWhen necessary, [`Simd<T, N>`] can be converted to the types provided by `std::arch` to make use of target-specific functions.\n\nMany targets simply don\'t have SIMD, or don\'t support SIMD for a particular element type.\nIn those cases, regular scalar operations are generated instead.\n\n[^1]: `_mm_min_ps(x, y)` is equivalent to `x.simd_lt(y).select(x, y)`\n"include_str!("../../portable-simd/crates/core_simd/src/core_simd_docs.md")]
394395 #[unstable(feature = "portable_simd", issue = "86656")]
396pub use crate::core_simd::simd::*;
397}
398399include!("primitive_docs.rs");