This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization
- From: "boostcpp at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 7 Aug 2010 12:18:57 -0000
- Subject: [Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization
- References: <bug-45225-18871@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from boostcpp at gmail dot com 2010-08-07 12:18 -------
My bad. Never mind.
(In reply to comment #1)
> I also noticed gcc accept this code.
> Should I create separate bug report?
>
> template < typename ... Types >
> class Foo { };
>
> // Params is template parameter.
> template < typename ... Types, typename Params >
> class Foo< typename template Types < Params > ... >
> { } ;
>
> int main()
> {
> // gcc accepts this.
> // actually tuple must take exactly one template argument.
> Foo< std::tuple<int, int>, std::tuple<int, float, double> > a ;
> }
>
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45225