Skip to main content

core/
lib.rs

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`.
45
46#![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_equal_alignment = "8",
65    target_has_atomic_equal_alignment = "16",
66    target_has_atomic_equal_alignment = "32",
67    target_has_atomic_equal_alignment = "64",
68    target_has_atomic_equal_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#![warn(deprecated_in_future)]
84#![warn(missing_debug_implementations)]
85#![warn(missing_docs)]
86#![allow(explicit_outlives_requirements)]
87#![allow(incomplete_features)]
88#![warn(multiple_supertrait_upcastable)]
89#![allow(internal_features)]
90#![allow(unused_features)]
91#![deny(ffi_unwind_calls)]
92#![warn(unreachable_pub)]
93// Do not check link redundancy on bootstrapping phase
94#![allow(rustdoc::redundant_explicit_links)]
95#![warn(rustdoc::unescaped_backticks)]
96//
97// Library features:
98// tidy-alphabetical-start
99#![feature(asm_experimental_arch)]
100#![feature(bstr_internals)]
101#![feature(cfg_target_has_reliable_f16_f128)]
102#![feature(const_carrying_mul_add)]
103#![feature(const_cmp)]
104#![feature(const_destruct)]
105#![feature(const_eval_select)]
106#![feature(const_select_unpredictable)]
107#![feature(core_intrinsics)]
108#![feature(coverage_attribute)]
109#![feature(disjoint_bitor)]
110#![feature(offset_of_enum)]
111#![feature(panic_internals)]
112#![feature(pattern_type_macro)]
113#![feature(sealed)]
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_target_has_atomic_equal_alignment)]
127#![feature(cfg_ub_checks)]
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(doc_cfg)]
135#![feature(doc_notable_trait)]
136#![feature(extern_types)]
137#![feature(f16)]
138#![feature(f128)]
139#![feature(field_projections)]
140#![feature(freeze_impls)]
141#![feature(fundamental)]
142#![feature(funnel_shifts)]
143#![feature(intra_doc_pointers)]
144#![feature(intrinsics)]
145#![feature(lang_items)]
146#![feature(link_cfg)]
147#![feature(link_llvm_intrinsics)]
148#![feature(macro_metavar_expr)]
149#![feature(macro_metavar_expr_concat)]
150#![feature(marker_trait_attr)]
151#![feature(min_specialization)]
152#![feature(multiple_supertrait_upcastable)]
153#![feature(must_not_suspend)]
154#![feature(negative_impls)]
155#![feature(never_type)]
156#![feature(no_core)]
157#![feature(optimize_attribute)]
158#![feature(pattern_types)]
159#![feature(prelude_import)]
160#![feature(repr_simd)]
161#![feature(rustc_attrs)]
162#![feature(rustdoc_internals)]
163#![feature(simd_ffi)]
164#![feature(staged_api)]
165#![feature(stmt_expr_attributes)]
166#![feature(strict_provenance_lints)]
167#![feature(target_feature_inline_always)]
168#![feature(trait_alias)]
169#![feature(transparent_unions)]
170#![feature(try_blocks)]
171#![feature(uint_carryless_mul)]
172#![feature(unboxed_closures)]
173#![feature(unsized_fn_params)]
174#![feature(with_negative_coherence)]
175// tidy-alphabetical-end
176//
177// Target features:
178// tidy-alphabetical-start
179#![feature(aarch64_unstable_target_feature)]
180#![feature(arm_target_feature)]
181#![feature(avx10_target_feature)]
182#![feature(hexagon_target_feature)]
183#![feature(loongarch_target_feature)]
184#![feature(mips_target_feature)]
185#![feature(movrs_target_feature)]
186#![feature(nvptx_target_feature)]
187#![feature(powerpc_target_feature)]
188#![feature(riscv_target_feature)]
189#![feature(rtm_target_feature)]
190#![feature(s390x_target_feature)]
191#![feature(wasm_target_feature)]
192#![feature(x86_amx_intrinsics)]
193// tidy-alphabetical-end
194
195// allow using `core::` in intra-doc links
196#[allow(unused_extern_crates)]
197extern crate self as core;
198
199/* The core prelude, not as all-encompassing as the std prelude */
200// The compiler expects the prelude definition to be defined before it's use statement.
201pub mod prelude;
202
203#[prelude_import]
204#[allow(unused)]
205use prelude::rust_2024::*;
206
207#[macro_use]
208mod macros;
209
210#[stable(feature = "assert_matches", since = "1.95.0")]
211pub use crate::macros::{assert_matches, debug_assert_matches};
212
213#[unstable(feature = "derive_from", issue = "144889")]
214/// Unstable module containing the unstable `From` derive macro.
215pub mod from {
216    #[unstable(feature = "derive_from", issue = "144889")]
217    pub use crate::macros::builtin::From;
218}
219
220mod sealed {
221    /// This trait being unreachable from outside the crate
222    /// prevents outside implementations of our extension traits.
223    /// This allows adding more trait methods in the future.
224    #[unstable(feature = "sealed", issue = "none")]
225    pub trait Sealed {}
226}
227
228// We don't export this through #[macro_export] for now, to avoid breakage.
229#[unstable(feature = "autodiff", issue = "124509")]
230#[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")]
231pub mod autodiff {
232    #[unstable(feature = "autodiff", issue = "124509")]
233    pub use crate::macros::builtin::{autodiff_forward, autodiff_reverse};
234}
235
236#[unstable(feature = "contracts", issue = "128044")]
237pub mod contracts;
238
239#[unstable(feature = "derive_macro_global_path", issue = "154645")]
240pub use crate::macros::builtin::derive;
241#[stable(feature = "cfg_select", since = "1.95.0")]
242pub use crate::macros::cfg_select;
243
244#[macro_use]
245mod internal_macros;
246
247#[path = "num/shells/legacy_int_modules.rs"]
248mod legacy_int_modules;
249#[stable(feature = "rust1", since = "1.0.0")]
250#[allow(clippy::useless_attribute)] // FIXME false positive (https://github.com/rust-lang/rust-clippy/issues/15636)
251#[allow(deprecated_in_future)]
252pub use legacy_int_modules::{i8, i16, i32, i64, isize, u8, u16, u32, u64, usize};
253#[stable(feature = "i128", since = "1.26.0")]
254#[allow(clippy::useless_attribute)] // FIXME false positive (https://github.com/rust-lang/rust-clippy/issues/15636)
255#[allow(deprecated_in_future)]
256pub use legacy_int_modules::{i128, u128};
257
258#[path = "num/f128.rs"]
259pub mod f128;
260#[path = "num/f16.rs"]
261pub mod f16;
262#[path = "num/f32.rs"]
263pub mod f32;
264#[path = "num/f64.rs"]
265pub mod f64;
266
267#[macro_use]
268pub mod num;
269
270/* Core modules for ownership management */
271
272pub mod hint;
273pub mod intrinsics;
274pub mod mem;
275#[unstable(feature = "profiling_marker_api", issue = "148197")]
276pub mod profiling;
277pub mod ptr;
278#[unstable(feature = "ub_checks", issue = "none")]
279pub mod ub_checks;
280
281/* Core language traits */
282
283pub mod borrow;
284pub mod clone;
285pub mod cmp;
286pub mod convert;
287pub mod default;
288pub mod error;
289#[unstable(feature = "field_projections", issue = "145383")]
290pub mod field;
291pub mod index;
292pub mod marker;
293pub mod ops;
294
295/* Core types and methods on primitives */
296
297pub mod any;
298pub mod array;
299pub mod ascii;
300pub mod asserting;
301#[unstable(feature = "async_iterator", issue = "79024")]
302pub mod async_iter;
303#[unstable(feature = "bstr", issue = "134915")]
304pub mod bstr;
305pub mod cell;
306pub mod char;
307pub mod ffi;
308#[unstable(feature = "core_io_borrowed_buf", issue = "117693")]
309pub mod io;
310pub mod iter;
311pub mod net;
312pub mod option;
313pub mod os;
314pub mod panic;
315pub mod panicking;
316#[unstable(feature = "pattern_type_macro", issue = "123646")]
317pub mod pat;
318pub mod pin;
319#[unstable(feature = "random", issue = "130703")]
320pub mod random;
321#[stable(feature = "new_range_inclusive_api", since = "1.95.0")]
322pub mod range;
323pub mod result;
324pub mod sync;
325#[unstable(feature = "unsafe_binders", issue = "130516")]
326pub mod unsafe_binder;
327
328pub mod fmt;
329pub mod hash;
330pub mod slice;
331pub mod str;
332pub mod time;
333
334pub mod wtf8;
335
336pub mod unicode;
337
338/* Async */
339pub mod future;
340pub mod task;
341
342/* Heap memory allocator trait */
343#[allow(missing_docs)]
344pub mod alloc;
345
346// note: does not need to be public
347mod bool;
348mod escape;
349mod tuple;
350mod unit;
351
352#[stable(feature = "core_primitive", since = "1.43.0")]
353pub mod primitive;
354
355// Pull in the `core_arch` crate directly into core. The contents of
356// `core_arch` are in a different repository: rust-lang/stdarch.
357//
358// `core_arch` depends on core, but the contents of this module are
359// set up in such a way that directly pulling it here works such that the
360// crate uses the this crate as its core.
361#[path = "../../stdarch/crates/core_arch/src/mod.rs"]
362#[allow(
363    missing_docs,
364    missing_debug_implementations,
365    dead_code,
366    unused_imports,
367    unsafe_op_in_unsafe_fn,
368    ambiguous_glob_reexports,
369    deprecated_in_future,
370    unreachable_pub
371)]
372#[allow(rustdoc::bare_urls)]
373mod core_arch;
374
375#[stable(feature = "simd_arch", since = "1.27.0")]
376pub mod arch;
377
378// Pull in the `core_simd` crate directly into core. The contents of
379// `core_simd` are in a different repository: rust-lang/portable-simd.
380//
381// `core_simd` depends on core, but the contents of this module are
382// set up in such a way that directly pulling it here works such that the
383// crate uses this crate as its core.
384#[path = "../../portable-simd/crates/core_simd/src/mod.rs"]
385#[allow(missing_debug_implementations, dead_code, unsafe_op_in_unsafe_fn)]
386#[allow(rustdoc::bare_urls)]
387#[unstable(feature = "portable_simd", issue = "86656")]
388mod core_simd;
389
390#[unstable(feature = "portable_simd", issue = "86656")]
391pub mod simd {
392    #![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")]
393
394    #[unstable(feature = "portable_simd", issue = "86656")]
395    pub use crate::core_simd::simd::*;
396}
397
398include!("primitive_docs.rs");