[intro.execution] CWG2431: Destruction of a temp. object bound to a reference is not a full-expression? · Issue #2664 · cplusplus/draft (original) (raw)

Skip to content

Navigation Menu

• • GitHub Copilot Write better code with AI
  • GitHub Advanced Security Find and fix vulnerabilities
  • Actions Automate any workflow
  • Codespaces Instant dev environments
  • Issues Plan and track work
  • Code Review Manage code changes
  • Discussions Collaborate outside of code
  • Code Search Find more, search less
• Explore
  • Learning Pathways
  • Events & Webinars
  • Ebooks & Whitepapers
  • Customer Stories
  • Partners
  • Executive Insights
• • GitHub Sponsors Fund open source developers
  • The ReadME Project GitHub community articles
• • Enterprise platform AI-powered developer platform
• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Description

http://eel.is/c++draft/intro.execution#def:full-expression:

A full-expression is
— an invocation of a destructor generated at the end of the lifetime of an object other than a temporary object ([class.temporary]), or

Here is an example

void foo() { const auto& rk = Klass{}; Klass k; // ... // generated invocation k.~Klass() is a full-expression // generated invocation rk.~Klass() is not a full-expression? }

I think it is intended to be a full-expression, so the Standard should say something like

other than a temporary object whose lifetime was not extended