VPF::Поиск Кенига не выполняется - Форум программистов

Aveic

Дата 10.2.2006, 21:45 (ссылка)

(нет голосов)

Загрузка ...

Новичок

Профиль
Группа: Участник
Сообщений: 10
Регистрация: 9.2.2006
Где: Да все мы из одно й ямы

Репутация: нет
Всего: нет

Вообщем в книге Герба Саттера есть такой пример, демонстрирующий Поиск Кенига.

Код


namespace A {
struct X;
void g(X);
}
//...
namespace B
{
void g(A::X x)
{
      g(x); //какая g()  A::g или B::g - ошибка неодназначности в этом месте
}
}

Так вот в книге написано, что такой код не скомплириется, т.к. при вызове B::g(A::X) по правилу Кенига становиться достпной область видимости пространства имен A, т.к. тип аргументу принадлежит именно этому пространству имен. Вседствие этого в данном месте определены две функции с одинаковой сигнатурой, что приведет к неодназночности, а значит к ошибке.
Однако, на моем компиляторе MS Visual C++ 6.0 все работает, и вызов B::g(A::X) приводит к бесконечной рекурсии. Что это может означать?
smile

- Может мой компилятор не поддерживает правило поиска Кенига?
- Или может просто компилятор надо настроить соответствующим образом?
- Или компилятор слишком, старый и тогдашний С++ не поддерживал поиска Кенига?
Подскажите пожалуйста.

LPBOY

Дата 10.2.2006, 22:32 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 228
Регистрация: 12.7.2005

Репутация: 20
Всего: 20

MS VC6.0 поддерживает поиск Кенига только для операторов, но не для обычных функций.
Добавлено @ 22:38
Проверь на Comeau on-line.
Такой код:

Код


namespace A {
struct X{};
void g(X);
}
//...
namespace B
{
void g(A::X x)
{
      g(x); 
}
}

не компилируется из-за неоднозначности.
А если имя функции взять в скобки (т.е. отключить ADL), то компилируется успешно.

Код


...
     (g)(x); 
...

--------------------

Каждый человек по-своему прав, а по-моему нет...

Aveic

Дата 11.2.2006, 00:30 (ссылка)

(нет голосов)

Загрузка ...

спасибо

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »