Skip to content

Commit afd6f5c

Browse files
authored
Rollup merge of #93562 - sunfishcode:sunfishcode/io-docs, r=joshtriplett
Update the documentation for `{As,Into,From}Raw{Fd,Handle,Socket}`. This change weakens the descriptions of the `{as,into,from}_raw_{fd,handle,socket}` descriptions from saying that they *do* express ownership relations to say that they are *typically used* in ways that express ownership relations. This is needed since, for example, std's own [`RawFd`] implements `{As,From,Into}Fd` without any of the ownership relationships. This adds proper `# Safety` comments to `from_raw_{fd,handle,socket}`, adds the requirement that raw handles be not opened with the `FILE_FLAG_OVERLAPPED` flag, and merges the `OwnedHandle::from_raw_handle` comment into the main `FromRawHandle::from_raw_handle` comment. And, this changes `HandleOrNull` and `HandleOrInvalid` to not implement `FromRawHandle`, since they are intended for limited use in FFI situations, and not for generic use, and they have constraints that are stronger than the those of `FromRawHandle`. [`RawFd`]: https://doc.rust-lang.org/stable/std/os/unix/io/type.RawFd.html
2 parents 2f8d1a8 + 8253cfe commit afd6f5c

File tree

4 files changed

+111
-72
lines changed

4 files changed

+111
-72
lines changed

library/std/src/os/fd/raw.rs

+28-14
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@
55
use crate::fs;
66
use crate::io;
77
use crate::os::raw;
8+
#[cfg(doc)]
9+
use crate::os::unix::io::AsFd;
810
#[cfg(unix)]
911
use crate::os::unix::io::OwnedFd;
1012
#[cfg(target_os = "wasi")]
@@ -24,9 +26,14 @@ pub type RawFd = raw::c_int;
2426
pub trait AsRawFd {
2527
/// Extracts the raw file descriptor.
2628
///
27-
/// This method does **not** pass ownership of the raw file descriptor
28-
/// to the caller. The descriptor is only guaranteed to be valid while
29-
/// the original object has not yet been destroyed.
29+
/// This function is typically used to **borrow** an owned file descriptor.
30+
/// When used in this way, this method does **not** pass ownership of the
31+
/// raw file descriptor to the caller, and the file descriptor is only
32+
/// guaranteed to be valid while the original object has not yet been
33+
/// destroyed.
34+
///
35+
/// However, borrowing is not strictly required. See [`AsFd::as_fd`]
36+
/// for an API which strictly borrows a file descriptor.
3037
///
3138
/// # Example
3239
///
@@ -55,15 +62,18 @@ pub trait FromRawFd {
5562
/// Constructs a new instance of `Self` from the given raw file
5663
/// descriptor.
5764
///
58-
/// This function **consumes ownership** of the specified file
59-
/// descriptor. The returned object will take responsibility for closing
60-
/// it when the object goes out of scope.
65+
/// This function is typically used to **consume ownership** of the
66+
/// specified file descriptor. When used in this way, the returned object
67+
/// will take responsibility for closing it when the object goes out of
68+
/// scope.
69+
///
70+
/// However, consuming ownership is not strictly required. Use a
71+
/// [`From<OwnedFd>::from`] implementation for an API which strictly
72+
/// consumes ownership.
6173
///
62-
/// This function is also unsafe as the primitives currently returned
63-
/// have the contract that they are the sole owner of the file
64-
/// descriptor they are wrapping. Usage of this function could
65-
/// accidentally allow violating this contract which can cause memory
66-
/// unsafety in code that relies on it being true.
74+
/// # Safety
75+
///
76+
/// The `fd` passed in must be a valid an open file descriptor.
6777
///
6878
/// # Example
6979
///
@@ -94,9 +104,13 @@ pub trait FromRawFd {
94104
pub trait IntoRawFd {
95105
/// Consumes this object, returning the raw underlying file descriptor.
96106
///
97-
/// This function **transfers ownership** of the underlying file descriptor
98-
/// to the caller. Callers are then the unique owners of the file descriptor
99-
/// and must close the descriptor once it's no longer needed.
107+
/// This function is typically used to **transfer ownership** of the underlying
108+
/// file descriptor to the caller. When used in this way, callers are then the unique
109+
/// owners of the file descriptor and must close it once it's no longer needed.
110+
///
111+
/// However, transferring ownership is not strictly required. Use a
112+
/// [`Into<OwnedFd>::into`] implementation for an API which strictly
113+
/// transfers ownership.
100114
///
101115
/// # Example
102116
///

library/std/src/os/windows/io/handle.rs

+11-27
Original file line numberDiff line numberDiff line change
@@ -214,29 +214,13 @@ impl IntoRawHandle for OwnedHandle {
214214
}
215215

216216
impl FromRawHandle for OwnedHandle {
217-
/// Constructs a new instance of `Self` from the given raw handle.
218-
///
219-
/// # Safety
220-
///
221-
/// The resource pointed to by `handle` must be open and suitable for
222-
/// assuming ownership. The resource must not require any cleanup other
223-
/// than `CloseHandle`.
224-
///
225-
/// In particular, it must not be used with handles to open registry
226-
/// keys which need to be closed with [`RegCloseKey`] instead.
227-
///
228-
/// Note that it *may* have the value `INVALID_HANDLE_VALUE` (-1), which is
229-
/// sometimes a valid handle value. See [here] for the full story.
230-
///
231-
/// [`RegCloseKey`]: https://docs.microsoft.com/en-us/windows/win32/api/winreg/nf-winreg-regclosekey
232-
/// [here]: https://devblogs.microsoft.com/oldnewthing/20040302-00/?p=40443
233217
#[inline]
234218
unsafe fn from_raw_handle(handle: RawHandle) -> Self {
235219
Self { handle }
236220
}
237221
}
238222

239-
impl FromRawHandle for HandleOrNull {
223+
impl HandleOrNull {
240224
/// Constructs a new instance of `Self` from the given `RawHandle` returned
241225
/// from a Windows API that uses null to indicate failure, such as
242226
/// `CreateThread`.
@@ -246,18 +230,18 @@ impl FromRawHandle for HandleOrNull {
246230
///
247231
/// # Safety
248232
///
249-
/// The resource pointed to by `handle` must be either open and otherwise
250-
/// unowned, or null. Note that not all Windows APIs use null for errors;
251-
/// see [here] for the full story.
233+
/// The passed `handle` value must either satisfy the safety requirements
234+
/// of [`FromRawHandle::from_raw_handle`], or be null. Note that not all
235+
/// Windows APIs use null for errors; see [here] for the full story.
252236
///
253237
/// [here]: https://devblogs.microsoft.com/oldnewthing/20040302-00/?p=40443
254238
#[inline]
255-
unsafe fn from_raw_handle(handle: RawHandle) -> Self {
239+
pub unsafe fn from_raw_handle(handle: RawHandle) -> Self {
256240
Self(OwnedHandle::from_raw_handle(handle))
257241
}
258242
}
259243

260-
impl FromRawHandle for HandleOrInvalid {
244+
impl HandleOrInvalid {
261245
/// Constructs a new instance of `Self` from the given `RawHandle` returned
262246
/// from a Windows API that uses `INVALID_HANDLE_VALUE` to indicate
263247
/// failure, such as `CreateFileW`.
@@ -267,14 +251,14 @@ impl FromRawHandle for HandleOrInvalid {
267251
///
268252
/// # Safety
269253
///
270-
/// The resource pointed to by `handle` must be either open and otherwise
271-
/// unowned, null, or equal to `INVALID_HANDLE_VALUE` (-1). Note that not
272-
/// all Windows APIs use `INVALID_HANDLE_VALUE` for errors; see [here] for
273-
/// the full story.
254+
/// The passed `handle` value must either satisfy the safety requirements
255+
/// of [`FromRawHandle::from_raw_handle`], or be
256+
/// `INVALID_HANDLE_VALUE` (-1). Note that not all Windows APIs use
257+
/// `INVALID_HANDLE_VALUE` for errors; see [here] for the full story.
274258
///
275259
/// [here]: https://devblogs.microsoft.com/oldnewthing/20040302-00/?p=40443
276260
#[inline]
277-
unsafe fn from_raw_handle(handle: RawHandle) -> Self {
261+
pub unsafe fn from_raw_handle(handle: RawHandle) -> Self {
278262
Self(OwnedHandle::from_raw_handle(handle))
279263
}
280264
}

library/std/src/os/windows/io/raw.rs

+72-24
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@
55
use crate::fs;
66
use crate::io;
77
use crate::net;
8+
#[cfg(doc)]
9+
use crate::os::windows::io::{AsHandle, AsSocket};
810
use crate::os::windows::io::{OwnedHandle, OwnedSocket};
911
use crate::os::windows::raw;
1012
use crate::sys;
@@ -22,7 +24,15 @@ pub type RawSocket = raw::SOCKET;
2224
/// Extracts raw handles.
2325
#[stable(feature = "rust1", since = "1.0.0")]
2426
pub trait AsRawHandle {
25-
/// Extracts the raw handle, without taking any ownership.
27+
/// Extracts the raw handle.
28+
///
29+
/// This function is typically used to **borrow** an owned handle.
30+
/// When used in this way, this method does **not** pass ownership of the
31+
/// raw handle to the caller, and the handle is only guaranteed
32+
/// to be valid while the original object has not yet been destroyed.
33+
///
34+
/// However, borrowing is not strictly required. See [`AsHandle::as_handle`]
35+
/// for an API which strictly borrows a handle.
2636
#[stable(feature = "rust1", since = "1.0.0")]
2737
fn as_raw_handle(&self) -> RawHandle;
2838
}
@@ -32,15 +42,28 @@ pub trait AsRawHandle {
3242
pub trait FromRawHandle {
3343
/// Constructs a new I/O object from the specified raw handle.
3444
///
35-
/// This function will **consume ownership** of the handle given,
36-
/// passing responsibility for closing the handle to the returned
37-
/// object.
45+
/// This function is typically used to **consume ownership** of the handle
46+
/// given, passing responsibility for closing the handle to the returned
47+
/// object. When used in this way, the returned object
48+
/// will take responsibility for closing it when the object goes out of
49+
/// scope.
50+
///
51+
/// However, consuming ownership is not strictly required. Use a
52+
/// `From<OwnedHandle>::from` implementation for an API which strictly
53+
/// consumes ownership.
54+
///
55+
/// # Safety
3856
///
39-
/// This function is also unsafe as the primitives currently returned
40-
/// have the contract that they are the sole owner of the file
41-
/// descriptor they are wrapping. Usage of this function could
42-
/// accidentally allow violating this contract which can cause memory
43-
/// unsafety in code that relies on it being true.
57+
/// The `handle` passed in must:
58+
/// - be a valid an open handle,
59+
/// - be a handle for a resource that may be freed via [`CloseHandle`]
60+
/// (as opposed to `RegCloseKey` or other close functions).
61+
///
62+
/// Note that the handle *may* have the value `INVALID_HANDLE_VALUE` (-1),
63+
/// which is sometimes a valid handle value. See [here] for the full story.
64+
///
65+
/// [`CloseHandle`]: https://docs.microsoft.com/en-us/windows/win32/api/handleapi/nf-handleapi-closehandle
66+
/// [here]: https://devblogs.microsoft.com/oldnewthing/20040302-00/?p=40443
4467
#[stable(feature = "from_raw_os", since = "1.1.0")]
4568
unsafe fn from_raw_handle(handle: RawHandle) -> Self;
4669
}
@@ -51,9 +74,13 @@ pub trait FromRawHandle {
5174
pub trait IntoRawHandle {
5275
/// Consumes this object, returning the raw underlying handle.
5376
///
54-
/// This function **transfers ownership** of the underlying handle to the
55-
/// caller. Callers are then the unique owners of the handle and must close
56-
/// it once it's no longer needed.
77+
/// This function is typically used to **transfer ownership** of the underlying
78+
/// handle to the caller. When used in this way, callers are then the unique
79+
/// owners of the handle and must close it once it's no longer needed.
80+
///
81+
/// However, transferring ownership is not strictly required. Use a
82+
/// `Into<OwnedHandle>::into` implementation for an API which strictly
83+
/// transfers ownership.
5784
#[stable(feature = "into_raw_os", since = "1.4.0")]
5885
fn into_raw_handle(self) -> RawHandle;
5986
}
@@ -130,24 +157,41 @@ impl IntoRawHandle for fs::File {
130157
/// Extracts raw sockets.
131158
#[stable(feature = "rust1", since = "1.0.0")]
132159
pub trait AsRawSocket {
133-
/// Extracts the underlying raw socket from this object.
160+
/// Extracts the raw socket.
161+
///
162+
/// This function is typically used to **borrow** an owned socket.
163+
/// When used in this way, this method does **not** pass ownership of the
164+
/// raw socket to the caller, and the socket is only guaranteed
165+
/// to be valid while the original object has not yet been destroyed.
166+
///
167+
/// However, borrowing is not strictly required. See [`AsSocket::as_socket`]
168+
/// for an API which strictly borrows a socket.
134169
#[stable(feature = "rust1", since = "1.0.0")]
135170
fn as_raw_socket(&self) -> RawSocket;
136171
}
137172

138173
/// Creates I/O objects from raw sockets.
139174
#[stable(feature = "from_raw_os", since = "1.1.0")]
140175
pub trait FromRawSocket {
141-
/// Creates a new I/O object from the given raw socket.
176+
/// Constructs a new I/O object from the specified raw socket.
177+
///
178+
/// This function is typically used to **consume ownership** of the socket
179+
/// given, passing responsibility for closing the socket to the returned
180+
/// object. When used in this way, the returned object
181+
/// will take responsibility for closing it when the object goes out of
182+
/// scope.
142183
///
143-
/// This function will **consume ownership** of the socket provided and
144-
/// it will be closed when the returned object goes out of scope.
184+
/// However, consuming ownership is not strictly required. Use a
185+
/// `From<OwnedSocket>::from` implementation for an API which strictly
186+
/// consumes ownership.
145187
///
146-
/// This function is also unsafe as the primitives currently returned
147-
/// have the contract that they are the sole owner of the file
148-
/// descriptor they are wrapping. Usage of this function could
149-
/// accidentally allow violating this contract which can cause memory
150-
/// unsafety in code that relies on it being true.
188+
/// # Safety
189+
///
190+
/// The `socket` passed in must:
191+
/// - be a valid an open socket,
192+
/// - be a socket that may be freed via [`closesocket`].
193+
///
194+
/// [`closesocket`]: https://docs.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-closesocket
151195
#[stable(feature = "from_raw_os", since = "1.1.0")]
152196
unsafe fn from_raw_socket(sock: RawSocket) -> Self;
153197
}
@@ -158,9 +202,13 @@ pub trait FromRawSocket {
158202
pub trait IntoRawSocket {
159203
/// Consumes this object, returning the raw underlying socket.
160204
///
161-
/// This function **transfers ownership** of the underlying socket to the
162-
/// caller. Callers are then the unique owners of the socket and must close
163-
/// it once it's no longer needed.
205+
/// This function is typically used to **transfer ownership** of the underlying
206+
/// socket to the caller. When used in this way, callers are then the unique
207+
/// owners of the socket and must close it once it's no longer needed.
208+
///
209+
/// However, transferring ownership is not strictly required. Use a
210+
/// `Into<OwnedSocket>::into` implementation for an API which strictly
211+
/// transfers ownership.
164212
#[stable(feature = "into_raw_os", since = "1.4.0")]
165213
fn into_raw_socket(self) -> RawSocket;
166214
}

library/std/src/os/windows/io/socket.rs

-7
Original file line numberDiff line numberDiff line change
@@ -172,13 +172,6 @@ impl IntoRawSocket for OwnedSocket {
172172
}
173173

174174
impl FromRawSocket for OwnedSocket {
175-
/// Constructs a new instance of `Self` from the given raw socket.
176-
///
177-
/// # Safety
178-
///
179-
/// The resource pointed to by `socket` must be open and suitable for
180-
/// assuming ownership. The resource must not require cleanup other than
181-
/// `closesocket`.
182175
#[inline]
183176
unsafe fn from_raw_socket(socket: RawSocket) -> Self {
184177
debug_assert_ne!(socket, c::INVALID_SOCKET as RawSocket);

0 commit comments

Comments
 (0)