Add exp_constraints.go

Author: devlights

examples/generics/examples.go

@@ -1,6 +1,7 @@
 package generics
 
 import (
+	"github.com/devlights/try-golang/examples/generics/exp_constraints"
 	"github.com/devlights/try-golang/examples/generics/typeconstraints"
 	"github.com/devlights/try-golang/examples/generics/typeparameters"
 	"github.com/devlights/try-golang/mapping"
@@ -20,4 +21,5 @@ func NewRegister() mapping.Register {
 func (r *register) Regist(m mapping.ExampleMapping) {
 	typeparameters.NewRegister().Regist(m)
 	typeconstraints.NewRegister().Regist(m)
+	exp_constraints.NewRegister().Regist(m)
 }

examples/generics/exp_constraints/examples.go

@@ -0,0 +1,20 @@
+package exp_constraints
+
+import (
+	"github.com/devlights/try-golang/mapping"
+)
+
+type (
+	register struct{}
+)
+
+// NewRegister は、generics パッケージ用の lib.Register を返します.
+func NewRegister() mapping.Register {
+	r := new(register)
+	return r
+}
+
+// Regist は、generics パッケージ配下に存在するサンプルを登録します.
+func (r *register) Regist(m mapping.ExampleMapping) {
+	m["generics_exp_constraints"] = Constraints
+}

examples/generics/exp_constraints/exp_constraints.go

@@ -0,0 +1,41 @@
+package exp_constraints
+
+import (
+	"github.com/devlights/gomy/output"
+	"golang.org/x/exp/constraints"
+)
+
+type myStr string
+
+func add[E constraints.Signed](x, y E) E {
+	return x + y
+}
+
+func less[E constraints.Ordered](x, y E) bool {
+	return x < y
+}
+
+// Constraints -- Go 1.18 リリース時には含まれなかった制約型が定義されている golang.org/x/exp/constraints パッケージのサンプルです。
+func Constraints() error {
+	//
+	// constraints パッケージには、Go 1.18 リリース時には
+	// 含まれなかった制約型が定義されている。
+	//
+	// - Complex
+	// - Float
+	// - Integer
+	// - Ordered
+	// - Signed
+	// - Unsigned
+	//
+	// 特に Ordered は助かる。
+	//
+	output.Stdoutl("[Signed]", add(int32(1), int32(3)))
+	output.Stdoutl("[Signed]", add(int8(1), int8(-2)))
+
+	output.Stdoutl("[Ordered]", less(1, 2))
+	output.Stdoutl("[Ordered]", less("z", "b"))
+	output.Stdoutl("[Ordered]", less(myStr("b"), myStr("z")))
+
+	return nil
+}

go.mod

@@ -5,10 +5,11 @@ go 1.18
 require (
 	github.com/devlights/gomy v0.4.6
 	golang.org/x/crypto v0.0.0-20220214200702-86341886e292
+	golang.org/x/exp v0.0.0-20220518171630-0b5c67f07fdf
 	golang.org/x/sync v0.0.0-20210220032951-036812b2e83c
-	golang.org/x/term v0.0.0-20210927222741-03fcf44c2211
+	golang.org/x/term v0.0.0-20220411215600-e5f449aeb171
 	golang.org/x/text v0.3.7
 	gopkg.in/yaml.v2 v2.4.0
 )
 
-require golang.org/x/sys v0.0.0-20210615035016-665e8c7367d1 // indirect
+require golang.org/x/sys v0.0.0-20211019181941-9d821ace8654 // indirect

go.sum

@@ -2,12 +2,14 @@ github.com/devlights/gomy v0.4.6 h1:S/UiHgNF1/dF/MRhxgOT1Bsd5i33/Ly9qOSePU3Q7KU=
 github.com/devlights/gomy v0.4.6/go.mod h1:s6/L0jEn7J/F1bIRNu3nkf+Lz/n24RClTxD76DhqGEU=
 golang.org/x/crypto v0.0.0-20220214200702-86341886e292 h1:f+lwQ+GtmgoY+A2YaQxlSOnDjXcQ7ZRLWOHbC6HtRqE=
 golang.org/x/crypto v0.0.0-20220214200702-86341886e292/go.mod h1:IxCIyHEi3zRg3s0A5j5BB6A9Jmi73HwBIUl50j+osU4=
+golang.org/x/exp v0.0.0-20220518171630-0b5c67f07fdf h1:oXVg4h2qJDd9htKxb5SCpFBHLipW6hXmL3qpUixS2jw=
+golang.org/x/exp v0.0.0-20220518171630-0b5c67f07fdf/go.mod h1:yh0Ynu2b5ZUe3MQfp2nM0ecK7wsgouWTDN0FNeJuIys=
 golang.org/x/sync v0.0.0-20210220032951-036812b2e83c h1:5KslGYwFpkhGh+Q16bwMP3cOontH8FOep7tGV86Y7SQ=
 golang.org/x/sync v0.0.0-20210220032951-036812b2e83c/go.mod h1:RxMgew5VJxzue5/jJTE5uejpjVlOe/izrB70Jof72aM=
-golang.org/x/sys v0.0.0-20210615035016-665e8c7367d1 h1:SrN+KX8Art/Sf4HNj6Zcz06G7VEz+7w9tdXTPOZ7+l4=
-golang.org/x/sys v0.0.0-20210615035016-665e8c7367d1/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=
-golang.org/x/term v0.0.0-20210927222741-03fcf44c2211 h1:JGgROgKl9N8DuW20oFS5gxc+lE67/N3FcwmBPMe7ArY=
-golang.org/x/term v0.0.0-20210927222741-03fcf44c2211/go.mod h1:jbD1KX2456YbFQfuXm/mYQcufACuNUgVhRMnK/tPxf8=
+golang.org/x/sys v0.0.0-20211019181941-9d821ace8654 h1:id054HUawV2/6IGm2IV8KZQjqtwAOo2CYlOToYqa0d0=
+golang.org/x/sys v0.0.0-20211019181941-9d821ace8654/go.mod h1:oPkhp1MJrh7nUepCBck5+mAzfO9JrbApNNgaTdGDITg=
+golang.org/x/term v0.0.0-20220411215600-e5f449aeb171 h1:EH1Deb8WZJ0xc0WK//leUHXcX9aLE5SymusoTmMZye8=
+golang.org/x/term v0.0.0-20220411215600-e5f449aeb171/go.mod h1:jbD1KX2456YbFQfuXm/mYQcufACuNUgVhRMnK/tPxf8=
 golang.org/x/text v0.3.7 h1:olpwvP2KacW1ZWvsR7uQhoyTYvKAupfQrRGBFM352Gk=
 golang.org/x/text v0.3.7/go.mod h1:u+2+/6zg+i71rQMx5EYifcz6MCKuco9NR6JIITiCfzQ=
 gopkg.in/check.v1 v0.0.0-20161208181325-20d25e280405 h1:yhCVgyC4o1eVCa2tZl7eS0r+SDo693bJlVdllGtEeKM=