Friend class

<h2 id="example">Example</h2>
<p>The following example demonstrates the use of a friend-class for a <a href="/facts/Graph_(abstract_data_type)/b8qcddXa">graph data structure</a>, where the graph is represented by the main class Graph, and the graph's vertices are represented by the class <a href="/facts/Vertex_(graph_theory)/WhlWmL3o">Vertex</a>.
</p>
#include <iostream>
#include <memory>
#include <string>
#include <unordered_set>

class Graph;

class Vertex {
 public:
  explicit Vertex(std::string name) : edges_(), name_(std::move(name)) {}

auto begin() const { return edges_.cbegin(); }
  auto end() const { return edges_.cend(); }

const auto& name() const { return name_; }

private:
  // Vertex gives access-rights to Graph.
  friend class Graph;

std::unordered_set<Vertex*> edges_;
  std::string name_;
};

class Graph {
 public:
  ~Graph() {
    while (!vertices_.empty()) {
      auto vertex = vertices_.begin();
      RemoveVertex(*vertex);
    }
  }

auto AddVertex(const std::string& name) -> Vertex* {
    auto vertex = std::make_unique<Vertex>(name);
    auto iter = vertices_.insert(vertex.get());
    return vertex.release();
  }

void RemoveVertex(Vertex* vertex) {
    vertices_.erase(vertex);
    delete vertex;
  }

auto AddEdge(Vertex* from, Vertex* to) {
    // Graph can access Vertex's private fields because Vertex declared Graph as
    // a friend.
    from->edges_.insert(to);
  }

auto begin() const { return vertices_.cbegin(); }
  auto end() const { return vertices_.cend(); }

private:
  std::unordered_set<Vertex*> vertices_;
};

<h2 id="encapsulation">Encapsulation</h2>
<p>A proper use of friend classes increases encapsulation, because it allows to extend the private access of a data-structure to its parts --- which the data-structure owns --- without allowing private access to any other external class. This way the data-structure stays protected against accidental attempts at breaking the invariants of the data-structure from outside.
</p><p>It is important to notice that a class cannot give itself access to another class's private part; that would break encapsulation. Rather, a class gives access to its own private parts to another class --- by declaring that class as a friend. In the graph example, Graph cannot declare itself a friend of Vertex. Rather, Vertex declares Graph a friend, and so provides Graph an access to its private fields. 
</p><p>The fact that a class chooses its own friends means that friendship is not symmetric in general. In the graph example, Vertex cannot access private fields of Graph, although Graph can access private fields of Vertex. 
</p>
<h2 id="alternatives">Alternatives</h2>
<p>A similar, but not equivalent, language feature is given by C#'s internal access modifier keyword, which allows classes inside the same assembly to access the private parts of other classes. This corresponds to marking each class a friend of another in the same assembly; friend classes are more fine-grained.
</p><p>Programming languages which lack support for friend classes, or a similar language feature, will have to implement workarounds to achieve a safe part-based interface to a data-structure. Examples of such workarounds are:
</p>
<ul><li>Make the parts' fields public. This solution decreases encapsulation by making it possible to violate invariants of the data-structure from outside.</li>
<li>Move all mutable structural data away from the part to the data-structure, and introduce indirection back from each part to its data-structure. This solution changes the organization of the data structure, and increases memory consumption in cases where there would otherwise be no need for this information.</li></ul>
<h2 id="properties">Properties</h2>
<ul><li>Friendships are not <a href="/facts/Symmetric_relation/ekCWDIAH">symmetric</a> – if class A is a friend of class B, class B is not automatically a friend of class A.</li>
<li>Friendships are not <a href="/facts/Transitive_relation/9r90y50r">transitive</a> – if class A is a friend of class B, and class B is a friend of class C, class A is not automatically a friend of class C.</li>
<li>Friendships are not <a href="/facts/Inheritance_(object-oriented_programming)/a7R1xv8n">inherited</a> – if class Base is a friend of class X, subclass Derived is not automatically a friend of class X; and if class X is a friend of class Base, class X is not automatically a friend of subclass Derived. However, if class Y is a friend of subclass Derived, class Y will also have access to protected portions of class Base, just as subclass Derived does.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://publib.boulder.ibm.com/infocenter/comphelp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8a.doc%2Flanguage%2Fref%2Fcplr043.htm">http://publib.boulder.ibm.com/infocenter/comphelp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8a.doc%2Flanguage%2Fref%2Fcplr043.htm</a></li>
<li><a href="http://www.cplusplus.com/doc/tutorial/inheritance/">http://www.cplusplus.com/doc/tutorial/inheritance/</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>"9 More on C++". <a href="http://www.desy.de/gna/html/cc/Tutorial/node10.htm#SECTION001050000000000000000" target="_blank">http://www.desy.de/gna/html/cc/Tutorial/node10.htm#SECTION001050000000000000000</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

Friend class open-in-new

Friend class