Loki's tricky templates

[Paolo Carlini]

Thanks!

you are so kind in providing me with detailed citations from the standard: with
"Gaby" Dos Reis we seriously doubted that real errors were present in the Loki
code, perhaps because there are in it so many cool but nonetheless exotic and/or
frequently unimplemented template patterns (and quite a few typos ;)
(also, in many cases a diagnostic message pointing to the real issue in the
standard clearly emerges only after a good amount of distillation...)

In these days I'm just trying to disentagle the whole and your help has been very
useful!

P.


Kriang Lerdsuwanakij wrote:

> >     http://gcc.gnu.org/ml/gcc/2001-04/msg01019.html
>
> Sure, the code is illegal.  According to the standard, in section 14.3.1
> paragraph 2:
>      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.
> So template argument deduction for SetLongevity function call fails.
>
> --Kriang