с помощью директивы против использования декларации своп в C++

Question

Пожалуйста, обратитесь к ниже код:

#include <algorithm> 

namespace N 
{ 

    template <typename T> 
    class C 
    { 
    public: 
     void SwapWith(C & c) 
     { 
      using namespace std; // (1) 
      //using std::swap; // (2) 
      swap(a, c.a); 
     } 
    private: 
     int a; 
    }; 

    template <typename T> 
    void swap(C<T> & c1, C<T> & c2) 
    { 
     c1.SwapWith(c2); 
    } 

} 

namespace std 
{ 

    template<typename T> void swap(N::C<T> & c1, N::C<T> & c2) 
    { 
     c1.SwapWith(c2); 
    } 

} 

Как написано выше, код не компилируется на Visual Studio 2008/2010. Ошибка:

'void N::swap(N::C<T> &,N::C<T> &)' : could not deduce template argument for 'N::C<T> &' from 'int'. 

Однако, если я закомментировать (1) и раскомментировать (2), он будет компилировать OK. В чем разница между using namespace std и using std::swap, которая объясняет это поведение?

Answer 1

В первом случае с помощью директивы (using namespace X), и что это означает, что имена из пространства имен X будут доступны для регулярного поиска, в первом общем пространстве имен X и текущей области. В этом случае первый общий предопределенный домен имен ::N и ::std - ::, поэтому директива using сделает std::swap доступной только в том случае, если поиск достигнет ::.

Проблема заключается в том, что при запуске поиска он будет выглядеть внутри функции, затем внутри класса, а затем внутри N, и он найдет ::N::swap. Поскольку обнаружена потенциальная перегрузка, регулярный поиск не продолжается до внешнего пространства имен ::. Потому что ::N::swap - это функция, которую компилятор выполнит ADL (зависимый от Argument lookup), но набор связанных пространств имен для основных типов пуст, так что это не приведет к какой-либо другой перегрузке. На этом этапе поиск завершается, и начинается перегрузка. Он попытается сопоставить текущую (одну) перегрузку с вызовом и не сможет найти способ преобразования из int в аргумент ::N::C, и вы получите сообщение об ошибке.

С другой стороны, декларация использования (using std::swap) содержит декларацию объекта в текущем контексте (в этом случае внутри самой функции). Поиск найдет std::swap немедленно и прекратит регулярный поиск с ::std::swap и будет использовать его.

Answer 2

Примечание: Я удалил определение swap в пространстве имен std. Здесь это не актуально. Даже без этого код будет иметь те же проблемы.

---

Это связано искать правила различия между using directive (using namespace std) и usingdeclaration (using std::swap)

Microsoft говорит

Если локальная переменная имеет то же имя, что и переменная пространства имен, переменная пространства имен - . Ошибка для переменной пространства имен с тем же именем как глобальная переменная.

#include<iostream> 

namespace T { 
    void flunk(int) { std::cout << "T";} 
} 

namespace V { 
    void flunk(int) { std::cout << "V";} 
} 


int main() { 
    using T::flunk; // makes T::flunk local 
    // using V::flunk; // makes V::flunk local. This will be an error 
    using namespace V; // V::flunk will be hidden 
    flunk(1); 
} 

В соответствии с этим, из-за вашей

template <typename T> 
void swap(C<T> & c1, C<T> & c2) 

std::swap будут скрыты при использовании

using namespace std; 

Таким образом, единственный swap для шаблона дедукции N::swap и это не сработает int s, потому что он ожидает аргумент template class.

но не когда

using std::swap; 

В этом случае становится эквивалентным локального определения. И может использоваться без проблем.

Answer 3

Очевидная причина в том, что использование декларации и использование директивы имеют разные эффекты. Объявление использования вводит имя сразу в текущую область, поэтому using std::swap вводит имя в локальную область; поиск останавливается здесь, и единственным символом, который вы найдете, является std::swap. Кроме того, это происходит, когда шаблон определен, поэтому более поздние объявления в пространстве имен std не найдены.В следующем линии, толькоswap, который будет рассмотрен один определено в <algorithm>, а также тех, которые добавлены с помощью ADL (таким образом, один в пространстве имен N). (Но это верно с VC++? Компилятор не выполняет поиск имени правильно, так что кто знает.)

с помощью директивы указывает, что имена будут отображаться «как если бы» они были объявлены в ближайшем пространстве имен объемлющего как директива , так и номинированное пространство имен; в вашем случае, глобальное пространство имен . И он фактически не вводит имена; он просто влияет на поиск имени. Что в случае зависимого символа (или всегда, в случае VC++) имеет место на сайте .

Что касается того, почему у вас есть это сообщение об ошибке: возможно, больше проблема с VC++, так как в вашем коде есть неконцептуальные контексты. Но нет причин ожидать, что два варианта будут иметь одинаковое поведение независимо от компилятора.