В чем разница между написанием «:: namespace :: identifier» и «namespace :: identifier»?

Question

Я видел оба подхода в коде. Не могли бы вы объяснить, в чем разница между ними? Как я думаю, это связано с тем, как поиск пространства имен выполняется с помощью C++, можете ли вы предоставить некоторую информацию об этом, или, возможно, ссылку на хороший документ? Благодарю.

Answer 1

Это действительно не имеет значения, по крайней мере, не большую часть времени.

В формате ::identifier1::identifier2, предыдущая двоеточие говорит, чтобы посмотреть глобальную область для identifier1, а затем искать identifier2 в этой области.

В формате identifier1::identifier2 мы вместо этого рассмотрим текущий scope for identifier1. Если мы его не найдем, будет поиск объекта родителя, и так далее, пока мы его не найдем. Затем мы ищем identifier2 в пределах того объема, который мы только что нашли.

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

Answer 2

Пример:

#include <cstdio> 

namespace x { 
    const int i = 1; 
} 

namespace y { 
    namespace x { 
     const int i = 2; 
    } 

    void func() 
    { 
     std::printf("x::i = %d\n", x::i); 
     std::printf("::x::i = %d\n", ::x::i); 
    } 
} 

int main() 
{ 
    y::func(); 
    return 0; 
} 

Выход:

 
x::i = 2 
::x::i = 1 

Объяснение:

• Когда вы ссылаетесь на язя ntifier, как x::i, используемое определение является «самым близким» x::i. Внутри ::y::func определение ::y::x::i ближе, чем определение ::x::i. Напротив, нет такой функции ::y::std::printf, поэтому вместо этого используется ::std::printf.

• При обращении к идентификатору, как ::x::i, нет никакой возможности двусмысленности: он ищет пространство имена верхнего уровня с именем x, затем находит i внутри.

Таким образом, используя :: в начале позволяет пишется полное имя глобальной что-то. Это также позволяет различать локальные и глобальные переменные.

Пример 2:

#include <cstdio> 
const int x = 5; 
int main() 
{ 
    const int x = 7; 
    std::printf("x = %d\n", x); 
    std::printf("::x = %d\n", ::x); 
    return 0; 
} 

Выход:

 
x = 7 
::x = 5