Revision as of 15:04, 12 October 2011 edit 94.245.127.15 (talk) →Example ← Previous edit		Revision as of 15:12, 12 October 2011 edit undo Awfidius (talk \| contribs) 62 edits m Changed identifier names for clarity (an identifier called "type" leads to sentences containing many derivates of the word "type", increasing cognitive burden on the reader). Next edit →
Line 2: Specifically, when creating a candidate set for [[overload resolution]], some (or all) candidates of that set may be the result of substituting deduced template arguments for the template parameters. If an error occurs during substitution, the compiler removes the potential overload from the candidate set instead of stopping with a compilation error, provided the substitution error is one the C++ standard grants such treatment.<ref>International Organization for Standardization. "ISO/IEC 14882:2003, Programming languages — C++", § 14.8.2.</ref> If one or more candidates remain and overload resolution succeeds, the invocation is well-formed. ==Example==

Substitution failure is not an error: Difference between revisions