Go 1.24 generic constraint에서 ~struct 패턴이 컴파일 안 됩니다

Question

Go 1.24에서 제네릭 제약을 다음처럼 쓰려고 했는데 컴파일이 안 됩니다.type Identified interface {
    ~struct{ ID int }
}

func GetID[T Identified](v T) int { return v.ID }
에러는 interface contains type constraints with struct types. 기본형 제약(~int)은 잘 되는데 struct는 왜 안 되는 거죠?

김영삼 · Accepted Answer

Go 제네릭 사양(spec)에서 type set은 named type만 허용되기 때문입니다. ~struct{...}는 무명(unnamed) 구조체라 type set 정의로 쓸 수 없습니다.왜 안 되는가 — 사양 관점Go의 ~T는 "underlying type이 T인 모든 타입"을 의미합니다. 그런데 unnamed struct literal은 자체적으로 underlying type이 자기 자신이라, ~struct{...}는 의미상 정의 자체가 모호합니다 (struct 리터럴은 매번 새 타입이 됨).// 이런 의미가 됨 — 의미 없음
type X = struct { ID int }  // X와 struct{ID int}는 다른 타입
// 모든 "underlying이 struct{ID int}인 타입"은 사실상 X 자기 자신뿐현실적 해결 — interface method 제약type Identified interface {
    GetID() int
}

func GetID[T Iden

댓글 0