Penyiapan dan penggunaan gccgo

Pada sistem GNU/Linux, compiler gccgo mampu menggunakan sejumlah stack kecil pada goroutine. Hal ini membolehkan program untuk menjalankan banyak goroutine, secara setiap goroutine menggunakan ukuran stack yang kecil. Fitur ini membutuhkan gold linker versi 2.22 atau terbaru. Anda bisa memasang GNU binutils 2.22 atau yang terbaru, atau Anda bisa membangunnya sendiri.

Untuk membangun gold sendiri, buat GNU binutils menggunakan --enable-gold=default saat menjalankan skrip configure. Sebelum pembangunan, Anda harus memasang paket flex dan bison. Urutan langkah-langkahnya biasanya seperti berikut (Anda bisa mengganti /opt/gold dengan direktori lain yang bisa Anda tulis):

Bagaimanapun Anda memasang gold, saat menjalankan configure pada gccgo gunakan opsi --with-ld=GOLD_BINARY.

Sejumlah kebutuhan awal diperlukan untuk membangun GCC, seperti yang dijelaskan pada situs GCC. Sangatlah penting untuk memasang semua kebutuhan awal tersebut sebelum menjalankan skrip configure pada gcc. Pustaka-pustaka untuk kebutuhan awal dapat diunduh menggunakan skrip contrib/download_prerequisites dalam sumber GCC.

Setelah semua kebutuhan terpasang, maka urutan langkah pembangunan dan pemasangan adalah seperti berikut (hanya gunakan opsi --with-ld jika Anda menggunakan gold linker seperti yang dijelaskan di atas):

Tipe-tipe dasar dipetakan secara langsung: sebuah int32 pada Go adalah int32_t pada C, sebuah int64 pada Go adalah int64_t, dan seterusnya. Tipe int pada Go yaitu sebuah integer yang sama dengan ukuran sebuah pointer, yang berkorespondensi dengan tipe C intptr_t. Tipe byte pada Go sama dengan unsigned char pada C. Tipe pointer pada Go sama dengan pointer pada C. Tipe struct pada Go sama dengan struct pada C dengan field dan tipe yang sama juga.

Tipe string pada Go didefinisikan sebagai struktur dengan dua elemen (hal ini bisa berubah sewaktu-waktu):

Anda tidak bisa mengirimkan array antara C dan Go. Namun, sebuah pointer ke array dalam Go sama dengan sebuah pointer ke tipe elemen pada C. Sebagai contohnya, Go *[10]int sama dengan int* pada C, mengasumsikan bahwa pointer pada C memang menunjuk ke 10 elemen tersebut.

Sebuah slice pada Go adalah sebuah struct. Definisi slice saat ini (hal ini bisa berubah sewaktu-waktu):

Tipe fungsi pada Go adalah sebuah pointer ke sebuah struct (hal ini bisa berubah sewaktu-waktu). Field pertama pada struct menunjuk ke kode pada fungsi, yang sama dengan sebuah pointer ke sebuah fungsi pada C yang tipe-tipe parameternya sama semua, dengan parameter tambahan di belakang. Parameter tambahan ini adalah closure, dan argumen yang dikirim yaitu sebuah pointer ke tipe struct. Saat sebuah fungsi Go mengembalikan lebih dari satu nilai, fungsi pada C mengembalikan sebuah struct. Misalnya, fungsi berikut ini berlaku sama,

Tipe interface, channel, dan map pada Go tidak memiliki tipe korespondensi langsung pada C (interface adalah struct dengan dua elemen, channel dan map adalah pointer ke struct pada C, namun struct ini sengaja tidak didokumentasikan). Tipe enum pada C berkorespondensi pada tipe integer, namun secara tepatnya sangat susah diprediksi secara umum; gunakan cast. Tipe union pada C tidak ada korespondensinya pada tipe Go. Tipe struct pada C dengan bitfields tidak ada korespondensinya pada tipe Go. Tipe class pada C++ tidak ada korespondensinya pada tipe Go.

Alokasi memori sangatlah berbeda antara C dan Go, secara Go menggunakan garbage collection. Panduan pastinya pada area ini adalah tidak ditentukan, namun ada kemungkinan akan diperbolehkan mengirim sebuah pointer yang dialokasikan dari C ke Go. Tanggung jawab dari yang melepas pointer di memori akan dilakukan pada sisi C, dan tentu saja bila sisi C menghapus pointer sementara di sisi Go masih memiliki salinan maka program akan gagal. Saat mengirim sebuah pointer dari Go ke C, fungsi Go harus menahan salinan dari pointer tersebut dalam variabel Go. Jika tidak maka garbage collector pada Go bisa saja menghapus pointer tersebut saat fungsi C masih menggunakannya.

Kode Go bisa memanggil fungsi pada C secara langsung menggunakan sebuah ekstensi Go yang diimplementasikan dalam gccgo: sebuah deklarasi fungsi bisa diawali dengan //extern NAME. Misalnya, berikut cara mendeklarasikan fungsi C open dalam Go:

Fungsi C biasanya membutuhkan string yang berakhir dengan NUL, yang pada Go sama dengan sebuah pointer ke sebuah array (bukan slice!) dari byte yang berakhir dengan byte kosong. Jadi contoh pemanggilan dari Go seperti berikut (setelah mengimpor paket syscall):

(ini hanyalah contoh saja, untuk membuka sebuah berkas dalam Go gunakanlah fungsi os.Open)

Ingatlah jika fungsi C bisa memblok, seperti pemanggilan ke read, pemanggilan ke fungsi C tersebut bisa memblok keseluruhan program Go. Kecuali bila Anda benar-benar paham apa yang Anda lakukan, semua pemanggilan antara C dan Go sebaiknya diimplementasikan lewat cgo atau SWIG, seperti pada compiler gc.

Nama dari fungsi-fungsi Go yang diakses dari C bisa berubah sewaktu-waktu. Sekarang ini nama dari fungsi Go yang tidak memiliki receiver yaitu prefix.package.Functionname. Nilai dari prefix di set lewat opsi -fgo-prefix saat paket dikompilasi; jika opsi ini tidak di set, maka nilai baku-nya adalah go. Untuk memanggil fungsi tersebut dari C Anda harus mengeset nama tersebut menggunakan ekstensi GCC.

Versi Go pada GCC mendukung pembangkit otomatis deklarasi Go dari kode C. Fasilitas ini sedikit aneh, dan pengguna pada umumnya sebaiknya menggunakan program cgo dengan opsi -gccgo.

Kompilasi kode C Anda seperti biasa, dan tambahkan opsi -fdump-go-spec=FILENAME. Opsi tersebut akan membuat berkas FILENAME pada saat kompilasi. Berkas ini akan berisi deklarasi Go untuk tipe-tipe, variabel, dan fungsi yang dideklarasikan dalam kode C. Tipe-tipe C yang tidak dapat direpresentasikan dalam Go akan dicatat sebagai komentar dalam kode Go. Berkas yang dibangkitkan tidak akan memiliki deklarasi paket, namun bisa dikompilasi langsung oleh gccgo.

Prosedur ini memiliki batasan dan kelebihan yang tidak tertulis dan kami tidak menjamin ia tidak berubah di masa depan. Hal ini lebih berguna sebagai titik awal untuk pembangunan kode Go daripada prosedur untuk umum.