CWG2856 Copy-list-initialization with explicit default constructors

cplusplus · tkoeppe · Apr 15, 2024 · Mar 26, 2024 · Mar 26, 2024 · Mar 27, 2024
commit 6b3f68b392172791813b1e77671d2fe9d9693e5a
diff --git a/source/overloading.tex b/source/overloading.tex
@@ -1001,17 +1001,18 @@
 or default-initialized\iref{dcl.init},
 overload resolution selects the constructor.
 For direct-initialization or default-initialization
-that is not in the context of copy-initialization, the
-candidate functions are
+(including default-initialization in the context of copy-list-initialization),
+the candidate functions are
 all the constructors of the class of the object being
 initialized.
-For copy-initialization (including default initialization
-in the context of copy-initialization), the candidate functions are all
+Otherwise, the candidate functions are all
 the converting constructors\iref{class.conv.ctor} of that
 class.
 The argument list is the
 \grammarterm{expression-list} or \grammarterm{assignment-expression}
 of the \grammarterm{initializer}.
+For default-initialization in the context of copy-list-initialization,
+if an explicit constructor is chosen, the initialization is ill-formed.

 \rSec3[over.match.copy]{Copy-initialization of class by user-defined conversion}%
 \indextext{overloading!resolution!initialization}