Using implicit function template specialization to check if an identifier is an array

[Angel Tsankov]

I'm thinking about using a function tamplate to verify that an
identifier is of an array type. May the following template be
used for this purpose:

template< typename T, int N >
void check_array( T(&)[N] )
{
}

And what about using size_t instead of int?
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.m oderated. First time posters: Do this! ]

[Angel Tsankov]

>>I'm thinking about using a function tamplate to verify that

>>an
identifier is of an array type. May the following template be
used for this purpose:

template< typename T, int N >
void check_array( T(&)[N] )
{
}

How do you envision using the check_array() function template
to a test
for an array type exactly? If anything, std::tr1::is_ar ray (or
std::is_arra y in the future) is pretty easy to use:

Where can I get an implementation of tr1?

[Greg]

Angel Tsankov wrote:

I'm thinking about using a function tamplate to verify that an
identifier is of an array type. May the following template be
used for this purpose:

template< typename T, int N >
void check_array( T(&)[N] )
{
}

How do you envision using the check_array function template to test for
an array type? I think std::tr1::is_ar ray would probably be more
convenient:

#include <iostream>
#include <ios>
#include <tr1/type_traits>

using std::tr1::is_ar ray;

int main()
{
bool b = is_array< int[5] >::value;

std::cout << std::boolalpha << b << "\n";
}

Program Output:

true

Greg

[Angel Tsankov]

>I'm thinking about using a function tamplate to verify that an

>identifier is of an array type. May the following template be
used for this purpose:

template< typename T, int N >
void check_array( T(&)[N] )
{
}

How do you envision using the check_array function template to
test for
an array type? I think std::tr1::is_ar ray would probably be
more
convenient:

#include <iostream>
#include <ios>
#include <tr1/type_traits>

using std::tr1::is_ar ray;

int main()
{
bool b = is_array< int[5] >::value;

std::cout << std::boolalpha << b << "\n";
}

Program Output:

true

Can one use std::tr1::is_ar ray with array, e.g.:

int array[5];
bool const b = std::tr1::is_ar ray<array>::val ue;