rust: use inline const expressions
They were stabilized in Rust 1.79.0. Reviewed-by: Zhao Liu <zhao1.liu@intel.com> Link: https://lore.kernel.org/r/20250908105005.2119297-6-pbonzini@redhat.com Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
This commit is contained in:
parent
71e84e5ae8
commit
aecca0676d
6 changed files with 8 additions and 36 deletions
|
|
@ -79,9 +79,6 @@ QEMU supports rustc version 1.83.0 and newer. The following features
|
|||
from relatively new versions of Rust are not used for historical reasons;
|
||||
patches are welcome:
|
||||
|
||||
* inline const expression (stable in 1.79.0), currently worked around with
|
||||
associated constants in the ``FnCall`` trait.
|
||||
|
||||
* associated constants are still explicitly marked ``'static`` (`changed in
|
||||
1.81.0`__)
|
||||
|
||||
|
|
@ -97,9 +94,9 @@ patches are welcome:
|
|||
before QEMU can use them. For now, there is special code in
|
||||
``util/error.c`` to support non-NUL-terminated file names.
|
||||
|
||||
* associated const equality would be nice to have for some users of
|
||||
``callbacks::FnCall``, but is still experimental. ``ASSERT_IS_SOME``
|
||||
replaces it.
|
||||
Associated const equality would be nice to have for some users of
|
||||
``callbacks::FnCall``, but is still experimental. Const assertions
|
||||
are used instead.
|
||||
|
||||
__ https://github.com/rust-lang/rust/pull/125258
|
||||
|
||||
|
|
|
|||
|
|
@ -113,31 +113,6 @@ use std::{mem, ptr::NonNull};
|
|||
/// This is always true for zero-capture closures and function pointers, as long
|
||||
/// as the code is able to name the function in the first place.
|
||||
pub unsafe trait FnCall<Args, R = ()>: 'static + Sync + Sized {
|
||||
/// Referring to this internal constant asserts that the `Self` type is
|
||||
/// zero-sized. Can be replaced by an inline const expression in
|
||||
/// Rust 1.79.0+.
|
||||
const ASSERT_ZERO_SIZED: () = { assert!(mem::size_of::<Self>() == 0) };
|
||||
|
||||
/// Referring to this constant asserts that the `Self` type is an actual
|
||||
/// function type, which can be used to catch incorrect use of `()`
|
||||
/// at compile time.
|
||||
///
|
||||
/// # Examples
|
||||
///
|
||||
/// ```compile_fail
|
||||
/// # use qemu_api::callbacks::FnCall;
|
||||
/// fn call_it<F: for<'a> FnCall<(&'a str,), String>>(_f: &F, s: &str) -> String {
|
||||
/// let _: () = F::ASSERT_IS_SOME;
|
||||
/// F::call((s,))
|
||||
/// }
|
||||
///
|
||||
/// let s: String = call_it((), "hello world"); // does not compile
|
||||
/// ```
|
||||
///
|
||||
/// Note that this can be more simply `const { assert!(F::IS_SOME) }` in
|
||||
/// Rust 1.79.0 or newer.
|
||||
const ASSERT_IS_SOME: () = { assert!(Self::IS_SOME) };
|
||||
|
||||
/// `true` if `Self` is an actual function type and not `()`.
|
||||
///
|
||||
/// # Examples
|
||||
|
|
@ -195,7 +170,7 @@ macro_rules! impl_call {
|
|||
|
||||
#[inline(always)]
|
||||
fn call(a: ($($args,)*)) -> R {
|
||||
let _: () = Self::ASSERT_ZERO_SIZED;
|
||||
const { assert!(mem::size_of::<Self>() == 0) };
|
||||
|
||||
// SAFETY: the safety of this method is the condition for implementing
|
||||
// `FnCall`. As to the `NonNull` idiom to create a zero-sized type,
|
||||
|
|
|
|||
|
|
@ -138,7 +138,7 @@ impl CharBackend {
|
|||
F::call((owner, event))
|
||||
}
|
||||
|
||||
let _: () = CanReceiveFn::ASSERT_IS_SOME;
|
||||
const { assert!(CanReceiveFn::IS_SOME) };
|
||||
let receive_cb: Option<unsafe extern "C" fn(*mut c_void, *const u8, c_int)> =
|
||||
if ReceiveFn::is_some() {
|
||||
Some(rust_receive_cb::<T, ReceiveFn>)
|
||||
|
|
|
|||
|
|
@ -373,7 +373,7 @@ where
|
|||
}
|
||||
}
|
||||
|
||||
let _: () = F::ASSERT_IS_SOME;
|
||||
const { assert!(F::IS_SOME) };
|
||||
unsafe extern "C" fn rust_irq_handler<T, F: for<'a> FnCall<(&'a T, u32, u32)>>(
|
||||
opaque: *mut c_void,
|
||||
line: c_int,
|
||||
|
|
|
|||
|
|
@ -56,7 +56,7 @@ impl Timer {
|
|||
) where
|
||||
F: for<'a> FnCall<(&'a T,)>,
|
||||
{
|
||||
let _: () = F::ASSERT_IS_SOME;
|
||||
const { assert!(F::IS_SOME) };
|
||||
|
||||
/// timer expiration callback
|
||||
unsafe extern "C" fn rust_timer_handler<T, F: for<'a> FnCall<(&'a T,)>>(
|
||||
|
|
|
|||
|
|
@ -457,7 +457,7 @@ macro_rules! vmstate_exist_fn {
|
|||
const fn test_cb_builder__<T, F: for<'a> $crate::callbacks::FnCall<(&'a T, u8), bool>>(
|
||||
_phantom: ::core::marker::PhantomData<F>,
|
||||
) -> $crate::vmstate::VMSFieldExistCb {
|
||||
let _: () = F::ASSERT_IS_SOME;
|
||||
const { assert!(F::IS_SOME) };
|
||||
$crate::vmstate::rust_vms_test_field_exists::<T, F>
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue