<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Apr 18, 2012, at 8:35 PM, Chandler Carruth wrote:</div><blockquote type="cite"><div><div class="gmail_quote">On Wed, Apr 18, 2012 at 8:09 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com">rafael.espindola@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":4wl">I have a small concern that if a users writes an explicit<br>
attribute in a class member, he will find it surprising when it gets<br>
overwritten.</div></blockquote></div><br></div><div>I'm not sufficiently well versed in visibility rules to really chime in on what the right model is, but there is a simple solution to this problem at least: add a warning about explicit member visibility attributes that get overridden?</div></blockquote><br></div><div>But all of the attributes here have an effect. If you instantiated</div><div>Rafael's template at a type with non-hidden visibility, e.g. int,</div><div>the member's attribute still takes precedence. The attribute is</div><div>only "overridden" in the specific case of instantiating the</div><div>template at a hidden argument. I'm not convinced this is</div><div>actually a problem that bears a warning, vs. something that</div><div>we should defer to some hypothetical "explain everything that's</div><div>happening with this symbol" IDE query.</div><div><br></div><div>John.</div></body></html>