CWG2662 Example for member access control vs. overload resolution

Author: burblebee

source/classes.tex

@@ -4270,6 +4270,19 @@
 access control is applied to it, not to the declarations that replace it.
 For an overload set, access control is applied only to
 the function selected by overload resolution.
+\begin{example}
+\begin{codeblock}
+struct S {
+  void f(int);
+private:
+  void f(double);
+};
+
+void g(S* sp) {
+  sp->f(2);         // OK, access control applied after overload resolution
+}
+\end{codeblock}
+\end{example}
 \begin{note}
 Because access control applies to the declarations named, if access control is applied to a
 \grammarterm{typedef-name}, only the accessibility of the typedef or alias declaration itself is considered.