Apakah Kovarian, Invarian dan Kontravarian dalam Bahasa Inggeris Biasa?

Memahami Kovarian, Invarian dan Kontravarian dalam Bahasa Inggeris Biasa

Kovarian, invarian dan kontravarian ialah istilah yang menerangkan bagaimana perhubungan menaip berkelakuan di bawah tertentu transformasi. Dalam pengaturcaraan, transformasi ini boleh berupa penukaran jenis, penggantian kaedah atau warisan.

Kovarian

Kovarian bermakna subjenis jenis juga akan menjadi subjenis jenis berubah. Sebagai contoh, jika kelas A ialah subjenis kelas B, dan kita mempunyai fungsi f(T) yang mengambil jenis T dan mengembalikan jenis T'' yang diubah, maka jika A ialah subjenis B, f(A) akan juga menjadi subjenis f(B).

Contravariance

Contravariance ialah lawan bagi kovarians. Sebaliknya, subjenis jenis akan dipetakan kepada superjenis jenis diubah. Jika fungsi yang sama f(T) daripada contoh kovarians di atas adalah kontravarian, maka jika A ialah subjenis B, f(B) akan menjadi subjenis f(A).

Invarian

Invarian bermakna kovarians atau kontravarians tidak terpakai pada transformasi. Iaitu, hubungan subjenis tidak terjejas oleh transformasi.

Contoh

Pertimbangkan contoh berikut:

Java Generik

Generik di Jawa adalah invarian. Ini bermakna List, sebagai contoh, bukanlah subjenis mahupun superjenis List