Revised wording from Ville (Part I)

Author: Dani-Hub

xml/issue2510.xml

@@ -1,8 +1,5 @@
 <?xml version='1.0' encoding='UTF-8' standalone='no'?>
-<!DOCTYPE issue SYSTEM "lwg-issue.dtd" [ 
-  <!ENTITY hellip "&#x2026;">
-  <!ENTITY mdash  "&#x2014;">
-] >
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
 
 <issue num="2510" status="Open">
 <title>Tag types should not be <tt>DefaultConstructible</tt></title>
@@ -63,9 +60,16 @@ Move to Tentatively Ready.
 <p>VV: The guideline is that anything that does not mention the type name explicitly should not invoke an explicit constructor.</p>
 <p>Ville will provide wording.</p>
 <p>Discussion about pair/tuple's default constructor - should they now be explicit?</p>
-</discussion>
 
-<resolution>
+<note>2016-01-31</note>
+<p>
+Ville provides revised wording.
+</p>
+
+<p>
+<strong>Previous resolution [SUPERSEDED]:</strong>
+</p>
+<blockquote class="note">
 <p>
 This wording is relative to N4527.
 </p>
@@ -200,6 +204,104 @@ argument of literal type.</ins>
 </blockquote>
 
 </li>
+</ol>
+</blockquote>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to N4567.
+</p>
+
+<ol>
+<li><p>In <sref ref="[support.dynamic]"/>/1, change the header <tt>&lt;new&gt;</tt> synopsis:</p>
+
+<blockquote><pre>
+[&hellip;]
+struct nothrow_t { <ins>explicit nothrow_t() = default;</ins> };
+extern const nothrow_t nothrow;
+[&hellip;]
+</pre></blockquote>
+</li>
+
+<li><p>In <sref ref="[utility]"/>/2, change the header <tt>&lt;utility&gt;</tt> synopsis:</p>
+
+<blockquote><pre>
+[&hellip;]
+// <i>20.3.5, pair piecewise construction</i>
+struct piecewise_construct_t { <ins>explicit piecewise_construct_t() = default;</ins> };
+constexpr piecewise_construct_t piecewise_construct{ <ins><i>unspecified</i></ins> };
+[&hellip;]
+</pre></blockquote>
+</li>
+
+<li><p>In <sref ref="[pair.piecewise]"/>, apply the following edits:</p>
+
+<blockquote><pre>
+struct piecewise_construct_t { <ins>explicit piecewise_construct_t() = default;</ins> };
+constexpr piecewise_construct_t piecewise_construct{ <ins><i>unspecified</i></ins> };
+</pre></blockquote>
+</li>
+
+<li><p>In <sref ref="[memory.syn]"/>/1, change the header <tt>&lt;memory&gt;</tt> synopsis:</p>
+
+<blockquote><pre>
+[&hellip;]
+// <i>20.7.6, allocator argument tag</i>
+struct allocator_arg_t { <ins>explicit allocator_arg_t() = default;</ins> };
+constexpr allocator_arg_t allocator_arg{ <ins><i>unspecified</i></ins> };
+[&hellip;]
+</pre></blockquote>
+</li>
+
+<li><p>In <sref ref="[allocator.tag]"/>, apply the following edits:</p>
+
+<blockquote><pre>
+namespace std {
+  struct allocator_arg_t { <ins>explicit allocator_arg_t() = default;</ins> };
+  constexpr allocator_arg_t allocator_arg{ <ins><i>unspecified</i></ins> };
+}
+</pre></blockquote>
+<blockquote class="note">
+<p>
+Editorial drive-by: <tt>piecewise_construct_t</tt> is written, in <sref ref="[pair.piecewise]"/> like
+</p>
+<blockquote><pre>
+struct piecewise_construct_t { };
+constexpr piecewise_construct_t piecewise_construct{};
+</pre></blockquote>
+<p>
+whereas other tag types such as <tt>allocator_construct_t</tt> are, in e.g.
+<sref ref="[allocator.tag]"/>, written like
+</p>
+<blockquote><pre>
+namespace std {
+  struct allocator_arg_t { };
+  constexpr allocator_arg_t allocator_arg{};
+}
+</pre></blockquote>
+<p>
+We should decide whether or not to write out the <tt>std</tt> namespace in such
+paragraphs. I would suggest not to write it out.
+</p>
+</blockquote>
+
+</li>
+<li><p>In <sref ref="[thread.mutex]"/>/1, change the header <tt>&lt;mutex&gt;</tt> synopsis:</p>
+
+<blockquote><pre>
+[&hellip;]
+struct defer_lock_t { <ins>explicit defer_lock_t() = default;</ins> };
+struct try_to_lock_t { <ins>explicit try_to_lock_t() = default;</ins> };
+struct adopt_lock_t { <ins>explicit adopt_lock_t() = default;</ins> };
+
+constexpr defer_lock_t defer_lock { <ins><i>unspecified </i></ins> };
+constexpr try_to_lock_t try_to_lock { <ins><i>unspecified </i></ins> };
+constexpr adopt_lock_t adopt_lock { <ins><i>unspecified </i></ins> };
+[&hellip;]
+</pre></blockquote>
+</li>
+
 </ol>
 </resolution>