C ++ ADL во вложенных пространствах имен с функцией шаблона - PullRequest
Новая
       18

C ++ ADL во вложенных пространствах имен с функцией шаблона

6 голосов
/ 12 мая 2011

У меня есть вопрос относительно стандартного разрешения ADL в C ++.

Вот пример кода, объясняющего мой запрос: 

#include <string>

// The mechanism:
namespace A {

 template< class C >
 ::std::string scope(const C*)
 { return "A"; }

 namespace B {

  template< class C >
  ::std::string scope(const C *foo)
  { return A::scope(foo)+"::B"; }

 } // namespace B
} // namespace A

::std::string scope(...)
{ return ""; }

// The test classes
struct foo {};
namespace A {
 struct foo {};
 namespace B {
  struct foo {};
 }
}

// The usage
int main()
{
  foo *Foo=0;
  A::foo *FooA=0;
  A::B::foo *FooB=0;

  scope(Foo);  // OK, returns ""
  scope(FooA); // OK, returns "A"
  scope(FooB); // On one compiler, OK returns "A::B" ; On another, compiler error "Ambiguous call" between A::scope() and A::B::scope()
}

Итак, мой вопрос - каков стандарт относительно ADL??Должны ли быть найдены все функции из родительских пространств имен аргумента или только функции, доступные в (вложенном) пространстве имен аргумента + глобальные функции?

Эта программа была протестирована на MSVC 2008 (и компилируется сИП но не без ...)

1 Ответ

6 голосов
/ 12 мая 2011

Согласно стандарту, ADL работает (по модулю пара специальных правил) «как будто» имени функции предшествовало пространство имен; в твоем последнем строка, поиск должен предшествовать, как если бы вы написали A::B::scope. Который не смотрит в окружающие пространства имен.

Обратите внимание, что даже в пространстве имен A::B не было бы никакой двусмысленности; в A::B, A::B::scope скрывает A::scope. Неквалифицированные остановки поиска имени в области, где он впервые находит имя.

...