Boost logo

Boost :

From: Paul Mensonides (pmenso57_at_[hidden])
Date: 2003-01-11 15:15:53


----- Original Message -----
From: "Gabriel Dos Reis" <gdr_at_[hidden]>

> | ...which makes "T" equal to "is_ptr<int*>::unnamed_type" -- which is
> | illegal.
>
> This, I don't get. What I am missing?
>
> | The problem is not binding the reference to const (as would be the
problem
> | with static const without a definition), but rather the template
argument
> | deduction attempting to bind an unnamed type to a template parameter.
>
> Yes, but which text in the Standard forbids that?

14.3.1/2 [quote--

A local type, a type with no linkage, an unnamed type or a type compounded
from any of these types shall not be used as a template-argument for a
template type-parameter.

--end quote]

Paul Mensonides


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk