ข้อจำกัดความรับผิดชอบ: ตอนนี้ฉันเล่นกับ Go เพียงวันเดียวดังนั้นมีโอกาสที่ดีที่ฉันพลาดไปมาก

มีใครรู้บ้างไหมว่าทำไมไม่มีการรองรับ generics / template / whatsInAName ใน Go? ดังนั้นจึงมีแบบทั่วไปmapแต่จัดทำโดยคอมไพเลอร์ในขณะที่โปรแกรมเมอร์ Go ไม่สามารถเขียนการใช้งานของตัวเองได้ จากการพูดคุยเกี่ยวกับการทำให้ Go เป็นแบบตั้งฉากกันมากที่สุดทำไมฉันถึงใช้ประเภททั่วไป แต่ไม่สามารถสร้างใหม่ได้

โดยเฉพาะอย่างยิ่งเมื่อพูดถึงการเขียนโปรแกรมเชิงฟังก์ชั่นมี lambdas แม้กระทั่งการปิด แต่ด้วยระบบประเภทคงที่ซึ่งขาด generics ฉันจะเขียนฟังก์ชันลำดับที่สูงกว่าทั่วไปได้filter(predicate, list)อย่างไร? ตกลงรายการที่เชื่อมโยงและสิ่งที่คล้ายกันสามารถทำได้ด้วยการinterface{}เสียสละความปลอดภัยประเภท

เนื่องจากการค้นหาอย่างรวดเร็วบน SO / Google ไม่ได้เปิดเผยข้อมูลเชิงลึกใด ๆ ดูเหมือนว่าข้อมูลทั่วไปจะถูกเพิ่มลงใน Go ในภายหลัง ฉันเชื่อว่า ธ อมป์สันจะทำได้ดีกว่าพวก Java แต่ทำไมต้องใช้ชื่อสามัญ? หรือมีการวางแผนและยังไม่ได้ดำเนินการ?

คำตอบนี้คุณจะพบได้ที่นี่: http://golang.org/doc/faq#generics

ทำไม Go ถึงไม่มีประเภททั่วไป?

อาจมีการเพิ่ม Generics ในบางจุด เราไม่รู้สึกเร่งด่วนสำหรับพวกเขาแม้ว่าเราจะเข้าใจโปรแกรมเมอร์บางคน

Generics มีความสะดวก แต่มีต้นทุนที่ซับซ้อนในระบบประเภทและเวลาทำงาน เรายังไม่พบการออกแบบที่ให้คุณค่าตามสัดส่วนของความซับซ้อนแม้ว่าเราจะยังคงคิดถึงเรื่องนี้อยู่ก็ตาม ในขณะเดียวกันแผนที่และสไลซ์ในตัวของ Go รวมถึงความสามารถในการใช้อินเทอร์เฟซที่ว่างเปล่าเพื่อสร้างคอนเทนเนอร์ (พร้อมการแกะกล่องอย่างชัดเจน) หมายความว่าในหลาย ๆ กรณีเป็นไปได้ที่จะเขียนโค้ดที่ทำสิ่งที่สามารถเปิดใช้งานทั่วไปได้หากราบรื่นน้อยกว่า

นี่ยังคงเป็นปัญหาที่เปิดอยู่

ไป 2

มีการออกแบบร่างยาชื่อสามัญที่https://blog.golang.org/go2draft

ไปที่ 1

Russ Cox หนึ่งในทหารผ่านศึก Go เขียนบล็อกโพสต์ชื่อ The Generic Dilemmaซึ่งเขาถาม

…คุณต้องการโปรแกรมเมอร์ที่ช้าคอมไพเลอร์ช้าและไบนารีที่ป่องหรือเวลาดำเนินการช้าหรือไม่?

โปรแกรมเมอร์ที่ทำงานช้าซึ่งเป็นผลมาจากการไม่มี generics คอมไพเลอร์ที่ช้าเกิดจาก C ++ เหมือนกับ generics และเวลาในการดำเนินการที่ช้าเกิดจากวิธี Boxing-unboxing ที่ Java ใช้

ความเป็นไปได้ที่สี่ที่ไม่ได้กล่าวถึงในบล็อกคือเส้นทาง C # สร้างรหัสพิเศษเช่นใน C ++ แต่ในขณะรันไทม์เมื่อจำเป็น ฉันชอบมันมาก แต่ Go แตกต่างจาก C # มากดังนั้นสิ่งนี้อาจใช้ไม่ได้เลย ...

ฉันควรพูดถึงว่าการใช้ Java 1.4 ที่เป็นที่นิยมเช่นเทคนิคการเขียนโปรแกรมทั่วไปในการเดินทาง ซึ่งจะต้องinterface{}ทนทุกข์ทรมานจากปัญหาเดียวกันกับการแกะกล่องมวย (เพราะนั่นคือสิ่งที่เรากำลังทำอยู่) นอกเหนือจากการสูญเสียความปลอดภัยของประเภทเวลาคอมไพล์ สำหรับประเภทขนาดเล็ก (เช่น ints) Go จะปรับinterface{}ประเภทให้เหมาะสมเพื่อให้รายการของ int ที่ส่งไปยังอินเทอร์เฟซ {} ใช้พื้นที่หน่วยความจำที่ต่อเนื่องกันและใช้พื้นที่เพียงสองเท่าของ ints ปกติ ยังคงมีค่าใช้จ่ายในการตรวจสอบรันไทม์ในขณะที่แคสต์จากinterface{}แม้ว่า ข้อมูลอ้างอิง .

โปรเจ็กต์ทั้งหมดที่เพิ่มการรองรับทั่วไป (มีหลายโปรเจ็กต์และทั้งหมดนั้นน่าสนใจ) ไปที่เส้นทาง C ++ ของการสร้างรหัสเวลาคอมไพล์

แม้ว่า generics จะไม่ได้อยู่ในตัวในขณะนี้ แต่ก็มีการนำ generics for go ไปใช้ภายนอกหลายอย่างซึ่งใช้ความคิดเห็นร่วมกับยูทิลิตี้ขนาดเล็กที่สร้างโค้ด

นี่คือหนึ่งในการใช้งานดังกล่าว: http://clipperhouse.github.io/gen/

จริงตามโพสต์นี้ :

หลายคนสรุป (ไม่ถูกต้อง) ว่าตำแหน่งของทีม Go คือ“ Go will never have generics” ในทางตรงกันข้ามเราเข้าใจว่ายาชื่อสามัญที่มีศักยภาพมีทั้งเพื่อให้ Go มีความยืดหยุ่นและมีประสิทธิภาพมากขึ้นและทำให้ Go มีความซับซ้อนมากขึ้น หากเราจะเพิ่มชื่อสามัญเราต้องการทำในแบบที่ได้รับความยืดหยุ่นและพลังมากที่สุดโดยมีความซับซ้อนที่เพิ่มเข้ามาให้น้อยที่สุด

polymorphism Parametric (generics)คือภายใต้การพิจารณาสำหรับการไป 2

แนวทางนี้จะแนะนำแนวคิดของสัญญาที่สามารถใช้เพื่อแสดงข้อ จำกัด เกี่ยวกับพารามิเตอร์ประเภท:

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

จากนั้นสามารถใช้สัญญาดังกล่าวได้:

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

นี่คือข้อเสนอในขั้นตอนนี้

filter(predicate, list)ฟังก์ชันของคุณสามารถใช้งานได้ด้วยพารามิเตอร์ type ดังนี้:

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
}

ในกรณีนี้ไม่มีความจำเป็นที่จะต้อง Tจำกัด

หากต้องการเพิ่มและอัปเดตคำตอบที่ยอดเยี่ยมโดย @Vinzenz และ @ user7610

แม้ว่าจะยังห่างไกลจากสิ่งที่แน่นอน แต่หลังจากผ่านไปกว่าทศวรรษของการทำงานดูเหมือนว่าการออกแบบสำหรับพหุนามพาราเมตริกสิ่งที่เรียกขาน แต่เรียกว่ายาชื่อสามัญที่ทำให้เข้าใจผิดกำลังจะมาในปีหน้าหรือสองปี มันเป็นปัญหาที่ยากมากในการค้นหาการออกแบบที่ใช้งานได้กับภาษาที่มีอยู่และให้ความรู้สึกราวกับว่ามันเป็นของ แต่เอียนเทย์เลอร์ได้ลงทุนพลังงานจำนวนมหาศาลเข้าไปในปัญหาและดูเหมือนว่าตอนนี้คำตอบจะมาถึงแล้ว ดูhttps://evrone.com/rob-pike-interview

"พารามิเตอร์ประเภท - การออกแบบแบบร่าง" รองรับการใช้พารามิเตอร์ประเภทที่คุณสามารถอ่านฟังก์ชันที่จัดการพารามิเตอร์ขาเข้าโดยไม่ขึ้นอยู่กับประเภทที่ระบุในการประกาศฟังก์ชัน ดูhttps://go.googlesource.com/proposal/+/refs/heads/master/design/go2draft-type-parameters.md

ตัวอย่างเช่นPrintSliceฟังก์ชันรับส่วนของจำนวนเต็มหรือสตริงและพิมพ์ออกมา ดูhttps://www.jetbrains.com/help/go/how-to-use-type-parameters-for-generic-programming.html

package main

import "fmt"

func PrintSlice(type T)(s []T) {
    for _, v := range s {

        fmt.Print(v)
    }
}

func main() {
    PrintSlice([]int{1, 2, 3, 4, 5, 6, 7, 8, 9})
    PrintSlice([]string{"a", "b", "c", "d"})
}

คุณสามารถทดสอบตัวอย่างนี้ที่นี่https://go2goplay.golang.org/p/I09qwKNjxoq สนามเด็กเล่นนี้ใช้งานได้เหมือนกับ Go playground ทั่วไป แต่รองรับรหัสทั่วไป ดูhttps://blog.golang.org/generics-next-step

โดยทั่วไปแล้วพหุนามแบบพาราเมตริกหมายถึง 'ฟังก์ชันหรือโครงสร้างข้อมูลนี้ทำงานได้เหมือนกันกับทุกประเภท "นั่นคือสิ่งที่เราเรียกว่า generics เช่นความยาวของอาร์เรย์ไม่ได้ขึ้นอยู่กับสิ่งที่อยู่ในอาร์เรย์ดูhttps://news.ycombinator.com / item? id = 23560798 .

ที่เก่าแก่ที่สุดยาชื่อสามัญที่อาจจะเพิ่มไปจะเป็นไป 1.17 การเปิดตัวที่กำหนดไว้ในเดือนสิงหาคม 2021 ดูhttps://blog.golang.org/generics-next-step