accessing members of a templated base class

This code fails to compile on Comeau C++ and VC++ 7.1 (with language
extensions disabled)

template <class T>
struct B
{
T b;
};

template <class T>
struct D : B<T>
{
void f() { b = 1; }
};

int main()
{
D<int> x;
x.f();
}

Error messages refer to 'b = 1;' with the message 'undefined identifier b'.
Substituting this->b for b or making B a non-template class both make the
code compile.

What's going on here? I was so surprised when I saw this on VC++ that I
assumed it was a compiler bug, but apparently not.

john

re: accessing members of a templated base class

"John Harrison" <john_andronicus@hotmail.com> wrote...[color=blue]
> This code fails to compile on Comeau C++ and VC++ 7.1 (with language
> extensions disabled)
>
> template <class T>
> struct B
> {
> T b;
> };
>
> template <class T>
> struct D : B<T>
> {
> void f() { b = 1; }
> };
>
> int main()
> {
> D<int> x;
> x.f();
> }
>
> Error messages refer to 'b = 1;' with the message 'undefined identifier[/color]
b'.[color=blue]
> Substituting this->b for b or making B a non-template class both make the
> code compile.
>
> What's going on here? I was so surprised when I saw this on VC++ that I
> assumed it was a compiler bug, but apparently not.[/color]

Why do you say "apparently not"? I cannot find anything in the Standard
that would make the look-up of name 'b' in D<T>::f() fail. As far as the
Standard goes, the usual rules of 10.2 should apply. The base class has
to be searched if 'b' is not found in D definition.

14.6/8 says "When looking for the declaration of a name used in a template
definition, the usual lookup rules (3.4.1, 3.4.2) are used for nondependent
names."

3.4.1/8 says "A name used in the definition of a function that is a member
function (9.3)29) of class X shall be declared in one of the following
ways:
- before its use in the block in which it is used or in an enclosing block
(6.3), or
- shall be a member of class X or be a member of a base class of X (10.2),
or ..."

So, "shall be a member of class X or be a member of a base class of X"
should do it. 'b' is a member of the base class.

Well, at least that's how I read it. Perhaps Greg Comeau or other
knowledgeable people will enlighten us both.

Victor

re: accessing members of a templated base class

"John Harrison" <john_andronicus@hotmail.com> wrote...[color=blue]
> This code fails to compile on Comeau C++ and VC++ 7.1 (with language
> extensions disabled)
>
> template <class T>
> struct B
> {
> T b;
> };
>
> template <class T>
> struct D : B<T>
> {
> void f() { b = 1; }
> };
>
> int main()
> {
> D<int> x;
> x.f();
> }
>
> Error messages refer to 'b = 1;' with the message 'undefined identifier[/color]
b'.[color=blue]
> Substituting this->b for b or making B a non-template class both make the
> code compile.
>
> What's going on here? I was so surprised when I saw this on VC++ that I
> assumed it was a compiler bug, but apparently not.[/color]

Why do you say "apparently not"? I cannot find anything in the Standard
that would make the look-up of name 'b' in D<T>::f() fail. As far as the
Standard goes, the usual rules of 10.2 should apply. The base class has
to be searched if 'b' is not found in D definition.

14.6/8 says "When looking for the declaration of a name used in a template
definition, the usual lookup rules (3.4.1, 3.4.2) are used for nondependent
names."

3.4.1/8 says "A name used in the definition of a function that is a member
function (9.3)29) of class X shall be declared in one of the following
ways:
- before its use in the block in which it is used or in an enclosing block
(6.3), or
- shall be a member of class X or be a member of a base class of X (10.2),
or ..."

So, "shall be a member of class X or be a member of a base class of X"
should do it. 'b' is a member of the base class.

Well, at least that's how I read it. Perhaps Greg Comeau or other
knowledgeable people will enlighten us both.

Victor

re: accessing members of a templated base class

On Sun, 10 Aug 2003 14:13:59 +0100, "John Harrison" <john_andronicus@hotmail.com> wrote:
[color=blue]
>This code fails to compile on Comeau C++ and VC++ 7.1 (with language
>extensions disabled)
>
>template <class T>
>struct B
>{
> T b;
>};
>
>template <class T>
>struct D : B<T>
>{
> void f() { b = 1; }
>};
>
>int main()
>{
> D<int> x;
> x.f();
>}
>
>Error messages refer to 'b = 1;' with the message 'undefined identifier b'.
>Substituting this->b for b or making B a non-template class both make the
>code compile.[/color]

Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)

It compiles just fine with 7.0, with and without language extensions
disabled (/Za).


[color=blue]
>What's going on here? I was so surprised when I saw this on VC++ that I
>assumed it was a compiler bug, but apparently not.[/color]

Apparently it is a compiler bug.

At least, I agree with Victor that the usual look-up rules should apply.

re: accessing members of a templated base class

On Sun, 10 Aug 2003 14:13:59 +0100, "John Harrison" <john_andronicus@hotmail.com> wrote:
[color=blue]
>This code fails to compile on Comeau C++ and VC++ 7.1 (with language
>extensions disabled)
>
>template <class T>
>struct B
>{
> T b;
>};
>
>template <class T>
>struct D : B<T>
>{
> void f() { b = 1; }
>};
>
>int main()
>{
> D<int> x;
> x.f();
>}
>
>Error messages refer to 'b = 1;' with the message 'undefined identifier b'.
>Substituting this->b for b or making B a non-template class both make the
>code compile.[/color]

Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)

It compiles just fine with 7.0, with and without language extensions
disabled (/Za).


[color=blue]
>What's going on here? I was so surprised when I saw this on VC++ that I
>assumed it was a compiler bug, but apparently not.[/color]

Apparently it is a compiler bug.

At least, I agree with Victor that the usual look-up rules should apply.

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]

Are you also glad that you haven't checked whether you have the EDG
front end? <g> It rejects this code, too.
[color=blue]
>
> It compiles just fine with 7.0, with and without language extensions
> disabled (/Za).
>[color=green]
> >What's going on here? I was so surprised when I saw this on VC++ that I
> >assumed it was a compiler bug, but apparently not.[/color]
>
> Apparently it is a compiler bug.
>
> At least, I agree with Victor that the usual look-up rules should apply.[/color]

Since EDG rejects it, I suspect that the analysis is wrong. I don't
claim to understand two-phase lookup, but it looks to me like 'b' is a
dependent name. After all, its meaning depends on the defintion of B<T>,
and B<T> can be specialized for various T's. During phase one it has to
be explicitly qualified, in order to tell the compiler that not having a
'b' in B<T> is an error.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]

Are you also glad that you haven't checked whether you have the EDG
front end? <g> It rejects this code, too.
[color=blue]
>
> It compiles just fine with 7.0, with and without language extensions
> disabled (/Za).
>[color=green]
> >What's going on here? I was so surprised when I saw this on VC++ that I
> >assumed it was a compiler bug, but apparently not.[/color]
>
> Apparently it is a compiler bug.
>
> At least, I agree with Victor that the usual look-up rules should apply.[/color]

Since EDG rejects it, I suspect that the analysis is wrong. I don't
claim to understand two-phase lookup, but it looks to me like 'b' is a
dependent name. After all, its meaning depends on the defintion of B<T>,
and B<T> can be specialized for various T's. During phase one it has to
be explicitly qualified, in order to tell the compiler that not having a
'b' in B<T> is an error.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

On Sun, 10 Aug 2003 10:12:08 -0400, Pete Becker <petebecker@acm.org> wrote:
[color=blue]
>"Alf P. Steinbach" wrote:[color=green]
>>
>> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]
>
>Are you also glad that you haven't checked whether you have the EDG
>front end? <g> It rejects this code, too.[/color]

I'm pretty sure that I don't have that, since I don't have Comeau,
unless it's used by Visual C++ 7.1.


[color=blue][color=green]
>> It compiles just fine with 7.0, with and without language extensions
>> disabled (/Za).
>>[color=darkred]
>> >What's going on here? I was so surprised when I saw this on VC++ that I
>> >assumed it was a compiler bug, but apparently not.[/color]
>>
>> Apparently it is a compiler bug.
>>
>> At least, I agree with Victor that the usual look-up rules should apply.[/color]
>
>Since EDG rejects it, I suspect that the analysis is wrong.[/color]

EDG lists Comeau Computing as one of the compilers (or at least, companies)
that use their front-end.

If that's correct that means it's still just two compilers (or compiler
parts) that reject the code: Visual C++ 7.1 and Comeau.

If Visual C++ 7.1 also uses the EDG front-end then it's just one.

re: accessing members of a templated base class

On Sun, 10 Aug 2003 10:12:08 -0400, Pete Becker <petebecker@acm.org> wrote:
[color=blue]
>"Alf P. Steinbach" wrote:[color=green]
>>
>> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]
>
>Are you also glad that you haven't checked whether you have the EDG
>front end? <g> It rejects this code, too.[/color]

I'm pretty sure that I don't have that, since I don't have Comeau,
unless it's used by Visual C++ 7.1.


[color=blue][color=green]
>> It compiles just fine with 7.0, with and without language extensions
>> disabled (/Za).
>>[color=darkred]
>> >What's going on here? I was so surprised when I saw this on VC++ that I
>> >assumed it was a compiler bug, but apparently not.[/color]
>>
>> Apparently it is a compiler bug.
>>
>> At least, I agree with Victor that the usual look-up rules should apply.[/color]
>
>Since EDG rejects it, I suspect that the analysis is wrong.[/color]

EDG lists Comeau Computing as one of the compilers (or at least, companies)
that use their front-end.

If that's correct that means it's still just two compilers (or compiler
parts) that reject the code: Visual C++ 7.1 and Comeau.

If Visual C++ 7.1 also uses the EDG front-end then it's just one.

re: accessing members of a templated base class

> >[color=blue][color=green]
> > What's going on here? I was so surprised when I saw this on VC++ that I
> > assumed it was a compiler bug, but apparently not.[/color]
>
> Why do you say "apparently not"?[/color]

Because two apparently unrelated compilers produce effectively identical
error messages. I hadn't considered Alf's suggestion that VC++ 7.1 might use
the EDG front end. However Microsoft aren't on EDG's list of corporate
licensees and you might expect them to make a fuss about it if MS were using
EDG.

john

re: accessing members of a templated base class

> >[color=blue][color=green]
> > What's going on here? I was so surprised when I saw this on VC++ that I
> > assumed it was a compiler bug, but apparently not.[/color]
>
> Why do you say "apparently not"?[/color]

Because two apparently unrelated compilers produce effectively identical
error messages. I hadn't considered Alf's suggestion that VC++ 7.1 might use
the EDG front end. However Microsoft aren't on EDG's list of corporate
licensees and you might expect them to make a fuss about it if MS were using
EDG.

john

re: accessing members of a templated base class

On Sun, 10 Aug 2003 15:47:03 +0100, "John Harrison" <john_andronicus@hotmail.com> wrote:
[color=blue][color=green][color=darkred]
>> >
>> > What's going on here? I was so surprised when I saw this on VC++ that I
>> > assumed it was a compiler bug, but apparently not.[/color]
>>
>> Why do you say "apparently not"?[/color]
>
>Because two apparently unrelated compilers produce effectively identical
>error messages. I hadn't considered Alf's suggestion that VC++ 7.1 might use
>the EDG front end. However Microsoft aren't on EDG's list of corporate
>licensees and you might expect them to make a fuss about it if MS were using
>EDG.[/color]

Only about 50% of the licensees are on the public list.

re: accessing members of a templated base class

On Sun, 10 Aug 2003 15:47:03 +0100, "John Harrison" <john_andronicus@hotmail.com> wrote:
[color=blue][color=green][color=darkred]
>> >
>> > What's going on here? I was so surprised when I saw this on VC++ that I
>> > assumed it was a compiler bug, but apparently not.[/color]
>>
>> Why do you say "apparently not"?[/color]
>
>Because two apparently unrelated compilers produce effectively identical
>error messages. I hadn't considered Alf's suggestion that VC++ 7.1 might use
>the EDG front end. However Microsoft aren't on EDG's list of corporate
>licensees and you might expect them to make a fuss about it if MS were using
>EDG.[/color]

Only about 50% of the licensees are on the public list.

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> On Sun, 10 Aug 2003 10:12:08 -0400, Pete Becker <petebecker@acm.org> wrote:
>[color=green]
> >"Alf P. Steinbach" wrote:[color=darkred]
> >>
> >> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]
> >
> >Are you also glad that you haven't checked whether you have the EDG
> >front end? <g> It rejects this code, too.[/color]
>
> I'm pretty sure that I don't have that, since I don't have Comeau,
> unless it's used by Visual C++ 7.1.
>[color=green][color=darkred]
> >> It compiles just fine with 7.0, with and without language extensions
> >> disabled (/Za).
> >>
> >> >What's going on here? I was so surprised when I saw this on VC++ that I
> >> >assumed it was a compiler bug, but apparently not.
> >>
> >> Apparently it is a compiler bug.
> >>
> >> At least, I agree with Victor that the usual look-up rules should apply.[/color]
> >
> >Since EDG rejects it, I suspect that the analysis is wrong.[/color]
>
> EDG lists Comeau Computing as one of the compilers (or at least, companies)
> that use their front-end.
>
> If that's correct that means it's still just two compilers (or compiler
> parts) that reject the code: Visual C++ 7.1 and Comeau.
>
> If Visual C++ 7.1 also uses the EDG front-end then it's just one.[/color]

Visual C++ 7.1 does not use the EDG front end. Even if it did, counting
compilers doesn't tell you much. EDG is usually right.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

"Pete Becker" <petebecker@acm.org> wrote in message
news:3F3652B8.D536748A@acm.org...[color=blue]
> "Alf P. Steinbach" wrote:[color=green]
> >
> > Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]
>
> Are you also glad that you haven't checked whether you have the EDG
> front end? <g> It rejects this code, too.
>[color=green]
> >
> > It compiles just fine with 7.0, with and without language extensions
> > disabled (/Za).
> >[color=darkred]
> > >What's going on here? I was so surprised when I saw this on VC++ that
> > > I assumed it was a compiler bug, but apparently not.[/color]
> >
> > Apparently it is a compiler bug.
> >
> > At least, I agree with Victor that the usual look-up rules should
> > apply.[/color]
>
> Since EDG rejects it, I suspect that the analysis is wrong. I don't
> claim to understand two-phase lookup, but it looks to me like 'b' is a
> dependent name.[/color]

Exactly. Use

template <class T>
struct B
{
T b;
};

template <class T>
struct D : B<T>
{
void f() { B<T>::b = 1; }
};

or perhaps

template <class T>
struct B
{
T b;
};

template <class T>
struct D : B<T>
{
using B<T>::b;
void f() { b = 1; }
};

if you'll be using B's b in many places in D (note, if B's b was protected,
you should probably also make the using decl. protected).

/kv

re: accessing members of a templated base class

On Sun, 10 Aug 2003 14:13:59 +0100, John Harrison wrote:
[color=blue]
> This code fails to compile on Comeau C++ and VC++ 7.1 (with language
> extensions disabled)
>
> template <class T>
> struct B
> {
> T b;
> };
>
> template <class T>
> struct D : B<T>
> {
> void f() { b = 1; }
> };
>
> int main()
> {
> D<int> x;
> x.f();
> }
>
> Error messages refer to 'b = 1;' with the message 'undefined identifier b'.
> Substituting this->b for b or making B a non-template class both make the
> code compile.
>
> What's going on here? I was so surprised when I saw this on VC++ that I
> assumed it was a compiler bug, but apparently not.
>
> john[/color]

It's definitely not a compiler bug. HP's aCC compiler even tells you where
to look in the Standard:

Error (future) 641: "xx.cc", line 16 # Undeclared variable 'b'. A variable
with the same name exists in a template base class, but is not visible
according to the Standard lookup rules (See [temp.dep], 14.6.2(3) in the
C++ Standard). You can make it visible by writing 'this->b'.
void f() { b = 3; }
^

There is an explanation of this rule in the book "C++ Templates - The
Complete Guide" by Vandevoorde and Josuttis (section 9.4.2).

re: accessing members of a templated base class

Pete Becker wrote:[color=blue]
>
> "Alf P. Steinbach" wrote:[color=green]
> >
> > If Visual C++ 7.1 also uses the EDG front-end then it's just one.[/color]
>
> Visual C++ 7.1 does not use the EDG front end.[/color]

What I should have said is, do you have any reason to think that VC++
used EDG's front end? I have no information either way.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

On Sun, 10 Aug 2003 10:12:08 -0400, Pete Becker <petebecker@acm.org> wrote:
[color=blue]
>"Alf P. Steinbach" wrote:[color=green]
>>
>> Am I glad that I haven't even checked whether I _have_ VC 7.1... ;-)[/color]
>
>Are you also glad that you haven't checked whether you have the EDG
>front end? <g> It rejects this code, too.
>[color=green]
>>
>> It compiles just fine with 7.0, with and without language extensions
>> disabled (/Za).
>>[color=darkred]
>> >What's going on here? I was so surprised when I saw this on VC++ that I
>> >assumed it was a compiler bug, but apparently not.[/color]
>>
>> Apparently it is a compiler bug.
>>
>> At least, I agree with Victor that the usual look-up rules should apply.[/color]
>
>Since EDG rejects it, I suspect that the analysis is wrong. I don't
>claim to understand two-phase lookup, but it looks to me like 'b' is a
>dependent name. After all, its meaning depends on the defintion of B<T>,
>and B<T> can be specialized for various T's. During phase one it has to
>be explicitly qualified, in order to tell the compiler that not having a
>'b' in B<T> is an error.[/color]

?

I agree that this two-phase thing is a mess... ;-) But just reading the
standard it says that such names are "unbound" (including the operator)
and become bound at template instantiation time. So I fail to see why
it even _could_ be correct to fail to compile this code; all the
information the compiler needs is there, when it needs it.


PS: I also don't understand "that not having a 'b' in B<T> is an error".

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> PS: I also don't understand "that not having a 'b' in B<T> is an error".[/color]

If D<T> mentions 'this->b' but doesn't define 'b' then 'b' must be
defined in its base. If B<int> doesn't have a member named 'b' then the
name is undefined.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> On Sun, 10 Aug 2003 10:12:08 -0400, Pete Becker <petebecker@acm.org> wrote:
>[color=green]
> >Since EDG rejects it, I suspect that the analysis is wrong. I don't
> >claim to understand two-phase lookup, but it looks to me like 'b' is a
> >dependent name. After all, its meaning depends on the defintion of B<T>,
> >and B<T> can be specialized for various T's. During phase one it has to
> >be explicitly qualified, in order to tell the compiler that not having a
> >'b' in B<T> is an error.[/color]
>
> ?
>
> I agree that this two-phase thing is a mess... ;-) But just reading the
> standard it says that such names are "unbound" (including the operator)
> and become bound at template instantiation time. So I fail to see why
> it even _could_ be correct to fail to compile this code; all the
> information the compiler needs is there, when it needs it.
>[/color]

In this area I defer to EDG's reading of the standard.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

On Sun, 10 Aug 2003 16:10:53 +0100, "Simon Saunders" <simon.saunders@net.ntl.com> wrote:
[color=blue]
>On Sun, 10 Aug 2003 14:13:59 +0100, John Harrison wrote:
>[color=green]
>> This code fails to compile on Comeau C++ and VC++ 7.1 (with language
>> extensions disabled)
>>
>> template <class T>
>> struct B
>> {
>> T b;
>> };
>>
>> template <class T>
>> struct D : B<T>
>> {
>> void f() { b = 1; }
>> };
>>
>> int main()
>> {
>> D<int> x;
>> x.f();
>> }
>>
>> Error messages refer to 'b = 1;' with the message 'undefined identifier b'.
>> Substituting this->b for b or making B a non-template class both make the
>> code compile.
>>
>> What's going on here? I was so surprised when I saw this on VC++ that I
>> assumed it was a compiler bug, but apparently not.
>>
>> john[/color]
>
>It's definitely not a compiler bug.[/color]

How can you be sure of that?

[color=blue]
>HP's aCC compiler even tells you where
>to look in the Standard:
>
>Error (future) 641: "xx.cc", line 16 # Undeclared variable 'b'. A variable
> with the same name exists in a template base class, but is not visible
> according to the Standard lookup rules (See [temp.dep], 14.6.2(3) in the
> C++ Standard). You can make it visible by writing 'this->b'.
> void f() { b = 3; }
> ^[/color]

According to §14.6.2/3 the base class scope is not examined _until_ the class
is instantiated -- naturally, since the information required (type T) isn't
present until then. And until then, 'b' is "unbound" according to §14.6.2/1.


[color=blue]
>There is an explanation of this rule in the book "C++ Templates - The
>Complete Guide" by Vandevoorde and Josuttis (section 9.4.2).[/color]

Could you please quote? The rule about not examining the base class
scope until instantiation needs no explanation, really, so if that's
what Jousittis explains it's irrelevant. The failure to compile this
code sans name qualification does need an explanation, and the effect
of qualification (on these compilers) needs to be rooted in the standard.

re: accessing members of a templated base class

On Sun, 10 Aug 2003 11:22:29 -0400, Pete Becker <petebecker@acm.org> wrote:
[color=blue]
>Pete Becker wrote:[color=green]
>>
>> "Alf P. Steinbach" wrote:[color=darkred]
>> >
>> > If Visual C++ 7.1 also uses the EDG front-end then it's just one.[/color]
>>
>> Visual C++ 7.1 does not use the EDG front end.[/color]
>
>What I should have said is, do you have any reason to think that VC++
>used EDG's front end? I have no information either way.[/color]

Neither have I; if was an "if".

re: accessing members of a templated base class

On Sun, 10 Aug 2003 17:27:47 +0100, "Simon Saunders" <simon.saunders@net.ntl.com> wrote:
[color=blue]
>On Sun, 10 Aug 2003 15:41:25 +0000, Alf P. Steinbach wrote:
>[color=green]
>> On Sun, 10 Aug 2003 16:10:53 +0100, "Simon Saunders"
>> <simon.saunders@net.ntl.com> wrote:
>>[color=darkred]
>>>On Sun, 10 Aug 2003 14:13:59 +0100, John Harrison wrote:
>>>
>>>> This code fails to compile on Comeau C++ and VC++ 7.1 (with language
>>>> extensions disabled)
>>>>
>>>> template <class T>
>>>> struct B
>>>> {
>>>> T b;
>>>> };
>>>>
>>>> template <class T>
>>>> struct D : B<T>
>>>> {
>>>> void f() { b = 1; }
>>>> };
>>>>
>>>> int main()
>>>> {
>>>> D<int> x;
>>>> x.f();
>>>> }
>>>> }
>>>> Error messages refer to 'b = 1;' with the message 'undefined
>>>> identifier b'. Substituting this->b for b or making B a non-template
>>>> class both make the code compile.
>>>>
>>>> What's going on here? I was so surprised when I saw this on VC++ that
>>>> I assumed it was a compiler bug, but apparently not.
>>>>
>>>> john
>>>
>>>It's definitely not a compiler bug.[/color]
>>
>> How can you be sure of that?
>>
>>[color=darkred]
>>>HP's aCC compiler even tells you where to look in the Standard:
>>>
>>>Error (future) 641: "xx.cc", line 16 # Undeclared variable 'b'. A
>>>variable
>>> with the same name exists in a template base class, but is not
>>> visible according to the Standard lookup rules (See [temp.dep],
>>> 14.6.2(3) in the C++ Standard). You can make it visible by writing
>>> 'this->b'.
>>> void f() { b = 3; }
>>> ^[/color]
>>
>> According to §14.6.2/3 the base class scope is not examined _until_ the
>> class is instantiated -- naturally, since the information required
>> (type T) isn't present until then. And until then, 'b' is "unbound"
>> according to §14.6.2/1.
>>
>>
>>[/color]
>
>14.6.2/1 says that _dependent_ names are unbound until instantiation. The
>point is that the name "b" in the definition of D<T>::f() is a
>nondependent name according to the rules laid out in the Standard (whereas
>"this->b" is dependent).[/color]

Ah, this is opposite of Pete Becker's tentative usage of the term.

The wording of the standard just become much clearer... ;-)

Although the effect it specifies is counter-intuitive in the extreme;
awkward and inconsistent name lookup, so incomprehensible that neither I,
Victor Bazarow nor Pete Becker have fully grasped it, just to marginally
optimize compilation. Donald Knuth was right. It's evil.

[color=blue]
>...
>I'll do my best to summarize it. Nondependent names are looked up when the
>template D is first encountered, not postponed until instantiation as is
>the case for dependent names. The advantage of this approach is that
>errors caused by missing symbols can be diagnosed earlier. It also
>prevents surprises resulting from explicit specializations of the
>dependent base class, e.g. consider this:
>
>#include <iostream>
>
>using namespace std;
>
>int b = 0;
>
>template <class T>
>struct B
>{
> T b;
>};
>
>template <class T>
>struct D : B<T>
>{
> void f() { b = 3; }
>};
>
>template <>
>struct B<int>
>{
>};
>
>int main()
>{
> D<int> x;
> x.f();
> cout<<b<<endl;
>}
>
>Older compilers (such as Visual C++ 6.0) that do not implement the current
>rules will compile this and print out "3" when the program is executed,[/color]

Isn't that right according to current rules? 'b' in D is, counter-intuitively
and inconsistent with non-template code, bound to the global 'b'?

[color=blue]
>yet without the explicit specialization the output is "0".[/color]

?

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> Although the effect it specifies is counter-intuitive in the extreme;
> awkward and inconsistent name lookup, so incomprehensible that neither I,
> Victor Bazarow nor Pete Becker have fully grasped it[/color]

I haven't tried to, so that's not a meaningful data point.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)

re: accessing members of a templated base class

On Sun, 10 Aug 2003 13:51:17 -0400, Pete Becker <petebecker@acm.org> wrote:
[color=blue]
>"Alf P. Steinbach" wrote:[color=green]
>>
>> Although the effect it specifies is counter-intuitive in the extreme;
>> awkward and inconsistent name lookup, so incomprehensible that neither I,
>> Victor Bazarow nor Pete Becker have fully grasped it[/color]
>
>I haven't tried to, so that's not a meaningful data point.[/color]

You have years of experience with C++, you're a smart guy, and you work
at Dinkumware.

IMO language should not be so complicated that you (or I, for that matter)
has to really try; with a few years of usage it should all be there, although
I do not require the same of C++ as of Pascal, which I and I think most
real programmers at that time knew the full syntax & semantics of in detail.

re: accessing members of a templated base class

"Alf P. Steinbach" wrote:[color=blue]
>
> On Sun, 10 Aug 2003 13:51:17 -0400, Pete Becker <petebecker@acm.org> wrote:
>[color=green]
> >"Alf P. Steinbach" wrote:[color=darkred]
> >>
> >> Although the effect it specifies is counter-intuitive in the extreme;
> >> awkward and inconsistent name lookup, so incomprehensible that neither I,
> >> Victor Bazarow nor Pete Becker have fully grasped it[/color]
> >
> >I haven't tried to, so that's not a meaningful data point.[/color]
>
> You have years of experience with C++, you're a smart guy, and you work
> at Dinkumware.[/color]

None of which give me any significant experience with the details of
two-phase lookup. I haven't studied it, so the fact that I don't
understand it says very little about its comprehensibility. Like most
powerful tools, programming languages require study and practice.

--

Pete Becker
Dinkumware, Ltd. (http://www.dinkumware.com)