Skip to content

turn ManuallyDrop::new into a constant function - #50148

Merged
bors merged 2 commits into
rust-lang:masterfrom
japaric:const-manuallydrop
May 9, 2018
Merged

turn ManuallyDrop::new into a constant function#50148
bors merged 2 commits into
rust-lang:masterfrom
japaric:const-manuallydrop

Conversation

@japaric

@japaricjaparic commented Apr 21, 2018

Copy link
Copy Markdown
Contributor

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 21, 2018
@sfacklersfackler added the T-libs-api [DEPRECATED; DO NOT USE] label Apr 21, 2018
@sfackler

sfackler commented Apr 21, 2018

Copy link
Copy Markdown
Member

@rfcbot fcp merge

This seems reasonable to me but let's make sure everyone's on board since it's insta-stable.

@rfcbot

rfcbot commented Apr 21, 2018•
edited by Kimundi
Loading

Copy link
Copy Markdown

Team member @sfackler has proposed to merge this. The next step is review by the rest of the tagged teams:

No concerns currently listed.

Once a majority of reviewers approve (and none object), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

@rfcbotrfcbot added the proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. label Apr 21, 2018
@sfacklersfackler added the relnotes Marks issues that should be documented in the release notes of the next release. label Apr 21, 2018
@SimonSapin

SimonSapin commented Apr 22, 2018

Copy link
Copy Markdown
Contributor

This sounds fine, but don’t you need some other APIs to be const as well for this to be useful? What’s an usage example?

@japaric

japaric commented Apr 23, 2018

Copy link
Copy Markdown
ContributorAuthor

@SimonSapin

don’t you need some other APIs to be const as well for this to be useful?

Yes, mem::uninitialized (cf. #50150). But I just heard on that other PR that the plan is to deprecate mem::uninitialized in favor of MaybeUninit. Personally, I'd be OK with using MaybeUninit instead of ManuallyDrop + mem::uninitialized if the RFC gets accepted and/or if there concerns about insta-stabilizing ManuallyDrop::new. (In any case, I'm stuck with nightly until const_fn is stabilized).

What’s an usage example?

Fixed capacity dynamic data structures (Vec, String, HashMap, etc) that you can put in static variables. See heapless.

@SimonSapin

SimonSapin commented Apr 23, 2018•
edited
Loading

Copy link
Copy Markdown
Contributor

What I had in mind is: it seems that ManuallyDrop::new is only useful if you can do anything with that value of type ManuallyDrop afterwards. The main APIs for that are Deref and DerefMut, but they’re not const. I’ve just now realized that you only want const to initialize a static item, and then use it at runtime.

This is a long way of saying: sounds good, never mind my previous comment :)

@aturon

aturon commented Apr 25, 2018

Copy link
Copy Markdown
Contributor

@bors: rollup

@rfcbot

rfcbot commented Apr 25, 2018

Copy link
Copy Markdown

🔔 This is now entering its final comment period, as per the review above. 🔔

@rfcbotrfcbot added final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. and removed proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. labels Apr 25, 2018
@kennytm

kennytm commented Apr 25, 2018

Copy link
Copy Markdown
Member

You could make this not insta-stable via rustc_const_unstable. See TypeId::of.

@oli-obk

oli-obk commented May 3, 2018

Copy link
Copy Markdown
Contributor

Ping @japaric

@rfcbot

rfcbot commented May 5, 2018

Copy link
Copy Markdown

The final comment period, with a disposition to merge, as per the review above, is now complete.

@rfcbotrfcbot added finished-final-comment-period The final comment period is finished for this PR / Issue. and removed final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. labels May 5, 2018
@oli-obk

oli-obk commented May 7, 2018

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented May 7, 2018

Copy link
Copy Markdown
Collaborator

‼️ Invalid head SHA found, retrying: 0000000000000000000000000000000000000000

@bors

bors commented May 7, 2018

Copy link
Copy Markdown
Collaborator

📌 Commit b61a4c2 has been approved by oli-obk

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 7, 2018
@kennytmkennytm mentioned this pull request May 8, 2018
Merged
kennytm added a commit to kennytm/rust that referenced this pull request May 9, 2018
@kennytm
Rollup merge ofrust-lang#50148- japaric:const-manuallydrop, r=oli-obk
dea03f1
turn `ManuallyDrop::new` into a constant function
bors added a commit that referenced this pull request May 9, 2018
@bors
Auto merge of#50546- kennytm:rollup, r=kennytm
ac287ed
Rollup of 11 pull requests
Successful merges:
- #49988 (Mention Result<!, E> in never docs.)
- #50148 (turn `ManuallyDrop::new` into a constant function)
- #50456 (Update the Cargo submodule)
- #50460 (Make `String::new()` const)
- #50464 (Remove some transmutes)
- #50505 (Added regression function match value test)
- #50511 (Add some explanations for #[must_use])
- #50525 (Optimize string handling in lit_token().)
- #50527 (Cleanup a `use` in a raw_vec test)
- #50539 (Add more logarithm constants)
- #49523 (Update RELEASES.md for 1.26.0)
Failed merges:
@bors
bors merged commit b61a4c2 into rust-lang:masterMay 9, 2018
@XAMPPRockyXAMPPRocky removed the relnotes Marks issues that should be documented in the release notes of the next release. label Jun 1, 2018
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@sfacklersfackler

Labels

finished-final-comment-periodThe final comment period is finished for this PR / Issue.S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-libs-api[DEPRECATED; DO NOT USE]

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

10 participants

@japaric@sfackler@rfcbot@SimonSapin@aturon@kennytm@oli-obk@bors@XAMPPRocky@rust-highfive