Created on 2014-12-12.00:00:00 last changed 95 months ago
Notes from the February, 2016 meeting:
CWG felt that this usage should be permitted, but only for template template parameters with a parameter pack.. Furthermore, if the template template parameter has a default argument followed by a parameter pack, the parameter's default argument would be used, followed by any remaining default arguments from the template template argument.
It is not clear how to handle an example like:
template<typename T1, typename T2 = char> class A { }; template<template<typename... T> class X> class S { X<int> x; }; S<A> a;
Issue 184 dealt with a similar question but did so in the era before variadic templates. This usage should be permitted in modern C++.
History | |||
---|---|---|---|
Date | User | Action | Args |
2017-02-06 00:00:00 | admin | set | messages: + msg5757 |
2017-02-06 00:00:00 | admin | set | status: open -> drafting |
2014-12-12 00:00:00 | admin | create |