Что-то я сейчас наткнулся на одну фичу С++ и обалдел... Так и должно быть?

Код

#include <stdio.h> class Class1 { public:      class Class2      {           void Test()           {                 Method1();           }                 };      static void Method1()      {           printf("123");      } };

Т.е. вложенный класс видит статические методы своего верхнего класса????

Это сообщение отредактировал(а) Дрон - 4.8.2005, 15:16

Ну, а почему бы и нет?
Открытый статик виден всем

Цитата(bel_nikita @ 4.8.2005, 16:21)

Открытый статик виден всем

Ну обычно-то к нему обращаешься как ClassName::StaticMember, а тут такая красота!

Главное, что это решает некоторые ранее возникавшие проблемы

Но ведь дочерний класс находится внутри области видимости материнского. Значит при вызове ClassName::StaticMember, ClassName можно не указывать...

Поправьте меня... ведь static - это указание компилятору на прикрепление чего-либо на уровне еденицы компилирования, то есть данного исходного файла. По моему здесь классы совсем не причем.
А или это такой прикол

En_t_end
В данном случае получается, что вложенные классы выступают в роле пространств имён (namespace), что на мой взгляд довольно забавно.

Но ведь каждый класс, если я правильно понимаю является пространством имен. Просто обращение к нестатическим членам без указания экземпляра запрещено. А с указанием экземпляра, так и нестатические члены вызываются через ::, например выполнить метод родителя:

Код

child_ptr->ParrentT::method();

Цитата

В данном случае получается, что вложенные классы выступают в роле пространств имён (namespace), что на мой взгляд довольно забавно.

Во-Во! Без всяких namespace'ов можно обходиться!..

ManiaK
Не совсем. ADL не работает с классами и это весьма важно.

Код

class A { public:     class B { };     static void foo(B) { } }; namespace N {     class B { };     void foo(B) { } } int main() {     A::B x;     N::B y;     foo(x); // ошибка      foo(y); // все нормально }

Цитата

В данном случае получается, что вложенные классы выступают в роле пространств имён (namespace), что на мой взгляд довольно забавно.

Лучше сказать, что у каждого класса есть собственная область видимости.
Фишка в том как компилятор производит поиск имен.
При вызове некоторой функции, компилятор ищет ее определение сначала в той области видимости, где она вызвана. Если не находит, то ищет в следующей области,
которая содержит в себе первую и т.д. пока не дойдет до области видимости файла.
Если и там не найдет - то ошибка.
В твоем случае он ищет Method1() сначала в обл. видимости Class2::, т.к. не находит,
то продолжает поиск в Class1::, где поиск успешно завершается.

А когда вызываешь статические функции, например, из функции main, то поиск
происходит в области видимости файла. Поэтому в этом случае вызов нужно уточнять Class1::Method1().

Это сообщение отредактировал(а) LPBOY - 6.8.2005, 13:33

Цитата

Не совсем. ADL не работает с классами и это весьма важно.

А если вот так, то ADL работает

Код

class A { public:     class B { };     friend void foo(B) { } }; namespace N {     class B { };     void foo(B) { } } int main() {     A::B x;     N::B y;     foo(x); // все нормально      foo(y); // все нормально }

Правда пока сам не понял в чем тут дело... Надо в Стандарте порыться...

LPBOY
Да, но в таком случае foo не является членом A, и мы не можем обратиться к нему как A::foo.

Цитата(LPBOY @ 7.8.2005, 03:42)

Правда пока сам не понял в чем тут дело... Надо в Стандарте порыться...

3.4.2 [basic.lookup.koenig]

Цитата

When an unqualified name is used as the postfix-expression in a function call (5.2.2), other namespaces not considered during the usual unqualified lookup (3.4.1) may be searched, and namespace-scope friend function declarations (11.4) not otherwise visible may be found. ... If T is a class type (including unions), its associated classes are: the class itself; the class of which it is a member, if any; and its direct and indirect base classes. Its associated namespaces are the namespaces in which its associated classes are defined