Относится кэтот

Я хочу знать, что именно является указателем вложенного имени? Я посмотрел в черновике, но я мог понять грамматику, так как я еще не брал никаких классов Compiler Design.

void S(){}

struct S{
   S(){cout << 1;}
   void f(){}
   static const int x = 0;
}; 

int main(){ 
   struct S *p = new struct ::S;  
   p->::S::f();

   S::x;  

   ::S(); // Is ::S a nested name specifier?
   delete p;
}