Tại sao Thư viện đồ thị Boost (nguồn) là một hàm toàn cục?

Question

Tôi hiểu rằng trong lập trình chung, các thuật toán được tách ra khỏi các vùng chứa. Vì vậy, sẽ không có ý nghĩa gì khi thực hiện một thuật toán chung như một phương thức thể hiện (cùng một thuật toán sẽ làm việc trên nhiều lớp cụ thể; chúng ta không muốn làm cho chúng kế thừa từ một ABC vì nó sẽ tăng số lượng các lớp).

Nhưng trong trường hợp của source() chức năng trong Boost Graph Library, tôi không hiểu lý do tại sao nó là một chức năng toàn cầu và không phải là một phương pháp thể hiện của một lớp biểu đồ.

Theo như tôi có thể biết bằng cách đọc số BGL source code, source(e, g) cần biết chi tiết triển khai của biểu đồ và cạnh đối tượng được truyền cho nó; không đủ để chỉ biết các giao diện của chúng.

Vì vậy, source() không phải là một thuật toán chung. Nói cách khác, nó cần biết lớp bê tông của thể hiện đồ thị. Sau đó, tại sao không đặt nó trong cùng một lớp như một phương pháp dụ? Nó sẽ không sạch hơn/ít khó hiểu hơn là tạo ra một chức năng toàn cầu cần phải được tùy chỉnh cho mỗi lớp mà nó được gọi?

CẬP NHẬT

Mã nguồn liên quan:

// 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) không phải là một thuật toán chung. Một phần của giao diện, thường được gọi là một khái niệm trong C++. Lý do là một hàm không phải là thành viên để nó có thể được thực hiện không xâm phạm. Ví dụ:

Ví dụ: bạn muốn std::multimap để triển khai khái niệm IncidenceGraph. Nếu thư viện biểu đồ yêu cầu source() là một hàm thành viên, bạn sẽ không may mắn, vì std::multimap không cung cấp chức năng này.

Answer 2

Trong C++, ta nên thích chức năng phi bạn không thành viên nơi người ta có thể làm như vậy. Nếu source có thể được thực hiện theo các thành viên công khai của các lớp học được thiết kế để hoạt động, nó phải nằm ngoài lớp học.

Điều này không liên quan gì đến việc thực hiện các thuật toán chung chung; nó là hoàn toàn về việc giảm số lượng mã có quyền truy cập vào/có thể làm hỏng trạng thái nội bộ của các thành viên riêng tư của lớp.