Mailing-List: contact dev-help@stdcxx.apache.org; run by ezmlm
Precedence: bulk
Reply-To: dev@stdcxx.apache.org
Received-SPF: pass (athena.apache.org: local policy)
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Subject: RE: tests/utilities/20.meta.help.cpp
Date: Fri, 20 Jun 2008 12:59:01 -0600
Message-ID: 
 <CFFDD219128FD94FB4F92B99F52D0A499AA8BF@exchmail01.Blue.Roguewave.Com>
Thread-Topic: tests/utilities/20.meta.help.cpp
Thread-Index: AcjTBBTioERHZgHwRvWjg7Ij+FOvggAASYXw
References: 
 <CFFDD219128FD94FB4F92B99F52D0A4901DB05D7@exchmail01.Blue.Roguewave.Com>
From: "Travis Vitek" <Travis.Vitek@roguewave.com>
To: <dev@stdcxx.apache.org>

=20

Eric Lemings wrote:
>
>=20
>Just a brief side note.  I was just reviewing this test and=20
>noticed that
>pointers are not tested though they are valid scalar types suitable for
>use as integral_constant parameters.  I think references may be valid
>parameters also.
>=20

I'm not sure.

The first thing that jumps to mind is that a pointer is not of
'integral' type. An enumeration isn't really an integral type either,
but they are implicitly convertible to one. Pointers aren't convertible
to integral type without a cast.

According to temp.arg.nontype, a non-type, non-template template
parameter must be one of

  -- an integral constant expression
  -- the name of a non-type template-parameter
  -- the address of an object or function with external linkage...
  -- a constant expression that evaluates to a null pointer value
  -- a constant expression that evaluates to a null member pointer value
  -- a pointer to member

So, yes, it is legal to use a pointer as a non-type template parameter.

The issue I have is that the integral_constant<T,V> is supposed to
define an integral constant of type T with value V. Section expr.const
says that a constant expression is an integral constant expression if it
is of integral or enumeration type. An integral constant expression can
be used as an array bound, a case expression, a bit field length,
enumeration initializer, static member initializer and as integral or
enumeration non-type template arguments.

I'm pretty sure you can't use a pointer value as an array bound, case
expression, bit field length or enumeration initializer, so they aren't
really integral constants.

So I am sure you can instantiate std::integral_constant<void
(class_t::*)(), &class::method>, but I'm not sure if it something that
should be tested.

>Brad.
>