Câu hỏi được gắn thẻ «type-inference»

Đã khóa . Câu hỏi này và câu trả lời của nó bị khóa vì câu hỏi không có chủ đề nhưng có ý nghĩa lịch sử. Nó hiện không chấp nhận câu trả lời hoặc tương tác mới. Sau khi thảo luận với các đồng nghiệp về việc sử …

406 c#  type-inference  var 

Tôi gặp một số khó khăn khi điều hướng quy tắc của Java để suy ra các tham số loại chung. Hãy xem xét các lớp sau, có một tham số danh sách tùy chọn: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public …

269 java  generics  type-inference 

Tôi có một mảng được tạo thành AnyObject. Tôi muốn lặp lại nó và tìm tất cả các phần tử là các thể hiện mảng. Làm cách nào để kiểm tra xem một đối tượng có thuộc loại đã cho trong Swift không?

267 swift  type-inference  typechecking 

Tôi đã sử dụng autotừ khóa mới có sẵn trong tiêu chuẩn C ++ 11 cho các loại khuôn mẫu phức tạp, đó là những gì tôi tin rằng nó được thiết kế cho. Nhưng tôi cũng đang sử dụng nó cho những việc như: auto foo = std::make_shared<Foo>(); Và …

218 c++  types  c++11  type-inference  auto 

Tôi đang sử dụng Xcode 6 Beta 6. Đây là một cái gì đó đã làm tôi khó chịu trong một thời gian, nhưng nó đạt đến điểm mà bây giờ nó hầu như không thể sử dụng được. Dự án của tôi đang bắt đầu có kích thước khá …

209 swift  optimization  compilation  type-inference  compilation-time 

Tôi có một hàm chung gọi một dịch vụ web và tuần tự hóa phản hồi JSON trở lại một đối tượng. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call the service and parse the response */ …

146 swift  generics  type-inference 

Có vẻ như đó autolà một tính năng khá quan trọng được thêm vào trong C ++ 11 dường như đi theo rất nhiều ngôn ngữ mới hơn. Như với một ngôn ngữ như Python, tôi chưa thấy bất kỳ khai báo biến rõ ràng nào (tôi không chắc có …

143 c++  c++11  type-inference  auto 

Theo Scala Language Spec : ... phép suy luận kiểu cục bộ để giới hạn độ phức tạp của các giới hạn được suy ra [tham số kiểu]. Tính tối thiểu và tối đa của các loại phải được hiểu tương ứng với tập hợp các loại có độ phức …

120 scala  type-inference 

Tôi đang làm việc trên một cơ sở hoàn thành (intellisense) cho C # trong emacs. Ý tưởng là, nếu người dùng nhập một phân đoạn, sau đó yêu cầu hoàn thành thông qua một tổ hợp phím cụ thể, cơ sở hoàn thành sẽ sử dụng phản chiếu .NET …

109 c#  reflection  appdomain  type-inference 

Tôi đã gặp một tình huống tò mò liên quan đến các phương pháp chung tĩnh. Đây là mã: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Tại sao tôi không …

106 java  generics  static  type-inference 

Tôi thấy một số cuộc thảo luận thú vị ở đây về nhập tĩnh và nhập động. Tôi thường thích nhập tĩnh hơn, do kiểm tra kiểu biên dịch, mã được tài liệu hóa tốt hơn, v.v. Tuy nhiên, tôi đồng ý rằng chúng làm lộn xộn mã nếu được …

91 compiler-construction  functional-programming  language-design  type-inference 

Trong khi viết mã cho một câu trả lời khác trên trang web này, tôi đã bắt gặp điều đặc biệt này: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static <T extends Throwable> void sneakyThrow(Throwable t) …

85 java  generics  java-8  type-inference 

Tôi bối rối bởi cách trình biên dịch haskell đôi khi đưa ra các kiểu ít đa hình hơn những gì tôi mong đợi, chẳng hạn như khi sử dụng các định nghĩa không có điểm. Có vẻ như vấn đề là "hạn chế đơn hình", được bật theo mặc …

78 haskell  types  polymorphism  type-inference  monomorphism-restriction 

Tham chiếu phương thức được sử dụng có kiểu trả về Integer. Nhưng một không tương thích Stringđược cho phép trong ví dụ sau. Làm cách nào để sửa withkhai báo phương thức để có được kiểu tham chiếu phương thức an toàn mà không cần truyền thủ công? import …

38 java  generics  lambda  type-inference  method-reference 

Chúng ta đều biết Long kéo dài Number . Vậy tại sao điều này không biên dịch? Và làm thế nào để xác định phương thức withđể chương trình biên dịch mà không có bất kỳ diễn viên thủ công nào? import java.util.function.Function; public class Builder<T> { static public interface …

19 java  type-inference