Auto merge of #93442 - yaahc:Termination-abstraction, r=Mark-Simulacrum
Change Termination::report return type to ExitCode Related to https://github.com/rust-lang/rust/issues/43301 The goal of this change is to minimize the forward compatibility risks in stabilizing Termination. By using the opaque type `ExitCode` instead of an `i32` we leave room for us to evolve the API over time to provide what cross-platform consistency we can / minimize footguns when working with exit codes, where as stabilizing on `i32` would limit what changes we could make in the future in how we represent and construct exit codes.
This commit is contained in:
commit
2681f253bc
3 changed files with 26 additions and 10 deletions
|
@ -1676,6 +1676,21 @@ impl ExitCode {
|
|||
pub const FAILURE: ExitCode = ExitCode(imp::ExitCode::FAILURE);
|
||||
}
|
||||
|
||||
impl ExitCode {
|
||||
// This should not be stabilized when stabilizing ExitCode, we don't know that i32 will serve
|
||||
// all usecases, for example windows seems to use u32, unix uses the 8-15th bits of an i32, we
|
||||
// likely want to isolate users anything that could restrict the platform specific
|
||||
// representation of an ExitCode
|
||||
//
|
||||
// More info: https://internals.rust-lang.org/t/mini-pre-rfc-redesigning-process-exitstatus/5426
|
||||
/// Convert an ExitCode into an i32
|
||||
#[unstable(feature = "process_exitcode_placeholder", issue = "48711")]
|
||||
#[inline]
|
||||
pub fn to_i32(self) -> i32 {
|
||||
self.0.as_i32()
|
||||
}
|
||||
}
|
||||
|
||||
impl Child {
|
||||
/// Forces the child process to exit. If the child has already exited, an [`InvalidInput`]
|
||||
/// error is returned.
|
||||
|
@ -2016,20 +2031,20 @@ pub fn id() -> u32 {
|
|||
pub trait Termination {
|
||||
/// Is called to get the representation of the value as status code.
|
||||
/// This status code is returned to the operating system.
|
||||
fn report(self) -> i32;
|
||||
fn report(self) -> ExitCode;
|
||||
}
|
||||
|
||||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl Termination for () {
|
||||
#[inline]
|
||||
fn report(self) -> i32 {
|
||||
fn report(self) -> ExitCode {
|
||||
ExitCode::SUCCESS.report()
|
||||
}
|
||||
}
|
||||
|
||||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl<E: fmt::Debug> Termination for Result<(), E> {
|
||||
fn report(self) -> i32 {
|
||||
fn report(self) -> ExitCode {
|
||||
match self {
|
||||
Ok(()) => ().report(),
|
||||
Err(err) => Err::<!, _>(err).report(),
|
||||
|
@ -2039,14 +2054,14 @@ impl<E: fmt::Debug> Termination for Result<(), E> {
|
|||
|
||||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl Termination for ! {
|
||||
fn report(self) -> i32 {
|
||||
fn report(self) -> ExitCode {
|
||||
self
|
||||
}
|
||||
}
|
||||
|
||||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl<E: fmt::Debug> Termination for Result<!, E> {
|
||||
fn report(self) -> i32 {
|
||||
fn report(self) -> ExitCode {
|
||||
let Err(err) = self;
|
||||
eprintln!("Error: {:?}", err);
|
||||
ExitCode::FAILURE.report()
|
||||
|
@ -2055,7 +2070,7 @@ impl<E: fmt::Debug> Termination for Result<!, E> {
|
|||
|
||||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl<E: fmt::Debug> Termination for Result<Infallible, E> {
|
||||
fn report(self) -> i32 {
|
||||
fn report(self) -> ExitCode {
|
||||
let Err(err) = self;
|
||||
Err::<!, _>(err).report()
|
||||
}
|
||||
|
@ -2064,7 +2079,7 @@ impl<E: fmt::Debug> Termination for Result<Infallible, E> {
|
|||
#[unstable(feature = "termination_trait_lib", issue = "43301")]
|
||||
impl Termination for ExitCode {
|
||||
#[inline]
|
||||
fn report(self) -> i32 {
|
||||
self.0.as_i32()
|
||||
fn report(self) -> ExitCode {
|
||||
self
|
||||
}
|
||||
}
|
||||
|
|
|
@ -142,7 +142,7 @@ fn lang_start<T: crate::process::Termination + 'static>(
|
|||
argv: *const *const u8,
|
||||
) -> isize {
|
||||
let Ok(v) = lang_start_internal(
|
||||
&move || crate::sys_common::backtrace::__rust_begin_short_backtrace(main).report(),
|
||||
&move || crate::sys_common::backtrace::__rust_begin_short_backtrace(main).report().to_i32(),
|
||||
argc,
|
||||
argv,
|
||||
);
|
||||
|
|
|
@ -20,6 +20,7 @@
|
|||
#![feature(internal_output_capture)]
|
||||
#![feature(staged_api)]
|
||||
#![feature(termination_trait_lib)]
|
||||
#![feature(process_exitcode_placeholder)]
|
||||
#![feature(test)]
|
||||
#![feature(total_cmp)]
|
||||
|
||||
|
@ -182,7 +183,7 @@ fn make_owned_test(test: &&TestDescAndFn) -> TestDescAndFn {
|
|||
/// Tests is considered a failure. By default, invokes `report()`
|
||||
/// and checks for a `0` result.
|
||||
pub fn assert_test_result<T: Termination>(result: T) {
|
||||
let code = result.report();
|
||||
let code = result.report().to_i32();
|
||||
assert_eq!(
|
||||
code, 0,
|
||||
"the test returned a termination value with a non-zero status code ({}) \
|
||||
|
|
Loading…
Add table
Reference in a new issue