Oct 14, 2015

[C++14][stackoverflow][template]Order of template argument substitution matters, in C++14.

[stackoverflow][template]

Order of template argument substitution matters, in C++14.

"quote:"
As stated C++14 explicitly says that the order of template argument substitution is well-defined; more specifically it will be guaranteed to proceed in "lexical order and halt whenever a substitution causes the deduction to fail.

Ch. 11.2 Deduced Contexts (Nicolai)
Qualified type names are not used for decuced context. A type name like Q::X will never be used to deduce a template parameter.

Reference:
stackoverflow.c...2368023/1316609

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.