proposal: Add member access to structure generics

[Guest-615695028]

Go Programming Experience

Experienced

Other Languages Experience

C/C++, JavaScript

Related Idea

• Has this idea, or one like it, been proposed before?
• Does this affect error handling?
• Is this about generics?
• Is this change backward compatible? Breaking the Go 1 compatibility guarantee is a large cost and requires a large benefit

Has this idea, or one like it, been proposed before?

No

Does this affect error handling?

No

Is this about generics?

Yes.

1. any value of generic number type can be calculated, compared or assigned from literal.
2. any value of generic slice type (~[]E) can have its member accessed, but not struct type.

Proposal

Allow mamber access for generic struct type values.

Language Spec Changes

This will allow mamber access for generic struct type values.

Informal Change

No response

Is this change backward compatible?

Yes. This is a brand-new concept.

Orthogonality: How does this change interact or overlap with existing features?

No response

Would this change make Go easier or harder to learn, and why?

Easier. The error "r.Pix undefined (type I has no field or method Pix)" will not exist anymore.

// Generic base for many image types, such as CMYK, (N)RGBA(64), Gray(16), Alpha(16)
type BasicImage = struct {
	// Pixel data
	Pix []uint8
	// Stride is the Pix stride (in bytes) between vertically adjacent pixels.
	Stride int
	// Rect is the image's bounds.
	Rect image.Rectangle
}

func Canonize[I BasicImage](im I, n int) *I {
	pix := im.Pix // shallow copy for reading
	rect := im.Rect
	x, y := rect.Dx()*n, rect.Dy()
	r := I{
		Pix:    make([]uint8, 0, x*y),
		Stride: x,
		Rect:   rect.Sub(rect.Min),
	}
	for i := range y {
		copy(r.Pix[i*x:(i+1)*x], pix[i*im.Stride:])
	}
	return &r
}

Cost Description

No response

Changes to Go ToolChain

No response

Performance Costs

No response

Prototype

No response

[gabyhelp]

Related Issues

• proposal: spec: support for struct members in interface/constraint syntax #51259

_{(Emoji vote if this was helpful or unhelpful; more detailed feedback welcome in this discussion.)}