Qual è la differenza tra "friend struct A;" e "amico A;" sintassi?

Question

Qual è la differenza tra fare:

struct A; 
struct B { friend struct A; }; 

e

struct A; 
struct B { friend A; }; 

Che cosa significa lasciare fuori struct nella seconda parte?

Answer 1

La differenza è che se si scrive friend A;, A deve essere un nome di tipo noto, ovvero deve essere dichiarato in precedenza.

Se si scrive friend struct A;, questo è di per sé una dichiarazione di A, quindi non sono necessari dichiarazione preventiva:

struct B { friend struct A; }; // OK 

---

Ci sono diverse sottigliezze però. Ad esempio, friend class/struct A dichiara classe A nel più intimo spazio dei nomi che racchiude di classe B (grazie a Captain Obvlious):

class A; 
namespace N { 
    class B { 
     friend A;   // ::A is a friend 
     friend class A; // Declares class N::A despite prior declaration of ::A, 
          // so ::A is not a friend if previous line is commented 
    }; 
} 

ci sono anche molti altri casi in cui si può scrivere solo friend A:

1. A è un typedef-name:

   class A; 
   typedef A A_Alias; 
   
   struct B { 
       // friend class A_Alias; - ill-formed 
       friend A_Alias; 
   }; 
   

2. A è un parametro di modello:

   template<typename A> 
   struct B { 
       // friend class A; - ill-formed 
       friend A; 
   };