VS 7.0 7.1 (глюк?)

[WDMclient]

Ниже указаный код  не вызывает проблем у  VS7.0  (у борланда.6.0 тоже кстати)

А вот   VS.7.1  утверждает что  класс cls_1 недоступен из cls_3.


Можно поменять   private cls_1  на  public cls_1   и  все ОК.     Но  при чем тут это.


class    cls_1 {
};

class cls_2:private cls_1 {
};

class cls_3:public cls_2{

      int   func_3()
     {
           cls_1 * k;    // вот это место типа-ошибка
           return 0;
    }
};


Интересно а  как этому отнесется VS.8.0  (у меня нет ее под рукой)  ?

[Антон (LogRus)]

эм, и как ты число умножаешь на тип?

[WDMclient]

это не я умножаю    ,  а   VS 7.1  


VS 7.0  тоже не умножает(как и я).


P.S.
Из-за такой мелочи проект немогу перенести из  7.0  в  7.1

[Алексей++]

это не я умножаю    ,  а   VS 7.1 
VS 7.0  тоже не умножает(как и я).

а если удалить эту фигню ? )

[WDMclient]

Зачем?

[WDMclient]

это не я умножаю    ,  а   VS 7.1 
VS 7.0  тоже не умножает(как и я).

а если удалить эту фигню ? )

Точно так же можно удалить и это

[Алексей++]

кстати. При чём тут умножение. Это объявление указателя.

Код:

cls_1 * k;    // вот это место типа-ошибка

Добавлено через 1 минуту и 2 секунды:
но тут опять не всё понятно. Клас же в общей видимости определён

Добавлено через 1 минуту и 42 секунды:
подозреваю, что там у тебя нифига не ошибка, а warning (неиспользованная переменная). А также включена опция "считать предупреждения ошибками"

[WDMclient]

 error C2248: 'cls_1' : cannot access inaccessible class declared in class 'cls_3'

[Алексей++]

Интересно а  как этому отнесется VS.8.0  (у меня нет ее под рукой)  ?

в девятке тоже ругается.



а вот так если

Код:

::cls_1 * k;

или, как вариант, сменить

Код:

class cls_2:private cls_1 {

на

Код:

class cls_2:public cls_1 {

[Dimka]

В GCC 4.2.1 то же самое.

Из-за множественного наследования в C++, чтобы обратиться к функциям класса-предка, нужно указывать имя класса. Подозреваю, что именно из-за этого клинит компилятор - он воспринимает имя класса как обращение к предку, которое из-за private-наследования запрещено. Как предложил Алексей1153++, если явно указать глобальную область видимости, компилятор успокаивается.

[WDMclient]

Ну в общем да.


       ::cls_1 * k;   


совсем я забыл про эти namespaces


THANKS!

Добавлено через 7 минут и 31 секунду:
Меня сбило с толку , что  не впределах функции объявленый указатель обходиться без указания области имен

[lapulya]

Dimka, Тут нет множественного наследования,а раз нет, то и явно указывать предка при обращении к функции не нужно.

Антон (LogRus), ))) это ты что-то очень хорошо праздновал, ну или сообщение уже успели отредактировать.

[Алексей++]

lapulya, а что празднуем ? )

компилятор успокаивается.

да, но мне всё равно один момент непонятен. Ведь класс объявлен снаружи, а тут выглядит, как-будто для класса cls_3 класс cls_1 стал быть объявлен так

class cls_2
{
   class cls_1
   {
   };
};

[Dimka]

Тут нет множественного наследования,а раз нет, то и явно указывать предка при обращении к функции не нужно.

А причём тут обращение к функции? И причём тут "тут нет"?

Как в Писании сказано:

Трезвитесь, бодрствуйте...

[Антон (LogRus)]

кстати. При чём тут умножение. Это объявление указателя.

Код:

cls_1 * k;    // вот это место типа-ошибка

Антон (LogRus), ))) это ты что-то очень хорошо праздновал, ну или сообщение уже успели отредактировать.

Всё болше не буду читать форум с мобильного и через строчку

почтал стандарт, если быть точным, то драфт нового стандарта
параграф 11.2   Accessibility of base classes and base class members
явно говорит, что компилятор прав

Note: A member of a private base class might be inaccessible as an inherited member name, but accessible directly. Because of the rules on pointer conversions (4.10) and explicit casts (5.4), a conversion from a pointer to a derived class to a pointer to an inaccessible base class might be ill-formed if an implicit conversion is used, but well-formed if an explicit cast is used. For example,

Код:

class B { public:
     int mi;
     static int si;
};
class D : private B { };
class DD : public D {
     void f();
};
void DD::f() { mi = 3;
     si = 3; ::B b; b.mi = 3; b.si = 3; ::B::si = 3; ::B* bp1 = this; ::B* bp2 = (::B*)this;
     // non-static member // static member
     // error: mi is private in D // error: si is private in D
     // OK (b.mi is different from this->mi) // OK (b.si is different from this->si) // OK // error: B is a private base class
     // OK with cast
     bp2->mi = 3;	// OK: access through a pointer to B.
}

[Dimka]

Note: A member of a private base class might be inaccessible as an inherited member name, but accessible directly. Because of the rules on pointer conversions (4.10) and explicit casts (5.4), a conversion from a pointer to a derived class to a pointer to an inaccessible base class might be ill-formed if an implicit conversion is used, but well-formed if an explicit cast is used.

Примечание: Член закрытого базового класса может быть недоступным как имя наследуемого члена, но доступным напрямую. Из-за правил приведения указателей (4.10) и явных приведений (5.4) приведение указателя на производный класс к недоступному базовому классу может быть некорректным, если используется неявное приведение, но корректным, если используется явное приведение.

Если я ничего не упустил в переводе, то это примечание ничего не объясняет. У нас нет члена закрытого базового класса, у нас нет указателя на производный класс, который бы приводился к указателю на базовый класс. У нас есть член производного класса, являющийся указателем базового класса. И это никак не объясняет, почему в примере написано "::B b", а не просто "B b".

[Антон (LogRus)]

а так

Note: In a derived class, the lookup of a base class name will find the injected-class-name instead of the name of the base class in the scope in which it was declared. The injected-class-name might be less accessible than the name of the base class in the scope in which it was declared. — end note ]
 Example:

Код:

class A { }
class B : private A { };
class C : public B {
A *p; // error: injected-class-name A is inaccessible
::A *q; // OK
};

[Dimka]

А так я не понимаю, что такое injected-class-name. Но можно считать это фичей.

[Антон (LogRus)]

да стандартизованная фича