static member initialization

[kiryazev]

Hello! The following code compiles fine.

template <typename C>
struct T
{
typedef typename C::Type * pType;
template <pType A>
struct D
{
static const pType Val;
};
};

template<typename C>
template<typename C::Type* A// line #13
const typename T<C>::pType T<C>::D<A>::Val = A;

int main()
{
}

But if one replaces line#13 with

template<typename T<C>::pType A>

it does not.
Does anybody know why?

[Victor Bazarov]

ki******@gmail.com wrote:

Hello! The following code compiles fine.

template <typename C>
struct T
{
typedef typename C::Type * pType;
template <pType A>
struct D
{
static const pType Val;
};
};

template<typename C>
template<typename C::Type* A// line #13
const typename T<C>::pType T<C>::D<A>::Val = A;

int main()
{
}

But if one replaces line#13 with

template<typename T<C>::pType A>

it does not.
Does anybody know why?

I can tell you the Comeau online trial compiler says it's
because "declaration is incompatible with constant
"C::Type *A" (declared at line 5)"

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[kiryazev]

Victor Bazarov wrote:

I can tell you the Comeau online trial compiler says it's
because "declaration is incompatible with constant
"C::Type *A" (declared at line 5)"

Thanks. But I don't see the difference between these two variants.
(typeid(typename T<C>::pType) == typeid(typename C::Type*)) returns
true. Moreover struct D parametrized using pType not C::Type*.

[Victor Bazarov]

ki******@gmail.com wrote:

Victor Bazarov wrote:

>I can tell you the Comeau online trial compiler says it's
because "declaration is incompatible with constant
"C::Type *A" (declared at line 5)"

Thanks. But I don't see the difference between these two variants.
(typeid(typename T<C>::pType) == typeid(typename C::Type*)) returns
true. Moreover struct D parametrized using pType not C::Type*.

I was curious about that as well. I don't have the exact answer, for
you though. My best guess is that by the time you try using the
'T<C>::pType' the T<Chasn't been instantitated yet. It would cause
an instantiation but does not until you actually instantiate the 'Val'
member in 'D', and then the compiler probably gets lost trying to
resolve what 'pType' is supposed to be. The difference with the 'Val'
declaration itself is that here you're trying to use it as a template
argument.

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask