Doc No:   SC22/WG21/N1553
                                                  J16/03-0136
                                        Date:     November 14, 2003
                                        Project:  JTC1.22.32
                                        Reply to: Robert Klarer
                                                  IBM Canada, Ltd.
                                                  klarer@ca.ibm.com

Minutes of J16 Meeting No. 37/WG21 Meeting No. 32, October 27-31, 2003

1. Opening activities

1.1 Opening comments

1.2 Introductions

1.3 Membership, voting rights, and procedures for the meeting

1.4 Agenda review and approval

Clamage presented the agenda (document 03-0074/N1491). This agenda was amended to include two additional technical sessions, beyond the one that is described in N1491. The two additional technical sessions are:

• 3.1 Technical Session: Decimal Floating-Point additions to C, Robert Klarer
• 5.1 Technical Session: C++ CLI, Herb Sutter

Motion to approve the agenda as amended:

Mike Miller moved that the above motion be revised such that discussion of the Performance Group's work on the text of the Performance TR be stricken from the agenda. Since the Performance TR is currently in ballot, the committee is not permitted to discuss it. Dawes and Crowl agreed to this proposed revision of the motion.

1.5 Distribution of position papers, WG progress reports, WG work plans for the week, and other documents that were not distributed before the meeting.

Austern reported that the Library Working Group (LWG) would continue its work of processing DRs and discussing proposals for inclusion in the TR. The LWG now has a working draft of the Library Extensions TR, and intends to have the group vote on a motion to adopt it as the base document for the TR.

Goldthwaite reported that the Performance Working Group will not meet this week, as the Performance TR is at ballot.

Stroustrup will lead a technical presentation on Evolution Working Group (EWG) activity Tuesday (see 3.1). An EWG issues list now exists. Stroustrup indicated that only a small proportion of the extension proposals that have been made and will be made can be accepted, due to time constraints. Priorities:

1. support for generic programming
2. removal of embarrassments
3. "dynamic stuff" like shared libraries, support for OO, etc.
4. C compatibility

Klarer introduced WG14 paper N1016 on Decimal Arithmetic.

1.6 Approval of the minutes of the previous meeting

Motion to approve the minutes:

1.7 Report on the WG21 Sunday meeting

Sutter reported that 6 countries were officially represented at this meeting, and that the drafting committee for this meeting was composed of Adamczyk, Dos Reis, and Klarer.

1. March 21-26, 2004: Sydney, Australia. Host is Whitesmiths Australia.
2. October 17-22, 2004: Redmond, Washington. Host is Microsoft.
3. Spring 2005: Oslo, Norway.
4. Fall 2005: Sydney, Nova Scotia, Canada.

Sutter: one the record of response -- we are still in the process of publishing the TC -- we have now sent the ISO secretartiat the final text of the document -- we have permission to publish the RR (Changes and Context) on the committee website.

Sutter reported that performance TR is at ballot. There are two more ballot stages after the current one. Sutter also noted that WG21 has asked permission to make the performance TR in its final form freely available.

Glassborow announced that the 2003 C++ standard is available for purchase in hardcopy form from Wiley's now. Similarly the C standard is now available.

1.8 Liaison reports

WG14 Liaison

P J Plauger reported that, at the last SC22 plenary, WG14 convenor John Benito asked that C99 be reaffirmed. That base document will remain stable for the next several years.

Plauger also reported that WG14 is wrapping up work on the Embedded C TR. Also, work on TR 19769 -- which specifies new character types -- is mostly done.

Plauger indicated that WG14 intends to begin work to produce three new Technical Reports -- one on each of the following topics:

1. decimal arithmetic -- WG14 very much wants to coordinate this work with WG21 to avoid gratuitous incompatibilities between the two languages.
2. special mathematical functions -- WG14 wants to adopt the work done in this domain by WG21, again to avoid gratuitous incompatibilities.
3. security in the C library

Cooperation between WG14 and WG21 on the first two of these three items will be acheived through the mechanism of a Rapporteur Group.

Sutter asked whether there was a possibility that the C committee will finish their technical work on these TRs before WG21 has finished work on corresponding TRs for C++. Plauger responded by noting that WG14 expressed a strong desire to cooperate with WG21 to avoid incompatibilities -- they will not race ahead of WG21.

Dawes recalled that when Martyn Lovell presented Microsoft's proposal for C library security extensions to WG21 in Oxford, the emphasis was on C subroutines only. Dawes asked whether there will be similar work on C++ library facilities. Plauger replied that Microsoft emphasized C library subroutines largely due to time limitations, and would be open to C++ work, too.

WG20 Liaison

Simonsen reported that WG20 met 15th-17th October 2003 in California.

A revision of the TR 10176 Annex A -- which specifies extended identifiers -- has been completed. The current C++ standard uses an earlier draft of this document. Simonsen recommends that WG21 adopt this new paper for inclusion in the C++ standard.

Simonsen indicated that TR 14652 has been adopted and is in the process of being published. TR 14652 specifies POSIX-like locales and charmaps, including new categories, but the formats have been enhanced to cater to ISO 10646. Some parts of this TR are considered controversial by a number of National Bodies. As well, the sorting standard 14651 has been amended and has been sent out for FPDAM ballot. The standard is updated to the repertoire of the Unicode standard 4.0, and is scheduled to be transferred to SC2 for maintenance. Furthermore, WG20 has decided to submit the cultural registry standard ISO/IEC 15897 for FDIS ballot.

Simonsen reported that WG20 has requested information about internationalization facilities available in Standard C++ and other languages. Austern indicated that much of the information that WG20 is requesting is already in the C++ standard. Sutter suggested that WG21 can refer WG20 to relevant passages in the standard and provide references to such resources as trade books on the subject.

1.9 New business requiring actions by the committee

2. Organize subgroups, establish working procedures.

We have three subgroups: Core, Library, and Evolution.

The committee broke into subgroups at 10:30 (GMT-10:00).

3. WG sessions (Core, Library, Performance, Evolution).

3.1 Technical Session: Decimal Arithmetic

4. WG sessions continue.

4.1 Technical Session, "Evolution Working Group activity", Bjarne Stroustrup

5. WG sessions continue.

6. General session.

6.1 WG status and progress reports.

The CWG will make a single formal motion on Friday to move all issues in Ready status in N1504=03-0087 except 39 to DR status and into the Working Paper.

Adamczyk reported that 33 new issues were received by the CWG since the last meeting. At this meeting, 12 issues were moved to WP status, 3 were moved to NAD status.

The CWG discussed its desire to contribute to the work for the EWG, and means by which such a contribution could be made. The following procedure for cooperation between the CWG and the EWG was suggested:

• joint meetings between the two groups would be conducted once a feature proposal has matured sufficiently that it is thought likely to be added to the Working Paper, or earlier if there is strong CWG interest or need for CWG input
• EWG will then deliver a full design for the proposed feature to CWG, and CWG will draft (remaining) Working Paper wording changes
• EWG will review and sign off on the full set of wording changes
• the proposed feature will be implemented at least once, and the proposal will be amended as needed to reflect the implementation experience thus gained, as well as experience with non-obvious use cases that were applied to the implementation; vendors will not ship this implementation to customers, at least not without putting the feature in an experimental mode that must be enabled explicitly
• the feature will be brought to the full committee for potential vote into the Working Paper

Austern reviewed and explained the formal motions that the LWG intends to move on Friday (see section 8.1).

The EWG will not be bringing forward any formal motions at this meeting.

Stroustrup reviewed the activities of the EWG during the week, and recounted the various technical proposals that were discussed by the group. Topics included:

• support for generic programming
  • sequence initializers
  • literal constructors
  • general constant expressions
  • concepts
  • decltype - auto
  • template aliases
  • variadic template argument lists
• other
  • nullptr
  • dynamic libraries
  • alignment_of
  • nested namespace
  • improved enums
  • variadic macros - #nospam
  • friend
  • extern template
  • uniform call syntax

6.1.1 Decimal floating-point.

Formal Motion: Decimal Arithmetic

A straw poll indicated that support for this motion was strong, with none opposed.

6.2 Presentation and discussion of DRs ready to be voted on. Straw votes taken.

7. WG sessions continue

8. Review of the meeting

8.1 Formal motions, including DRs to be resolved.

Core

Move to advance the following core working group issues to DR status, and apply them to the Working Paper:
115, 214, 280, 306, 324, 326, 329, 331, 349, 364, 366, 368

Library

General

• Standard DR: Move to raise LWG issue 400, from N1515, to DR status and apply it to the working paper.

  Mover: Sutter

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	19	0	0
  WG21	6	0	0

• TR base document: Move to accept N1540=03-0123 as the base document for the library extensions TR.

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	19	0	0
  WG21	5	0	1

New TR proposals

• New TR proposal: Move to accept N1548, "A Proposal to Add a Fixed Size Array Wrapper to the Standard Library Technical Report", for inclusion in the library extension technical report.

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	18	0	1
  WG21	6	0	0

• New TR proposal: Move to accept N1550, New Iterator Concepts, for inclusion in the library extension technical report.

  Mover: Abrahams

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	18	0	2
  WG21	6	0	0

• New TR proposal: Move to accept N1530, Iterator Facade and Adaptor, for inclusion in the library extension technical report.

  Mover: Abrahams

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	19	0	1
  WG21	5	0	1

Resolve TR defects

• TR issue 1: Move to amend the library extensions technical report as described in N1551, "TR1 Changes for N1499, Parts 1 and 2"

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	20	0	0
  WG21	6	0	0

• TR issues 3 and 6: Move to amend the library extensions technical report as specified by N1542, "Mathematical special functions, v3"

  Mover: Brown

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	20	0	0
  WG21	5	0	1

• TR issue 4: Move to accept the proposed resolutions for the following issues from n1507, "Regular expression errata":
  • Unintended occurrence of reg_expression
  • Iterators have incorrect definitions of the types "reference" and "pointer"
  • Naming of basic_regex::getflags
  • Missing namespace prefix in regex_iterator description
  • Unnecessary sub-section headers in regex_iterator
  • Names of symbolic constants
  • Specification of sub_match::length incorrect
  • Imprecise specification of regex_traits::char_class_type
  • Unneeded basic_regex members
  • Missing basic_regex members
  • Types of match_results typedefs members
  • What does match_results::size() return? [but note to editor: there's a missing "of" in the proposed reservation]
  • What does match_results::position return when passed an out of range index?
  • What happens if match_results::operator[] is out of range?
  • Character class extensions to ECMAScript grammar need a formal grammar
  • Imprecise Specification of regex_replace
  • Incorrect usage of “undefined”
  • Incorrect usage of “implementation defined”

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	20	0	0
  WG21	5	0	1

• TR issues 5 and 7: Move to accept the proposed resolutions for the following issues from N1519=03-0102, "Type Traits Issue List":
  • Use of Language in type transformations (but with a non-normative note saying what the base type is for a cv-qualified array)
  • Why three headers?
  • Revising the Unary Type Traits Requirements
  • alignment_of
  • has_virtual_destructor (but making it explicit that false is the fallback position when compiler support does not exist)
  • aligned_storage (but with the change of "implementation defined" to "unspecified")
  • remove_all_dimensions

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	18	0	2
  WG21	5	0	1

• TR issue 8: Move to amend the library extensions technical report as described in N1544, "Comments about Issues with Random Number Generators"

  Mover: Brown

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	19	0	0
  WG21	6	0	0

  (one vote not present in the room at the time)

• TR issue 9: Move to amend the library extensions technical report as described in N1549, "Const correctness in unordered associative containers"

  Mover: Austern

  Seconder: Dawes

  
  

  WG	favor	oppose	abstain
  J16	19	0	0
  WG21	6	0	0

• TR issue 12: Move to amend section 2.2.3.2 [tr.util.smartptr.shared.dest] of the library extensions technical report by changing the postcondition for shared_ptr(auto_ptr &) from "use_count() == 1" to "use_count() = 1 && r.get() = 0".

  Mover: Dawes

  Seconder: Austern

  
  

  WG	favor	oppose	abstain
  J16	19	0	0
  WG21	6	0	0

Decimal Arithmetic

Move to request SC22 to approve a new Work Item to produce a Type 2 TR on the integration of IEEE-754R decimal floating-point arithmetic into C++.

Move to request that the convenor of WG21 establish a rapporteur group for the purpose of preparing Type 2 TR on decimal floating-pont, with P J Plauger acting as convenor to the rapporteur group.

Other

Simonsen proposed that we appoint a liaison to ECMA TG5.

Nelson expressed discomfort with this proposal, as the possibility of such a liaison has received little discussion prior to this meeting.

Plum noted that the approval of JTC1 is required for formal liaison with a non-JTC1 committee. Plum promised to invesigate the procedures and policies that would govern such a liaison.

Stroustrup indicated that the meaning of the proposal cannot be assessed, since the nature of such a liaison is as yet unknown.

Plum encouraged individuals with an interest in the work of TG5 simply to join ECMA.

Much discussion ensued.

Simonsen noted that there is a liaison between SC22 and ECMA.

Move to appoint a liaison to ECMA TG5

8.2 Review of action items, decisions made, and documents approved by the committee

8.3 Issues delayed until Friday

9. Plans for the future

9.1 Next meeting

9.2 Mailings

9.3 Following meetings

Dawes moved to thank the host.
Applause.

Motion to adjourn

Meeting adjourned at 09:24(GMT-10:00)

Attendance