Jenis inferensi adalah proses menyimpulkan jenis untuk program secara otomatis, menggunakan aturan yang ditentukan oleh sistem jenis.
Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima jawaban atau interaksi baru. Setelah berdiskusi dengan kolega mengenai penggunaan kata kunci 'var' di C # 3, saya
Saya mengalami beberapa masalah dalam menavigasi aturan Java untuk menyimpulkan parameter tipe generik. Pertimbangkan kelas berikut, yang memiliki parameter daftar opsional: import java.util.Collections; import java.util.List; public class Person { private String name; private...
Saya memiliki array yang terdiri dari AnyObject. Saya ingin mengulanginya, dan menemukan semua elemen yang merupakan instance array. Bagaimana saya bisa memeriksa apakah suatu objek dari tipe tertentu di
Saya telah menggunakan autokata kunci baru yang tersedia di standar C ++ 11 untuk tipe templated yang rumit yang saya yakin dirancang untuk itu. Tetapi saya juga menggunakannya untuk hal-hal seperti: auto foo = std::make_shared<Foo>(); Dan lebih skeptis untuk: auto foo = bla(); // where...
Saya menggunakan Xcode 6 Beta 6. Ini adalah sesuatu yang telah menggangguku selama beberapa waktu sekarang, tetapi mencapai titik di mana itu hampir tidak dapat digunakan sekarang. Proyek saya mulai memiliki ukuran yang layak yaitu 65 file Swift dan beberapa file Objective-C yang dijembatani...
Saya memiliki fungsi generik yang memanggil layanan web dan membuat serialisasi respons JSON kembali ke objek. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /*...
Tampaknya itu autoadalah fitur yang cukup signifikan untuk ditambahkan dalam C ++ 11 yang tampaknya mengikuti banyak bahasa yang lebih baru. Seperti bahasa seperti Python, saya belum melihat adanya deklarasi variabel eksplisit (saya tidak yakin apakah mungkin menggunakan standar Python). Apakah...
Menurut Spesifikasi Bahasa Scala : ... inferensi tipe lokal diizinkan untuk membatasi kompleksitas batas yang disimpulkan [parameter tipe]. Minimitas dan maksimalitas jenis harus dipahami relatif terhadap himpunan jenis kompleksitas yang dapat diterima. Dalam praktiknya apa saja batasannya?...
Saya sedang mengerjakan fasilitas penyelesaian (intellisense) untuk C # di emacs. Idenya adalah, jika pengguna mengetikkan sebuah fragmen, kemudian meminta penyelesaian melalui kombinasi penekanan tombol tertentu, fasilitas penyelesaian akan menggunakan refleksi .NET untuk menentukan penyelesaian...
Saya telah menjumpai situasi aneh yang melibatkan metode generik statis. Ini kodenya: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Kenapa saya tidak...
Saya melihat beberapa diskusi menarik di sini tentang pengetikan statis vs. dinamis. Saya biasanya lebih suka pengetikan statis, karena pemeriksaan jenis kompilasi, kode yang didokumentasikan lebih baik, dll. Namun, saya setuju bahwa mereka mengacaukan kode jika dilakukan dengan cara Java,...
Referensi metode yang digunakan memiliki tipe kembali Integer. Tapi tidak cocokString diizinkan dalam contoh berikut. Bagaimana cara memperbaiki withdeklarasi metode untuk mendapatkan tipe referensi metode yang aman tanpa casting secara manual? import java.util.function.Function; public class...
Kita semua tahu Long memanjang Number. Jadi mengapa ini tidak dikompilasi? Dan bagaimana mendefinisikan metode withsehingga program dapat dikompilasi tanpa ada panduan manual? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number...
Implementasi std::mem::dropdidokumentasikan sebagai berikut: pub fn drop<T>(_x: T) { } Karena itu, saya berharap penutupan |_| ()(bahasa sehari-hari dikenal sebagai penutupan toilet ) menjadi pengganti 1: 1 potensial drop, di kedua arah. Namun, kode di bawah ini menunjukkan bahwa droptidak...
Kenapa public <R, F extends Function<T, R>> Builder<T> withX(F getter, R returnValue) {...} lebih ketat dari itu public <R> Builder<T> with(Function<T, R> getter, R returnValue) {...} Ini adalah tindak lanjut pada Mengapa jenis pengembalian lambda tidak...
Mengapa pencocokan pola bekerja berbeda ketika parameter type berasal dari metode melampirkan sebagai lawan dari kelas melampirkan? Sebagai contoh, trait Base[T] case class Derived(v: Int) extends Base[Int] class Test[A] { def method(arg: Base[A]) = { arg match { case Derived(_) => 42 }...