Skip to content

Tracking Issue for FnStatic and FnPtr::addr/from_ptr/as_ptr and Code #148768

@programmerjake

Description

@programmerjake

Feature gate: #![feature(fn_static)]

This is a tracking issue for FnStatic and FnPtr::addr/from_ptr/as_ptr and Code.

Public API

// core::ops pub extern type Code; // Implemented only for function pointers. pub unsafe trait FnPtr { fn addr(self) -> usize; fn as_ptr(self) -> NonNull<Code>; unsafe fn from_ptr(NonNull<Code>) -> Self; } // Implemented for all types that coerce to function pointers. pub unsafe trait FnStatic<Args>: Fn<Args> { type FnPtr: FnPtr; fn as_fn() -> Self::FnPtr; fn addr() -> usize; fn as_ptr() -> NonNull<Code>; extern "rust-call" fn call_static(args: Args) -> Self::Output; }

Steps / History

(Remember to update the S-tracking-* label when checking boxes.)

Unresolved Questions

  • Is it sufficient to just add type aliases whenever adding a target where code pointers are bigger than data pointers? It was proposed that NonNull<Code> is used for pointing to the code of a function, and that whenever a target where code pointers are larger than data pointers is added, then type aliases are added and APIs are changed to use those type aliases instead of directly using NonNull<Code> or usize when representing code addresses.

Footnotes

  1. https://std-dev-guide.rust-lang.org/feature-lifecycle/stabilization.html

Metadata

Metadata

Assignees

No one assigned

    Labels

    B-experimentalBlocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCI-lang-radarItems that are on lang's radar and will need eventual work or consideration.S-tracking-unimplementedStatus: The feature has not been implemented.T-langRelevant to the language teamT-libs-apiRelevant to the library API team, which will review and decide on the PR/issue.T-typesRelevant to the types team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions