Почему библиотека «Источники»() `) является глобальной функцией?

Question

Я понимаю, что в общем программировании алгоритмы отделяются от контейнеров. Поэтому было бы бессмысленно реализовывать общий алгоритм как метод экземпляра (тот же алгоритм должен работать над несколькими конкретными классами, мы не хотим, чтобы все они наследовались от одной ABC, поскольку она экспоненциально увеличивала количество классов).

Но в случае source() функция в Boost Graph Library, я не понимаю, почему это глобальная функция, а не метод экземпляра класса графа.

Насколько я мог сказать, прочитав BGL source code, source(e, g) должен знать детали реализации графа и краевых объектов, передаваемых к нему; недостаточно знать только их интерфейсы .

Так что source() не является общим алгоритмом. Другими словами, он должен знать конкретный класс экземпляра графа. Тогда почему бы не поместить его в тот же класс, что и метод экземпляра? Разве это не было бы намного более чистым/менее запутанным, чем создание глобальной функции, которая должна быть настроена для каждого класса, на который она призвана?

UPDATE

Соответствующий исходный код:

// dwa 09/25/00 - needed to be more explicit so reverse_graph would work. 
    template <class Directed, class Vertex, 
     class OutEdgeListS, 
     class VertexListS, 
     class DirectedS, 
     class VertexProperty, 
     class EdgeProperty, 
     class GraphProperty, class EdgeListS> 
    inline Vertex 
    source(const detail::edge_base<Directed,Vertex>& e, 
     const adjacency_list<OutEdgeListS, VertexListS, DirectedS, 
       VertexProperty, EdgeProperty, GraphProperty, EdgeListS>&) 
    { 
    return e.m_source; 
    } 


namespace boost { 

    namespace detail { 

    template <typename Directed, typename Vertex> 
    struct edge_base 
    { 
     inline edge_base() {} 
     inline edge_base(Vertex s, Vertex d) 
     : m_source(s), m_target(d) { } 
     Vertex m_source; 
     Vertex m_target; 
    }; 
    } 
} 

Answer 1

source(e, g) не является общим алгоритмом. Его часть интерфейса, обычно называемая концепцией в C++. Причиной быть не-членной функцией является то, что она может быть реализована неинтрузивно.

Скажите, например, что вы хотели std::multimap для реализации концепции IncidenceGraph. Если библиотеке графа требуется source(), чтобы быть членом функции, вам не повезло, так как std::multimap не предоставляет ее.

Answer 2

В C++, следует предпочесть не-другу функции, не являющиеся членами, где это возможно сделать. Если source может быть реализован с точки зрения публичных членов классов, для которых он предназначен, он должен быть вне класса.

Это не имеет ничего общего с созданием универсальных алгоритмов; он полностью связан с уменьшением количества кода, который имеет доступ к/может повредить внутреннее состояние частных членов класса.