[Bug c++/30836] New: template T[] doesn't catch T[5]

[Bug c++/30836] New: template T[] doesn't catch T[5]

[igodard at pacbell dot net]

The code:
#include <iostream>

template<typename T> struct foo {
static const int i = 0; };
template<>
template<typename U> struct foo<U[]> {
static const int i = 1; };

int main() {
    int v[5];
    std::cerr << foo<int[5]>::i << ":" <<  foo<int[]>::i << "\n";
    return 0;
    }


prints:
0:1

which shows that int[5] is not caught by a T[] specialization. This may be the
standard, but I'm not sure and submit it anyway in case it's a bug.


-- 
           Summary: template T[] doesn't catch T[5]
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: igodard at pacbell dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30836

[Bug c++/30836] template T[] doesn't catch T[5]

[igodard at pacbell dot net]

------- Comment #1 from igodard at pacbell dot net  2007-02-17 19:11 -------
p.s. I know I can catch it with:
template<>
template<Type T, size_t N> 
struct foo<T[N]> {...}

but I though that plain "[]" would catch it too.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30836

[Bug c++/30836] template T[] doesn't catch T[5]

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2007-04-09 18:45 -------
Just a side note: You should remove the "template<>" as it is invalid
and only accidentally accepted by GCC, see PR24314.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30836

[Bug c++/30836] template T[] doesn't catch T[5]

[pcarlini at suse dot de]

------- Comment #3 from pcarlini at suse dot de  2007-08-06 09:13 -------
Yes, the standard is clear that array of unknown bound of T and array of N of T
are different types. And we are all implementing the is_array trait with 2
specializations (Vandevoorde and Josuttis included in their book).


-- 

pcarlini at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30836