如何製作C風格的聯盟

Question

我無法找到如何製作C風格的聯盟。在documentation中給出的示例中：

(define a-union-type 
(_union (_list-struct _int _int) 
     (_list-struct _double _double))) 
(define a-union-val 
    (cast (list 3.14 2.71) 
      (_list-struct _double _double) 
      a-union-type)) 

所有的作品。但是，如果是投改爲_INT：

(define a-union-val 
    (cast (list 3 2) 
      (_list-struct _int _int) 
      a-union-type)) 

我獲得以下錯誤：

cast: representation sizes of from and to types differ 
    size of from type: 8 
    size of to size: 16 

這在某種程度上是有道理的，但問題是，如何建立這個聯盟？

你能解釋一下make-union-type和_union之間的區別嗎？由於我不清楚從文檔。

非常感謝。

Answer 1

僅當(ctype-sizeof from-type)等於(ctype-sizeof to-type)時投射纔有效，因此只允許使用最大的聯合變體。嘗試使用手動分配和union-set!代替：

(define a-union-val (ptr-ref (malloc a-union-type) a-union-type)) 
(union-set! a-union-val 0 (list 3 2)) 

凡union-set!第二個參數是你想要的變型的指數。