Tuyên bố miễn trừ trách nhiệm: Tôi mới chỉ chơi với Go được một ngày, vì vậy rất có thể tôi đã bỏ lỡ rất nhiều.

Có ai biết tại sao không có hỗ trợ thực sự cho thuốc generic / mẫu / whatsInAName trong Go không? Vì vậy, có một cái chung map, nhưng được cung cấp bởi trình biên dịch, trong khi một lập trình viên Go không thể viết bản thực hiện của riêng mình. Với tất cả các cuộc nói chuyện về việc biến Go thành trực giao nhất có thể, tại sao tôi có thể SỬ DỤNG một loại chung chung nhưng không TẠO một loại mới?

Đặc biệt là khi nói đến lập trình chức năng, có lambdas, thậm chí đóng, nhưng với một hệ thống kiểu tĩnh thiếu khái quát, làm thế nào để tôi viết, tốt, các hàm bậc cao hơn như thế filter(predicate, list)nào? OK, danh sách được liên kết và tương tự có thể được thực hiện với interface{}hy sinh loại an toàn.

Vì một tìm kiếm nhanh trên SO / Google không tiết lộ bất kỳ thông tin chi tiết nào, có vẻ như thuốc generic, nếu có, sẽ được thêm vào Go như một suy nghĩ sau. Tôi tin tưởng rằng Thompson sẽ làm tốt hơn những người Java, nhưng tại sao lại bỏ qua những điều chung chung? Hay họ đã lên kế hoạch và chỉ chưa thực hiện?

câu trả lời này bạn sẽ tìm thấy ở đây: http://golang.org/doc/faq#generics

Tại sao Go không có loại chung chung?

Generics cũng có thể được thêm vào một số điểm. Chúng tôi không cảm thấy khẩn cấp cho họ, mặc dù chúng tôi hiểu một số lập trình viên làm.

Generics là thuận tiện nhưng chúng có chi phí phức tạp trong hệ thống loại và thời gian chạy. Chúng tôi chưa tìm thấy một thiết kế mang lại giá trị tương xứng với sự phức tạp, mặc dù chúng tôi vẫn tiếp tục nghĩ về nó. Trong khi đó, các bản đồ và lát cắt tích hợp của Go, cộng với khả năng sử dụng giao diện trống để xây dựng các thùng chứa (với hộp thư rõ ràng) có nghĩa là trong nhiều trường hợp có thể viết mã mà tính tổng quát sẽ kích hoạt, nếu kém trơn tru hơn.

Đây vẫn là một vấn đề mở.

Đi 2

Có một bản thiết kế phác thảo cho thuốc generic tại https://blog.golang.org/go2draft .

Đi 1

Russ Cox, một trong những cựu chiến binh Go đã viết một bài đăng trên blog có tựa đề The Dilemma chung , trong đó anh ta hỏi

Bạn có muốn lập trình viên chậm, trình biên dịch chậm và nhị phân cồng kềnh, hoặc thời gian thực hiện chậm?

Các lập trình viên chậm là kết quả của việc không có tướng, trình biên dịch chậm được gây ra bởi C ++ giống như tướng và thời gian thực hiện chậm xuất phát từ cách tiếp cận không đóng hộp mà Java sử dụng.

Khả năng thứ tư không được đề cập trong blog là đi theo lộ trình C #. Tạo mã chuyên dụng như trong C ++, nhưng trong thời gian chạy khi cần thiết. Tôi thực sự thích nó, nhưng Go rất không giống C # nên có lẽ điều này không thể áp dụng được

Tôi nên đề cập đến rằng việc sử dụng phổ biến Java 1.4 như kỹ thuật lập trình chung trong đi rằng phôi để interface{}bị chính xác những vấn đề tương tự như đấm bốc-unboxing (vì đó là những gì chúng tôi đang làm), bên cạnh việc mất an toàn kiểu thời gian biên dịch. Đối với các loại nhỏ (như ints) Go tối ưu hóa interface{}loại sao cho danh sách các int được truyền tới giao diện {} chiếm một vùng bộ nhớ liền kề và chỉ chiếm không gian gấp đôi so với int thông thường. interface{}Mặc dù vậy, vẫn còn chi phí kiểm tra thời gian chạy trong khi truyền từ . Tham khảo .

Tất cả các dự án có thêm hỗ trợ chung để đi (có một vài trong số chúng và tất cả đều thú vị) thống nhất đi theo lộ trình C ++ của việc tạo mã thời gian biên dịch.

Mặc dù hiện tại tướng không được tích hợp sẵn, nhưng có một số triển khai bên ngoài của thuốc generic, sử dụng nhận xét trong các kết hợp với các tiện ích nhỏ tạo mã.

Đây là một cách thực hiện như vậy: http://clipperhouse.github.io/gen/

Trên thực tế, theo bài đăng này :

Nhiều người đã kết luận (không chính xác) rằng vị trí của đội Go là đội Go sẽ không bao giờ có tướng. Trái lại, chúng tôi hiểu rằng các thế hệ tiềm năng có, cả hai để làm cho Go trở nên linh hoạt và mạnh mẽ hơn và làm cho Go trở nên phức tạp hơn nhiều. Nếu chúng ta muốn thêm thuốc generic, chúng tôi muốn thực hiện nó theo cách có được sự linh hoạt và sức mạnh càng nhiều với độ phức tạp càng ít càng tốt.

Đa hình tham số (genericics) đang được xem xét cho Go 2 .

Cách tiếp cận này sẽ giới thiệu khái niệm hợp đồng , có thể được sử dụng để thể hiện các ràng buộc đối với các tham số loại:

contract Addable(a T) {
  a + a // Could be += also
}

Hợp đồng như vậy sau đó có thể được sử dụng:

func Sum(type T Addable)(l []T) (total T) {
  for _, e := range l {
    total += e
  }
  return total
}

Đây là một đề xuất ở giai đoạn này.

filter(predicate, list)Chức năng của bạn có thể được thực hiện với một tham số loại như thế này:

func Filter(type T)(f func(T) bool, l []T) (result []T) {
  for _, e := range l {
    if f(e) {
      result = append(result, e)
    }
  }
  return result
}

Trong trường hợp này, không cần phải hạn chế T.