An access issue -- programming on auto-pilot...

[Alf P. Steinbach]

Since others' errors can be enlightening, here's one of mine.

Without really thinking, apparently on complete auto-pilot, I'd written code
equivalent to

class Base
{
protected:
class Interface {};
};

class Derived
: public Base
, protected Base::Interface
{
};

int main()
{
}

This actually compiles with MSVC 7.1! :-(

Cheers & hth.,

- Alf

[Fraser Ross]

"Alf P. Steinbach"

It should compile. Comeau has a bug. Did you compare it to Comeau?
Look at clause 11/6 and 7. The example is almost the same. It says
"Similarly, the use of A::B
as a base-specifier is well-formed because D is derived from A, so
checking of base-specifiers must be deferred until the entire
base-specifier-list has been seen.".

Fraser.

[Alf P. Steinbach]

* Fraser Ross:

> "Alf P. Steinbach"
>> Since others' errors can be enlightening, here's one of mine.
>>
>> Without really thinking, apparently on complete auto-pilot, I'd
>> written code equivalent to
>>
>> class Base
>> {
>> protected:
>> class Interface {};
>> };
>>
>> class Derived
>> : public Base
>> , protected Base::Interface
>> {
>> };
>>
>> int main()
>> {
>> }
>>
>> This actually compiles with MSVC 7.1! :-(
>>
>>
>> Cheers & hth.,
>>
>> - Alf
>
> It should compile. Comeau has a bug. Did you compare it to Comeau?

Yes.

Comeau C/C++ 4.3.10.1 (Oct 6 2008 11:28:09) for ONLINE_EVALUATION_BETA2
Copyright 1988-2008 Comeau Computing. All rights reserved.
MODE:strict errors C++ C++0x_extensions

"ComeauTest.c", line 10: error: class "Base::Interface" (declared at line 5) is
inaccessible
, protected Base::Interface
^

1 error detected in the compilation of "ComeauTest.c".

> Look at clause 11/6 and 7. The example is almost the same. It says
> "Similarly, the use of A::B
> as a base-specifier is well-formed because D is derived from A, so
> checking of base-specifiers must be deferred until the entire
> base-specifier-list has been seen.".

Heh, I'm better on auto-pilot than the darned compilers! ;-)

Thanks, I thought it was the code that was incorrect.

Cheers,

- Alf

[Fraser Ross]

Comeau follows the 2003 standard and thats why it reports an error. I
was looking at the latest draft.

Fraser.