Apakah ada alasan untuk memiliki tipe terbawah dalam bahasa pemrograman?


49

Tipe dasar adalah konstruk yang terutama muncul dalam teori tipe matematika. Ini juga disebut tipe kosong. Ini adalah tipe yang tidak memiliki nilai, tetapi merupakan subtipe dari semua tipe.

Jika tipe pengembalian fungsi adalah tipe bawah, itu berarti ia tidak kembali. Titik. Mungkin loop selamanya, atau mungkin melempar pengecualian.

Apa gunanya memiliki tipe aneh ini dalam bahasa pemrograman? Ini tidak umum, tetapi ada di beberapa, seperti Scala dan Lisp.


2
@SargeBorsch: apakah Anda yakin akan hal itu? Tentu saja seseorang tidak dapat dalam C secara eksplisit mendefinisikan voiddata ...
Basile Starynkevitch

3
@BasileStarynkevitch tidak ada nilai tipe void, dan tipe unit harus memiliki satu nilai. Juga, seperti yang Anda tunjukkan, Anda bahkan tidak dapat mendeklarasikan nilai tipe void, yang berarti itu bahkan bukan tipe, hanya kasus sudut khusus dalam bahasa.
Sarge Borsch

2
Ya, C aneh dalam hal ini, terutama dalam cara jenis pointer dan fungsi pointer ditulis. Tetapi voiddi Jawa hampir sama: bukan tipe & tidak bisa memiliki nilai.
Sarge Borsch

3
Dalam semantik bahasa dengan tipe terbawah, tipe terbawah tidak dianggap tidak memiliki nilai, melainkan memiliki satu nilai, nilai terbawah, mewakili perhitungan yang tidak pernah lengkap (biasanya). Karena nilai bawah adalah nilai dari setiap jenis, tipe bawah dapat berupa subtipe dari setiap jenis.
Theodore Norvell

4
@BasileStarynkevitch Common Lisp memiliki tipe nil yang tidak memiliki nilai. Ini juga memiliki tipe null yang hanya memiliki satu nilai, simbol nil(alias, ()), yang merupakan tipe unit.
Joshua Taylor

Jawaban:


33

Saya akan mengambil contoh sederhana: C ++ vs Rust.

Berikut adalah fungsi yang digunakan untuk melempar pengecualian di C ++ 11:

[[noreturn]] void ThrowException(char const* message,
                                 char const* file,
                                 int line,
                                 char const* function);

Dan inilah yang setara di Rust:

fn formatted_panic(message: &str, file: &str, line: isize, function: &str) -> !;

Pada masalah sintaksis murni, konstruksi Rust lebih masuk akal. Perhatikan bahwa konstruk C ++ menetapkan tipe pengembalian meskipun ia juga menentukan tidak akan kembali. Agak aneh.

Pada catatan standar, sintaks C ++ hanya muncul dengan C ++ 11 (itu ditempel di atas), tetapi berbagai kompiler telah menyediakan berbagai ekstensi untuk sementara waktu, sehingga alat analisis pihak ketiga harus diprogram untuk mengenali berbagai cara atribut ini dapat ditulis. Memiliki standar itu jelas sangat superior.


Sekarang, untuk manfaatnya?

Fakta bahwa suatu fungsi tidak kembali dapat berguna untuk:

  • optimasi: seseorang dapat memangkas kode apa pun setelah itu (tidak akan kembali), tidak perlu menyimpan register (karena tidak perlu mengembalikannya), ...
  • analisis statis: ini menghilangkan sejumlah jalur eksekusi potensial
  • rawatan: (lihat analisis statis, tetapi oleh manusia)

6
voidpada contoh C ++ Anda mendefinisikan (bagian dari) tipe fungsi - bukan tipe return. Itu memang membatasi nilai fungsi yang diizinkan return; apa pun yang dapat dikonversi menjadi batal (yang bukan apa-apa). Jika fungsi returns tidak harus diikuti oleh nilai. Tipe lengkap dari fungsinya adalah void () (char const*, char const*, int, char const *). +1 untuk digunakan char constsebagai ganti const char:-)
Clearer

4
Itu tidak berarti lebih masuk akal untuk memiliki jenis bottom, hanya saja masuk akal untuk mencatat fungsi apakah mereka kembali atau tidak sebagai bagian dari bahasa. Sebenarnya, karena fungsi dapat gagal kembali karena alasan yang berbeda, tampaknya lebih baik untuk menyandikan alasan dalam beberapa cara daripada menggunakan istilah catch-all, seperti konsep fungsi anotasi yang relatif baru berdasarkan efek sampingnya.
GregRos

2
Sebenarnya, ada alasan untuk membuat "tidak kembali" dan "memiliki jenis kembali X" independen: Kompatibilitas mundur untuk kode Anda sendiri, karena konvensi pemanggilan mungkin bergantung pada jenis kembali.
Deduplicator

Apakah [[noreturn]] par sintaks atau penambahan fungsi?
Zaibis

1
[lanjutan] Secara keseluruhan, saya hanya mengatakan bahwa diskusi tentang keuntungan ⊥ harus menentukan apa yang memenuhi syarat sebagai implementasi ⊥; dan saya tidak berpikir sistem tipe yang tidak memiliki ( a → ⊥) ≤ ( ab ) adalah implementasi yang berguna dari ⊥. Jadi dalam hal ini SysV x86-64 C ABI (antara lain) tidak mengizinkan implementasi ⊥.
Alex Shpilkin

26

Jawaban Karl baik. Ini adalah penggunaan tambahan yang menurut saya tidak ada orang lain yang sebutkan. Tipe dari

if E then A else B

harus tipe yang mencakup semua nilai dalam tipe Adan semua nilai dalam tipe B. Jika jenisnya Badalah Nothing, maka jenis ifekspresi dapat berupa jenis A. Saya akan sering menyatakan rutinitas

def unreachable( s:String ) : Nothing = throw new AssertionError("Unreachable "+s) 

untuk mengatakan bahwa kode tidak diharapkan tercapai. Karena tipenya adalah Nothing, unreachable(s)sekarang dapat digunakan dalam ifatau (lebih sering) switchtanpa mempengaruhi jenis hasil. Sebagai contoh

 val colour : Colour := switch state of
         BLACK_TO_MOVE: BLACK
         WHITE_TO_MOVE: WHITE
         default: unreachable("Bad state")

Scala memiliki tipe Nothing.

Kasus penggunaan lain untuk Nothing(sebagaimana disebutkan dalam jawaban Karl) adalah Daftar [Tidak Ada] adalah jenis daftar yang masing-masing anggotanya bertipe Tidak Ada. Dengan demikian dapat menjadi jenis daftar kosong.

Properti utama Nothingyang membuat use case ini bekerja adalah tidak memiliki nilai - walaupun dalam Scala, misalnya, tidak memiliki nilai - itu adalah subtipe dari setiap tipe lainnya.

Misalkan Anda memiliki bahasa tempat setiap jenis berisi nilai yang sama - sebut saja (). Dalam bahasa seperti itu, tipe unit, yang ()hanya memiliki nilai, bisa menjadi subtipe dari setiap tipe. Itu tidak membuatnya menjadi tipe terbawah dalam arti bahwa OP berarti; OP jelas bahwa tipe bawah tidak mengandung nilai. Namun, karena ini adalah tipe yang merupakan subtipe dari setiap tipe, ini dapat memainkan peran yang sama dengan tipe terbawah.

Haskell melakukan sesuatu yang sedikit berbeda. Di Haskell, ekspresi yang tidak pernah menghasilkan nilai dapat memiliki skema tipe forall a.a. Sebuah instance dari skema tipe ini akan menyatu dengan tipe lainnya, sehingga ia secara efektif bertindak sebagai tipe terbawah, meskipun (standar) Haskell tidak memiliki gagasan tentang subtyping. Misalnya, errorfungsi dari pendahuluan standar memiliki skema jenis forall a. [Char] -> a. Jadi kamu bisa menulis

if E then A else error ""

dan tipe ekspresi akan sama dengan tipe A, untuk ekspresi apa pun A.

Daftar kosong di Haskell memiliki skema jenis forall a. [a]. Jika Aadalah ekspresi yang tipenya adalah tipe daftar, maka

if E then A else []

adalah ekspresi dengan tipe yang sama dengan A.


Apa perbedaan antara tipe forall a . [a]dan tipe [a]di Haskell? Bukankah variabel tipe sudah dikuantifikasi secara universal dalam ekspresi tipe Haskell?
Giorgio

@Iorgio Di Haskell kuantifikasi universal tersirat jika jelas bahwa Anda sedang melihat skema jenis. Anda bahkan tidak dapat menulis foralldalam standar Haskell 2010. Saya menulis kuantifikasi secara eksplisit karena ini bukan forum Haskell dan beberapa orang mungkin tidak terbiasa dengan konvensi Haskell. Jadi tidak ada perbedaan kecuali bahwa forall a . [a]tidak standar sedangkan [a]adalah.
Theodore Norvell

19

Jenis membentuk monoid dalam dua cara, bersama-sama membuat semiring . Itulah yang disebut tipe data aljabar . Untuk tipe hingga, semiring ini secara langsung berkaitan dengan semiring bilangan asli (termasuk nol), yang berarti Anda menghitung berapa banyak nilai yang mungkin dimiliki tipe tersebut (tidak termasuk "nilai nonterminating").

  • Jenis bawah (saya akan menyebutnya Vacuous) memiliki nilai nol .
  • Jenis unit memiliki satu nilai. Saya akan memanggil tipe dan nilai tunggal ().
  • Komposisi (yang didukung sebagian besar bahasa pemrograman secara langsung, melalui catatan / struct / kelas dengan bidang publik) adalah operasi produk . Misalnya, (Bool, Bool)memiliki empat nilai yang mungkin, yaitu (False,False), (False,True), (True,False)dan (True,True).
    Jenis unit adalah elemen identitas dari operasi komposisi. Misalnya ((), False)dan ((), True)merupakan satu-satunya nilai tipe ((), Bool), jadi tipe ini isomorfik untuk Booldirinya sendiri.
  • Jenis-jenis alternatif agak diabaikan di sebagian besar bahasa (bahasa-bahasa OO semacam mendukungnya dengan warisan), tetapi mereka tidak kurang bermanfaat. Alternatif antara dua jenis Adan Bpada dasarnya memiliki semua nilai A, ditambah semua nilai B, maka jenis penjumlahan . Misalnya, Either () Boolmemiliki tiga nilai, saya akan memanggilnya Left (), Right Falsedan Right True.
    Tipe bawah adalah elemen identitas jumlah: hanyaEither Vacuous A memiliki nilai formulir , karena tidak masuk akal ( tidak memiliki nilai).Right aLeft ...Vacuous

Yang menarik dari monoids ini adalah, ketika Anda memperkenalkan fungsi ke bahasa Anda, kategori jenis ini dengan fungsi sebagai morfisme adalah kategori monoid . Di antara hal-hal lain, ini memungkinkan Anda untuk mendefinisikan fungsi aplikatif dan monad , yang ternyata menjadi abstraksi yang sangat baik untuk perhitungan umum (mungkin melibatkan efek samping, dll.) Dalam istilah yang berfungsi murni.

Sekarang, sebenarnya Anda bisa bertindak cukup jauh dengan hanya mengkhawatirkan satu sisi masalah (komposisi monoid), maka Anda tidak benar-benar membutuhkan jenis bottom secara eksplisit. Misalnya, bahkan Haskell untuk waktu yang lama tidak memiliki tipe bottom standar. Sekarang sudah, itu disebut Void.

Tetapi ketika Anda mempertimbangkan gambaran lengkap, sebagai kategori tertutup bicartesian , maka sistem jenisnya sebenarnya setara dengan seluruh kalkulus lambda, jadi pada dasarnya Anda memiliki abstraksi sempurna atas segala yang mungkin terjadi dalam bahasa lengkap Turing. Sangat bagus untuk bahasa khusus domain tertanam, misalnya ada proyek tentang pengkodean sirkuit elektronik secara langsung dengan cara ini .

Tentu saja, Anda mungkin mengatakan bahwa ini semua omong kosong teoretis semua . Anda tidak perlu tahu tentang teori kategori sama sekali untuk menjadi programmer yang baik, tetapi ketika Anda melakukannya, itu memberi Anda cara yang kuat dan luar biasa umum untuk alasan tentang kode, dan invarian invarian.


mb21 mengingatkan saya untuk mencatat bahwa ini tidak boleh dikacaukan dengan nilai-nilai terbawah . Dalam bahasa malas seperti Haskell, setiap jenis berisi "nilai" terbawah, dilambangkan . Ini bukan hal konkret yang bisa Anda berikan secara eksplisit, melainkan apa yang "dikembalikan" misalnya ketika fungsi berulang selamanya. Bahkan Voidtipe Haskell "mengandung" nilai terbawah, demikian namanya. Dari sudut pandang itu, tipe dasar Haskell benar-benar memiliki satu nilai dan tipe unitnya memiliki dua nilai, tetapi dalam diskusi kategori-teori ini pada umumnya diabaikan.


"Tipe bawah (saya akan menyebutnya Void)", yang tidak harus bingung dengan nilainya bottom , yang merupakan anggota jenis apa pun di Haskell .
mb21

18

Mungkin loop selamanya, atau mungkin melempar pengecualian.

Kedengarannya seperti tipe yang berguna untuk dimiliki dalam situasi itu, meskipun jarang.

Juga, meskipun Nothing(nama Scala untuk tipe bawah) tidak dapat memiliki nilai, List[Nothing]tidak memiliki batasan itu, yang menjadikannya berguna sebagai jenis daftar kosong. Sebagian besar bahasa mengatasi hal ini dengan membuat daftar string kosong jenis yang berbeda dari daftar kosong bilangan bulat, yang masuk akal, tetapi membuat daftar kosong lebih verbose untuk ditulis, yang merupakan kelemahan besar dalam bahasa berorientasi daftar.


12
"Daftar kosong Haskell adalah konstruktor tipe": pasti hal yang relevan tentang hal itu di sini adalah lebih dari polimorfik, atau kelebihan beban - yaitu, daftar kosong dari jenis yang berbeda adalah nilai yang berbeda, tetapi []mewakili semuanya, dan akan secara instan untuk tipe spesifik seperlunya.
Peter LeFanu Lumsdaine

Menariknya: Jika Anda mencoba untuk membuat sebuah array kosong di interpreter Haskell, Anda mendapatkan nilai yang sangat pasti dengan jenis yang sangat tidak terbatas: [a]. Demikian pula, :t Left 1hasil Num a => Either a b. Sebenarnya mengevaluasi ekspresi memaksa tipe a, tetapi bukan dari b:Either Integer b
John Dvorak

5
Daftar kosong adalah konstruktor nilai . Agak membingungkan, konstruktor tipe yang terlibat memiliki nama yang sama tetapi daftar kosong itu sendiri adalah nilai bukan tipe (well, ada juga daftar level tipe, tapi itu topik lain). Bagian yang membuat daftar kosong berfungsi untuk semua jenis daftar adalah tersirat foralldalam jenisnya forall a. [a],. Ada beberapa cara yang bagus untuk dipikirkan forall, tetapi perlu beberapa waktu untuk benar-benar mencari tahu.
David

@PeterLeFanuLumsdaine Itulah yang dimaksud dengan konstruktor tipe. Itu hanya berarti itu adalah jenis dengan jenis yang berbeda *.
GregRos

2
Dalam Haskell []adalah konstruktor tipe dan []ekspresi yang mewakili daftar kosong. Tetapi itu tidak berarti bahwa "daftar kosong Haskell adalah konstruktor tipe". Konteksnya memperjelas apakah []digunakan sebagai tipe atau sebagai ekspresi. Misalkan Anda menyatakan data Foo x = Foo | Bar x (Foo x); sekarang Anda dapat menggunakan Foosebagai konstruktor tipe atau sebagai nilai, tetapi kebetulan Anda memilih nama yang sama untuk keduanya.
Theodore Norvell

3

Berguna untuk analisis statis untuk mendokumentasikan fakta bahwa jalur kode tertentu tidak dapat dijangkau. Misalnya jika Anda menulis yang berikut dalam C #:

int F(int arg) {
 if (arg != 0)
  return arg + 1; //some computation
 else
  Assert(false); //this throws but the compiler does not know that
}
void Assert(bool cond) { if (!cond) throw ...; }

Kompiler akan mengeluh bahwa Ftidak mengembalikan apa pun di setidaknya satu jalur kode. Jika Assertditandai sebagai tidak-kembali kompiler tidak perlu memperingatkan.


2

Dalam beberapa bahasa, nullmemiliki tipe terbawah, karena subtipe dari semua jenis dengan baik mendefinisikan apa yang menggunakan null untuk bahasa (meskipun kontradiksi ringan memiliki nullkeduanya sendiri dan fungsi yang mengembalikan sendiri, menghindari argumen umum tentang mengapa botharus tidak dihuni).

Ini juga dapat digunakan sebagai fungsi tangkap semua ( any -> bot) untuk menangani pengiriman yang serba salah.

Dan beberapa bahasa memungkinkan Anda untuk benar-benar menyelesaikannya botsebagai kesalahan, yang dapat digunakan untuk menyediakan kesalahan penyusun khusus.


11
Tidak, tipe bawah bukan tipe unit. Tipe dasar tidak memiliki nilai sama sekali, jadi fungsi yang mengembalikan tipe dasar tidak boleh kembali (yaitu melempar pengecualian atau loop tanpa batas)
Basile Starynkevitch

@ BasileStarynkevitch - Saya tidak berbicara tentang tipe unit. Tipe unit peta ke voiddalam bahasa umum (meskipun dengan semantik yang sedikit berbeda untuk penggunaan yang sama), tidak null. Meskipun Anda juga benar bahwa sebagian besar bahasa tidak memodelkan nol sebagai tipe terbawah.
Telastyn

3
@TheodoreNorvell - versi awal Tangent melakukan itu - meskipun saya pengarangnya, jadi itu mungkin curang. Saya tidak memiliki tautan yang disimpan untuk orang lain, dan sudah lama sejak saya melakukan penelitian itu.
Telastyn

1
@ Martijn Tapi Anda bisa menggunakan null, misalnya Anda membandingkan pointer ke nullmendapatkan hasil Boolean. Saya pikir jawabannya menunjukkan bahwa ada dua jenis bottom type yang berbeda. (a) Bahasa (misalnya Scala) di mana jenis yang merupakan subtipe dari setiap jenis mewakili perhitungan yang tidak memberikan hasil apa pun. Pada dasarnya ini adalah tipe kosong, meskipun secara teknis sering diisi oleh nilai bawah yang tidak berguna yang mewakili nonterminasi. (B) Bahasa seperti Tangent, di mana tipe bawah adalah himpunan bagian dari setiap jenis lain karena berisi nilai yang berguna yang juga ditemukan di setiap jenis lain - null.
Theodore Norvell

4
Sangat menarik bahwa beberapa bahasa memiliki nilai dengan tipe yang Anda tidak dapat mendeklarasikan (umum untuk null literal), dan yang lain memiliki tipe yang dapat Anda deklarasikan tetapi tidak memiliki nilai (tipe bottom tradisional), dan bahwa mereka mengisi peran yang agak sebanding. .
Martijn

1

Ya ini adalah tipe yang cukup berguna; sementara perannya sebagian besar interior ke sistem tipe, ada beberapa kesempatan di mana tipe bawah akan muncul secara terbuka.

Pertimbangkan bahasa yang diketik secara statis di mana conditionals adalah ekspresi (sehingga konstruksi if-then-else berfungsi ganda sebagai operator ternary C dan teman-teman, dan mungkin ada pernyataan kasus multi-arah yang serupa). Bahasa pemrograman fungsional memiliki ini, tetapi itu terjadi dalam bahasa imperatif tertentu juga (sejak ALGOL 60). Maka semua ekspresi cabang pada akhirnya harus menghasilkan jenis ekspresi bersyarat keseluruhan. Orang bisa saja meminta tipenya sama (dan saya pikir ini adalah kasus untuk operator ternary di C) tetapi ini terlalu membatasi terutama ketika kondisional juga dapat digunakan sebagai pernyataan kondisional (tidak mengembalikan nilai berguna). Secara umum seseorang ingin setiap ekspresi cabang menjadi (secara implisit) dapat dikonversi ke tipe umum yang akan menjadi tipe ekspresi penuh (mungkin dengan batasan yang lebih atau kurang rumit untuk memungkinkan tipe umum tersebut ditemukan secara efektif oleh kompiler, lih. C ++, tapi saya tidak akan membahas detailnya di sini).

Ada dua jenis situasi di mana jenis konversi umum akan memungkinkan fleksibilitas yang diperlukan dari ekspresi kondisional tersebut. Satu sudah disebutkan, di mana tipe hasil adalah tipe unitvoid; ini adalah tipe super dari semua tipe lainnya, dan memungkinkan tipe apa pun untuk (secara sepele) dikonversi menjadi memungkinkan untuk menggunakan ekspresi kondisional sebagai pernyataan kondisional. Yang lain melibatkan kasus di mana ekspresi memang mengembalikan nilai yang berguna, tetapi satu atau lebih cabang tidak mampu menghasilkan satu. Mereka biasanya akan memunculkan eksepsi atau melibatkan lompatan, dan mengharuskan mereka untuk (juga) menghasilkan nilai dari tipe keseluruhan ekspresi (dari titik yang tidak terjangkau) tidak akan ada gunanya. Situasi seperti inilah yang dapat ditangani dengan anggun dengan memberikan klausa kenaikan-kenaikan, lompatan, dan panggilan yang akan memiliki efek seperti itu, tipe terbawah, tipe yang dapat (secara sepele) diubah menjadi tipe lain.

Saya akan menyarankan menulis jenis bawah *untuk menyarankan konvertibilitasnya ke jenis sewenang-wenang. Ini dapat melayani tujuan bermanfaat lainnya secara internal, misalnya ketika mencoba untuk menyimpulkan tipe hasil untuk fungsi rekursif yang tidak menyatakan apa pun, tipe penyimpulan dapat menetapkan tipe *untuk panggilan rekursif apa pun untuk menghindari situasi ayam dan telur; jenis aktual akan ditentukan oleh cabang non-rekursif, dan yang rekursif akan dikonversi ke jenis umum yang non-rekursif. Jika tidak ada cabang non-rekursif sama sekali, jenisnya akan tetap *, dan dengan benar menunjukkan bahwa fungsi tidak memiliki cara yang mungkin untuk kembali dari rekursi. Selain ini dan sebagai jenis hasil fungsi melempar pengecualian, seseorang dapat menggunakan*sebagai jenis komponen urutan panjang 0, misalnya daftar kosong; lagi jika suatu elemen dipilih dari ekspresi tipe [*](tentu daftar kosong), maka tipe yang dihasilkan *akan dengan benar menunjukkan bahwa ini tidak akan pernah bisa kembali tanpa kesalahan.


Jadi adalah gagasan bahwa var foo = someCondition() ? functionReturningBar() : functionThatAlwaysThrows()bisa menyimpulkan jenis foosebagai Bar, karena ekspresi tidak pernah bisa menghasilkan apa-apa lagi?
supercat

1
Anda baru saja menggambarkan tipe unit — setidaknya di bagian pertama jawaban Anda. Sebuah fungsi yang mengembalikan tipe unit adalah sama sebagai salah satu yang dinyatakan sebagai kembali voiddalam C. Bagian kedua dari jawaban Anda, di mana Anda berbicara tentang jenis untuk fungsi yang tidak pernah kembali, atau daftar tanpa elemen-itu adalah memang tipe bawah! (Ini sering ditulis sebagai _|_daripada *. Tidak yakin mengapa. Mungkin karena terlihat seperti bawah (manusia) :)
andrewf

2
Untuk menghindari keraguan: 'tidak mengembalikan apa pun yang berguna' berbeda dari 'tidak kembali'; yang pertama diwakili oleh tipe Unit; yang kedua dengan tipe Bawah.
andrewf

@andrewf: Ya ​​saya mengerti perbedaannya. Jawaban saya agak agak gondrong, tetapi poin yang ingin saya sampaikan adalah bahwa tipe unit dan tipe bawah keduanya memainkan peran yang berbeda (berbeda tetapi) dalam memungkinkan ekspresi tertentu untuk digunakan secara lebih fleksibel (tetapi masih aman).
Marc van Leeuwen

@supercat: Ya, itulah idenya. Saat ini di C ++ yang ilegal, meskipun akan berlaku jika functionThatAlwaysThrows()digantikan oleh eksplisit throw, karena bahasa khusus dalam Standard. Memiliki tipe yang melakukan ini akan menjadi peningkatan.
Marc van Leeuwen

0

Dalam beberapa bahasa, Anda dapat membuat anotasi fungsi untuk memberi tahu kompiler dan pengembang bahwa panggilan ke fungsi ini tidak akan kembali (dan jika fungsi ditulis dengan cara yang bisa kembali, kompiler tidak akan mengizinkannya ). Itu hal yang berguna untuk diketahui, tetapi pada akhirnya Anda dapat memanggil fungsi seperti ini seperti yang lainnya. Kompiler dapat menggunakan informasi untuk optimisasi, untuk memberi peringatan tentang kode mati, dan sebagainya. Jadi tidak ada alasan yang sangat kuat untuk memiliki tipe ini, tetapi tidak ada alasan yang sangat kuat untuk menghindarinya juga.

Dalam banyak bahasa, suatu fungsi dapat mengembalikan "void". Apa artinya sebenarnya tergantung pada bahasa. Dalam C berarti fungsi tidak mengembalikan apa pun. Dalam Swift, itu berarti fungsi mengembalikan objek dengan hanya satu nilai yang mungkin, dan karena hanya ada satu nilai yang mungkin nilai mengambil nol bit dan sebenarnya tidak memerlukan kode apa pun. Dalam kedua kasus, itu tidak sama dengan "bawah".

"bottom" adalah tipe tanpa nilai yang memungkinkan. Itu tidak akan pernah ada. Jika suatu fungsi mengembalikan "bottom", ia tidak dapat benar-benar kembali, karena tidak ada nilai dari tipe "bottom" yang dapat dikembalikan.

Jika seorang perancang bahasa merasa menyukainya, maka tidak ada alasan untuk tidak memiliki tipe itu. Implementasinya tidak sulit (Anda dapat mengimplementasikannya persis seperti fungsi yang mengembalikan batal dan ditandai sebagai "tidak kembali"). Anda tidak dapat mencampur pointer ke fungsi yang kembali ke bawah dengan pointer ke fungsi yang mengembalikan batal, karena mereka bukan tipe yang sama).

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.