CWG2260 Explicit specializations of deleted member functions

Author: Dawn Perchik

source/templates.tex

@@ -5635,16 +5635,37 @@
 
 \pnum
 The implicit instantiation of a class template specialization causes
-the implicit instantiation of the declarations, but not of the definitions,
-default arguments, or \grammarterm{noexcept-specifier}{s} of the
-class member functions,
-member classes,
-scoped member enumerations,
-static data members,
-member templates, and
-friends; and
-it causes the implicit instantiation of the definitions of
-unscoped member enumerations and member anonymous unions.
+\begin{itemize}
+\item
+  the implicit instantiation of the declarations, but not of the definitions,
+  of the non-deleted
+  class member functions,
+  member classes,
+  scoped member enumerations,
+  static data members,
+  member templates, and
+  friends; and
+\item
+  the implicit instantiation of the definitions of
+  deleted member functions,
+  unscoped member enumerations, and
+  member anonymous unions.
+\end{itemize}
+The implicit instantiation of a class template specialization
+does not cause the implicit instantiation of
+default arguments or \grammarterm{noexcept-specifier}{s}
+of the class member functions.
+\begin{example}
+\begin{codeblock}
+template<class T>
+struct C {
+  void f() { T x; }
+  void g() = delete;
+};
+C<void> c;                       // OK, definition of \tcode{C<void>::f} is not instantiated at this point
+template<> void C<int>::g() { }  // error: redefinition of \tcode{C<int>::g}
+\end{codeblock}
+\end{example}
 However, for the purpose of determining whether an instantiated redeclaration
 is valid according to~\ref{basic.def.odr} and \ref{class.mem},
 a declaration that corresponds to a definition in the template