July 2014

N4121: Compile-Time String: std::string_literal<n> -- Andrew Tomazos

A new WG21 paper is available. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4121

Date: 2014-07-04

Compile-Time String: std::string_literal<n>

by Andrew Tomazos

Excerpt:

We propose the addition of a class template std::string_literal<n> to the LFTS (and eventually merged into the Strings Standard Library) for the purposes of working with text at compiletime.

The proposed template is a pure library helper class and does not require core language changes or compiler support.

This proposal is depended upon and is blocking N3815 > N4027 > N4113 (Reflection Type Traits) from SG7, which needs to produce compiletime text for reflection of entity names.

N4095-97: File System TS Issues Lists -- Beman Dawes

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document numbers: N4095-97

Date: 2014-07-05

File System TS Active Issues List (Revision R2)

File System TS Closed Issues List (Revision R2)

File System TS Defect Report List (Revision R2)

by Beman Dawes

4098-99: File System TS Working Draft and Editor's Report -- Beman Dawes

New WG21 papers are available. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4098-99

Date: 2014-07-05

File System TS Editor's Report, Post-Rapperswil

Working Draft, Technical Specification — File System

by Beman Dawes

Excerpt:

N4099 is the latest File System TS Working Draft. It contains the changes to the File System TS working paper as directed by the committee at the Rapperswil meeting. It also contains editorial changes not requiring committee approval. Details of the changes are listed below.

N4074: Let return{expr} Be Explicit, Revision 2 -- Herb Sutter

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4074

Date: 2014-07-02

Let return{expr} Be Explicit, Revision 2

by Herb Sutter

Excerpt:

This paper is a followup to N4029 to follow EWG preference for a variation on that proposal, namely allowing explicit constructors to be called by the syntax return {expr};, with the same semantics as initializing a local variable using return_type var{expr};. This addresses EWG issue #114.

Thanks to Richard Smith for his assistance with the proposed wording. Thanks to Peter Dimov, Gabriel Dos Reis, Howard Hinnant, Stephan T. Lavavej, Mike Miller, Bjarne Stroustrup, Ville Voutilainen, Jona-than Wakely and all others who provided comments on this topic and/or drafts of this paper.

Trip Report: Summer ISO C++ meeting

hsr-aerial.pngThe summer 2014 WG21 (ISO C++) meeting was held in Rapperswil, Switzerland on June 16-21. Many thanks to HSR Hochschule für Technik Rapperswil for hosting us!

The meeting proceeded pretty much as usual, but because the final (we hope) approval ballot for C++14 itself is still in progress until August 15, in accordance with ISO rules we didn’t formally approve any edits to the C++ working paper. At the next meeting we expect to approve the work of this meeting and next meeting in one batch to kick off the road to C++17.

We also made good progress on most of the eight (8) Technical Specifications in flight; see the current ISO C++ status page for the list. Here are some highlights.

First, we sent three documents out for ballot. This is the first time in ISO C++ history that we have sent three documents out for ballot out of a single meeting.

  • File System TS progresses to its final ballot (DTS): We finished addressing the international review comments on the File System comment ballot (aka PDTS), so we now have what should be the final text of the TS. In the next week or two I’ll send that out for its final ballot, and barring surprises we expect the TS to be published this year. Thanks very much to project editor Beman Dawes and the many participants and international reviewers who made this a high quality document!
  • Parallelism TS progresses to its main comment ballot (PDTS): This is the "Parallel STL" TS that adds parallel and vector lane execution to STL algorithms.
  • Library Fundamentals TS progresses to its main comment ballot (PDTS): We approved adding several features to the Library Fundamentals TS, notably the generalized negator not_fun and fixes for optional<T>. With this, the feature set of “version 1” of the TS is now complete and so it’s going out for its main international review ballot. (But wait, there’s more; see below.)

But we did other things too:

  • Library Fundamentals TS “version 2” kicked off: We also approved adding the first items for “version 2” of the Library Fundamentals TS. If you’re wondering how we can do that while version 1 is still in progress, the way to think of this is that we’ve now “finished loading the train” for the feature set of Library Fundamentals TS version 1, and we now will get a round of international comments to fine-tune those features and tighten down the load so the train can start moving out of the station. But while that’s happening, over on the next track we’ve also pulled up another set of empty cars and “started loading the next train” by also approving the creation of the first working paper for the next Library Fundamentals TS, “version 2,” and voting the first items into that. If this were software, we’d call it pipelining – same pattern.
  • Networking TS ‘rebooted’: This TS took a big step forward. In recent meetings, the focus of the work had been very small – basically just network byte order conversion, IP addresses, and URIs. At this meeting, the Library Evolution group decided that they would like to make a big bet here and not just take small things piecemeal, but adopt a large and complete proposal based on Boost.ASIO as a starting point. We expect to see an updated version of the ASIO proposal at the next meeting, and hopefully be able to adopt it as our working paper there.
  • Concurrency TS: The executors proposal has been improving with work between meetings, but still does not quite have consensus. So at this meeting we have removed executors from the Concurrency TS so that this doesn’t stand in the way of progressing the core parts that do have consensus. It’s possible that executors may be reintroduced before version 1 of the TS, but we’ll see. It’s possible that this TS may be ready for its main international comment ballot (PDTS) after the next meeting, but again we’ll have to see.
  • Concepts TS: This got a very thorough wording review by the Core language working group, and we expect it to be in great shape for sending out for PDTS (comment) ballot after our next meeting this fall.

There’s more, but those are some highlights.

In my previous trip report, I wrote:

WG21 has now shipped out documents for ballot in the last three consecutive ISO C++ meetings, and the plan is for this to continue. We have been filling up our pipeline, and now we’re seeing work come out the other end at a brisk pace.

After the long and “working relatively invisibly” period of C++0x, it’s very interesting to see ISO C++ now in a mode where “shipping something out for ISO ballot” is becoming the normal outcome of every meeting. Thanks again to all the volunteers who make it possible! And stay tuned for more to come throughout this year…

This time, again, we sent out not one but three documents for ballot. Quite a meeting.

Thanks, again, to everyone who worked so hard to make this happen.

N4080: File System TS Immediate Issues for Rapperswil -- Beman Dawes

This paper was approved at the June ISO C++ meeting.

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4080

Date: 2014-06-20

File System TS Immediate Issues for Rapperswil

by Beman Dawes

N4079: C++ Standard Library Issues Resolved Directly In Rapperswil, 2014 -- Alisdair Meredith

This paper was approved at the June ISO C++ meeting for the Library Fundamentals TS.

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4079

Date: 2014-06-20

C++ Standard Library Issues Resolved Directly In Rapperswil, 2014

by Alisdair Meredith

N4078: Fixes for optional objects -- Fernando Cacciola, Andrzej KrzemieĊ„ski, Ville Voutilainen

This paper was approved at the June ISO C++ meeting for the Library Fundamentals TS.

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4078

Date: 2014-06-20

Fixes for optional objects

by Fernando Cacciola, Andrzej Krzemieński, Ville Voutilainen

Excerpt:

This document proposes a number of wording fixes, as suggested in Issaquah meeting, to optional objects proposed in N3793. In addition, this document includes the feature additions from N3982 and the review feedback from the LWG sessions in the Rapperswil 2014 meeting.

N4063: On Parallel Invocations of Functions in Parallelism TS -- Artur Laksberg

This paper was approved at the June ISO C++ meeting.

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4063

Date: 2014-06-20

On Parallel Invocations of Functions in Parallelism TS

by Artur Laksberg

Excerpt:

At the Issaquah meeting in February 2014, Hans Boehm raised the following issue regarding N3850 (Working Draft, Technical Specification for C++ Extensions for Parallelism):

It seems to me that the execution policies need to be a bit more precise about which calls to parameter functions they can make. Something needs to specify that sort may make parallel invocations to swap, but only if the arguments for concurrent calls don’t overlap. I didn’t quickly find such text. In general, “non-racing” calls can be made concurrently, but “racing” ones cannot.

Upon further discussion, it was decided that the resolution of this issue warrants a separate paper that can be presented for discussion in SG1 during the Rapperswil meeting.

...

This paper supersedes N3993. The discussion in Rapperswil illuminated the need for additional changes to describe the difference between read-only and mutating functons. ...

N4071: Working Draft, Technical Specification for C++ Extensions for Parallelism -- Jared Hoberock

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N4071

Date: 2014-06-19

Working Draft, Technical Specification for C++ Extensions for Parallelism

by Jared Hoberock