Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Behavior of HasType and HasInterface is counter-intuitive

Đang mở
#145 1 bình luận 1 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
35/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
go
Lĩnh vực
backend

Hướng nghiên cứu

Bắt đầu trong markers/markers.go, đặc biệt là If và cách nó sử dụng UnwrapOnce, sau đó so sánh hành vi duyệt của HasType và HasInterface với Is và As đối với multi-errors. Xem lại bối cảnh kiểm thử dựa trên thuộc tính trong Sourcegraph PR 62992. Được xem là hoàn tất khi sự khác biệt trong hành vi duyệt được giải quyết hoặc ghi lại tài liệu, đồng thời bổ sung coverage cho hành vi đã chọn.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Both of these functions call If which does a traversal of the causal chain, it does not traverse the full tree. Specifically, If internally calls UnwrapOnce and doesn't handle the multi-error case, whereas functions like Is and As separately handle the multi-error case.

This leads to counter-intuitive behavior; you can have a value x of type T, and errors.Is(err, x) may be true, but errors.HasType(err, T{}) may fail.

I noticed this behavior while trying to add property-based tests to better understand the behavior of HasType here. https://github.com/sourcegraph/sourcegraph/pull/62992

It would be valuable to either:

  • Change the implementation of If to traverse the full tree
  • OR Add a separate function which does a tree traversal (not just the "causal chain") and use that from HasType and HasInterface
  • OR Add a cautionary warning to HasType and HasInterface's docs which describe the behavior in the presence of multi-errors.
Ngôn ngữ chính
Go
Star
2.5k
Fork
75
Không có pull request nào được merge trong 30 ngày

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của cockroachdb/errors

Tất cả issue của cockroachdb/errors

Issue tương tự

Thêm issue về Go

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.