Skip to main content
Redhat Developers  Logo
  • Products

    Featured

    • Red Hat Enterprise Linux
      Red Hat Enterprise Linux Icon
    • Red Hat OpenShift AI
      Red Hat OpenShift AI
    • Red Hat Enterprise Linux AI
      Linux icon inside of a brain
    • Image mode for Red Hat Enterprise Linux
      RHEL image mode
    • Red Hat OpenShift
      Openshift icon
    • Red Hat Ansible Automation Platform
      Ansible icon
    • Red Hat Developer Hub
      Developer Hub
    • View All Red Hat Products
    • Linux

      • Red Hat Enterprise Linux
      • Image mode for Red Hat Enterprise Linux
      • Red Hat Universal Base Images (UBI)
    • Java runtimes & frameworks

      • JBoss Enterprise Application Platform
      • Red Hat build of OpenJDK
    • Kubernetes

      • Red Hat OpenShift
      • Microsoft Azure Red Hat OpenShift
      • Red Hat OpenShift Virtualization
      • Red Hat OpenShift Lightspeed
    • Integration & App Connectivity

      • Red Hat Build of Apache Camel
      • Red Hat Service Interconnect
      • Red Hat Connectivity Link
    • AI/ML

      • Red Hat OpenShift AI
      • Red Hat Enterprise Linux AI
    • Automation

      • Red Hat Ansible Automation Platform
      • Red Hat Ansible Lightspeed
    • Developer tools

      • Red Hat Trusted Software Supply Chain
      • Podman Desktop
      • Red Hat OpenShift Dev Spaces
    • Developer Sandbox

      Developer Sandbox
      Try Red Hat products and technologies without setup or configuration fees for 30 days with this shared Openshift and Kubernetes cluster.
    • Try at no cost
  • Technologies

    Featured

    • AI/ML
      AI/ML Icon
    • Linux
      Linux Icon
    • Kubernetes
      Cloud icon
    • Automation
      Automation Icon showing arrows moving in a circle around a gear
    • View All Technologies
    • Programming Languages & Frameworks

      • Java
      • Python
      • JavaScript
    • System Design & Architecture

      • Red Hat architecture and design patterns
      • Microservices
      • Event-Driven Architecture
      • Databases
    • Developer Productivity

      • Developer productivity
      • Developer Tools
      • GitOps
    • Secure Development & Architectures

      • Security
      • Secure coding
    • Platform Engineering

      • DevOps
      • DevSecOps
      • Ansible automation for applications and services
    • Automated Data Processing

      • AI/ML
      • Data Science
      • Apache Kafka on Kubernetes
      • View All Technologies
    • Start exploring in the Developer Sandbox for free

      sandbox graphic
      Try Red Hat's products and technologies without setup or configuration.
    • Try at no cost
  • Learn

    Featured

    • Kubernetes & Cloud Native
      Openshift icon
    • Linux
      Rhel icon
    • Automation
      Ansible cloud icon
    • Java
      Java icon
    • AI/ML
      AI/ML Icon
    • View All Learning Resources

    E-Books

    • GitOps Cookbook
    • Podman in Action
    • Kubernetes Operators
    • The Path to GitOps
    • View All E-books

    Cheat Sheets

    • Linux Commands
    • Bash Commands
    • Git
    • systemd Commands
    • View All Cheat Sheets

    Documentation

    • API Catalog
    • Product Documentation
    • Legacy Documentation
    • Red Hat Learning

      Learning image
      Boost your technical skills to expert-level with the help of interactive lessons offered by various Red Hat Learning programs.
    • Explore Red Hat Learning
  • Developer Sandbox

    Developer Sandbox

    • Access Red Hat’s products and technologies without setup or configuration, and start developing quicker than ever before with our new, no-cost sandbox environments.
    • Explore Developer Sandbox

    Featured Developer Sandbox activities

    • Get started with your Developer Sandbox
    • OpenShift virtualization and application modernization using the Developer Sandbox
    • Explore all Developer Sandbox activities

    Ready to start developing apps?

    • Try at no cost
  • Blog
  • Events
  • Videos

Report from the February 2019 ISO C++ meeting (Core Language working group)

April 11, 2019
Jason Merrill
Related products:
Red Hat OpenShift

Share:

    The February 2019 ISO C++ meeting was held in Kailua-Kona, Hawaii. As usual, Red Hat sent three developers to the meeting: I attended in the Core Language working group, Jonathan Wakely in Library, and Thomas Rodgers in SG1 (parallelism and concurrency). The meeting went smoothly, although there was significant uncertainty at the beginning where we would end up. In the end, Modules and Coroutines were accepted into the C++20 draft, so now we have our work cut out for us nailing down the remaining loose corners. Here ar highlights from the meeting.

    Modules

    Work on Modules is very much continuing at this point. All of the Evolution group's Tuesday discussions, and some later in the week, were on various subtleties of Modules, particularly around argument-dependent lookup.  A Monday evening discussion also covered the tooling challenges. I haven't been following the design discussions very closely, as Nathan Sidwell is in charge of Modules in GCC, but it seems like we're converging on a solid design, with various proofs of concept to address concerns. The global module fragment still makes me nervous, but now that we have header units as well, I'm satisfied that it won't be a huge problem.

    Coroutines

    Coroutines took up all of Wednesday in Evolution. In addition to the Coroutines TS and Core Coroutines proposals that have been under discussion at past meetings, a third design was presented, referred to as "Symmetric Coroutines." There was a lot of comparison of the different approaches—comparing the different choices made by the different proposals and considering possibilities for future convergence between them. In the end, Evolution voted strongly to go ahead with the design in the Coroutines TS.

    Contracts

    Contracts was voted into C++20 at an earlier meeting, but the topic still took up all of Monday. There were two competing proposals to address some people's nervousness about "assuming" a contract condition such that it affects optimization of paths of execution that include the contract.

    It has always seemed to me that if you have contracts that can continue, those conditions must not be assumed by subsequent code. But, if a contract check cannot continue, naturally the check can be assumed by subsequent code, because if it had been false execution would not have continued. So, the question of whether a condition can be assumed reduces to whether or not the check can continue. The two proposals both wanted to increase explicit control over this, one by adding the "continue" keyword to the constructor, and the other by introducing explicit semantics like check_maybe_continue to be used instead of contract levels like "default." I'm sure we'll see more about this at the next meeting.

    There has also been nervousness about backward propagation of assumed conditions based on the existing wording that an unchecked contract that would have failed is undefined behavior; compilers optimize based on the assumption that undefined behavior can't happen, and mark code as unreachable accordingly. I think this worry is exaggerated, because back-propagation of undefined conditions happens in most optimizers already (e.g., with null pointer dereference) and this would just make the conditions clearer. Checked contracts wouldn't back-propagate, as the contract handler might not return.

    One proposal was made to change "expects"/"ensures" to "pre"/"post"; this suggestion was well received and will probably go in at the next meeting.

    Reflection

    Core spent a while on responses to national body comments on the Reflection TS, and the TS as changed was approved for publication. It's unclear whether this approach to reflection (using magic types) will end up being the one that goes into the standard, but we think it's well specified at this point.

    Here are some of the smaller papers that went in:

    Extending structured bindings (P1091R3, P1381R1), which allows structured bindings to be declared static and thread_local and to be captured by lambdas.

    Allow initializing aggregates from a parenthesized list of values, so now all aggregate classes can be initialized using the normal syntax for calling a constructor, with similar semantics. For example, in a constructor call, a temporary bound to a reference member is not extended, and braces are not elided. This was requested to support usage by library object factory functions like make_unique.

    Array size deduction in new-expressions, allowing new T[]{ ... } to deduce the size of the allocated array from the initializer, like we do already for variables.

    <=> != ==, which changes defaulted operator== to use member == rather than <=> for reasons of efficiency.

    Here are some other papers we looked at, which weren't quite ready this week:

    Filling Holes in Class Template Argument Deduction, which proposes to allow CTAD for aggregates, alias templates, and inherited constructors.

    Conditionally Trivial Special Member Functions, which aims to allow a constructor with certain (Concepts) constraints to be trivial while a constructor with different constraints is not, and have whether the class is trivially copyable depend on which is selected for a particular instantiation of the class.

    The next meeting will be in July in Cologne, Germany.

    Last updated: March 26, 2023

    Recent Posts

    • Assessing AI for OpenShift operations: Advanced configurations

    • OpenShift Lightspeed: Assessing AI for OpenShift operations

    • OpenShift Data Foundation and HashiCorp Vault securing data

    • Axolotl meets LLM Compressor: Fast, sparse, open

    • What’s new for developers in Red Hat OpenShift 4.19

    Red Hat Developers logo LinkedIn YouTube Twitter Facebook

    Products

    • Red Hat Enterprise Linux
    • Red Hat OpenShift
    • Red Hat Ansible Automation Platform

    Build

    • Developer Sandbox
    • Developer Tools
    • Interactive Tutorials
    • API Catalog

    Quicklinks

    • Learning Resources
    • E-books
    • Cheat Sheets
    • Blog
    • Events
    • Newsletter

    Communicate

    • About us
    • Contact sales
    • Find a partner
    • Report a website issue
    • Site Status Dashboard
    • Report a security problem

    RED HAT DEVELOPER

    Build here. Go anywhere.

    We serve the builders. The problem solvers who create careers with code.

    Join us if you’re a developer, software engineer, web designer, front-end designer, UX designer, computer scientist, architect, tester, product manager, project manager or team lead.

    Sign me up

    Red Hat legal and privacy links

    • About Red Hat
    • Jobs
    • Events
    • Locations
    • Contact Red Hat
    • Red Hat Blog
    • Inclusion at Red Hat
    • Cool Stuff Store
    • Red Hat Summit

    Red Hat legal and privacy links

    • Privacy statement
    • Terms of use
    • All policies and guidelines
    • Digital accessibility

    Report a website issue