Parameters vs. arguments

I love being pedantic with students :) These two terms are sometimes loosely used interchangeably; in particular, "argument" is sometimes used in place of "parameter". Nevertheless, there is a difference. Properly, parameters appear in procedure definitions; arguments appear in procedure calls. Source…

Non-deducible template arguments

I finally found a really nice example explaining the problem. I'd like to summarize the main points. Assume the existence of the following metafunction: template<typename T> struct map_of { using type = std::map<T, T>; }; The following function seems therefore reasonable: template<typename U&…