Có "đối lập" với toán tử liên kết null không? (…Bằng bất kỳ ngôn ngữ nào?)

null kết hợp dịch gần nghĩa là return x, unless it is null, in which case return y

Tôi thường cần return null if x is null, otherwise return x.y

tôi có thể sử dụng return x == null ? null : x.y;

Không tệ, nhưng điều đó nullở giữa luôn làm tôi khó chịu - có vẻ như thừa. Tôi muốn một cái gì đó giống như return x :: x.y;, trong đó những gì theo sau chỉ ::được đánh giá nếu những gì đứng trước nó thì không null.

Tôi thấy điều này gần như đối lập với kết hợp rỗng, kiểu trộn lẫn với kiểm tra null nội tuyến ngắn gọn, nhưng tôi [ gần như ] chắc chắn rằng không có toán tử nào như vậy trong C #.

Có ngôn ngữ nào khác có toán tử như vậy không? Nếu vậy, những gì nó được gọi là?

(Tôi biết rằng tôi có thể viết một phương thức cho nó trong C #; tôi sử dụng return NullOrValue.of(x, () => x.y);, nhưng nếu bạn có bất kỳ điều gì tốt hơn, tôi cũng muốn xem điều đó.)

Có một nhà điều hành hội nghị vô cùng an toàn (?.) Ở Groovy ... Tôi nghĩ đó là những gì bạn đang theo đuổi.

(Nó còn được gọi là toán tử điều hướng an toàn .)

Ví dụ:

homePostcode = person?.homeAddress?.postcode

Điều này sẽ cho null nếu person, person.homeAddresshoặc person.homeAddress.postcodelà null.

(Tính năng này hiện có sẵn trong C # 6.0 nhưng không có trong các phiên bản trước đó)

Chúng tôi đã xem xét thêm?. đến C # 4. Nó không thực hiện cắt giảm; đó là một tính năng "tốt khi có", không phải là một tính năng "phải có". Chúng tôi sẽ xem xét nó một lần nữa cho các phiên bản giả định trong tương lai của ngôn ngữ, nhưng tôi sẽ không nín thở chờ đợi nếu tôi là bạn. Nó không có khả năng trở nên quan trọng hơn khi thời gian trôi qua. :-)

Nếu bạn có một loại logic boolean ngắn mạch đặc biệt, bạn có thể làm điều này (ví dụ javascript):

return x && x.y;

Nếu xlà null, thì nó sẽ không đánh giá x.y.

Nó chỉ cảm thấy đúng khi thêm điều này như một câu trả lời.

Tôi đoán lý do tại sao không có điều đó trong C # là bởi vì, không giống như toán tử liên kết (chỉ hợp lệ cho các kiểu tham chiếu), hoạt động ngược lại có thể mang lại một kiểu tham chiếu hoặc giá trị (tức là class xvới thành viên int y- do đó nó sẽ không may là không sử dụng được trong nhiều tình huống.

Tuy nhiên, tôi không nói rằng tôi không muốn nhìn thấy nó!

Một giải pháp tiềm năng cho vấn đề đó là toán tử sẽ tự động nâng một biểu thức kiểu giá trị ở phía bên phải thành một giá trị có thể đặt được. Nhưng sau đó bạn có vấn đề rằng x.ynơi y là một int thực sự sẽ trả về một giá trị int?đó sẽ là một điều khó khăn.

Một giải pháp khác, có lẽ tốt hơn, sẽ là toán tử trả về giá trị mặc định (tức là null hoặc không) cho kiểu ở phía bên phải nếu biểu thức bên trái là null. Nhưng sau đó bạn gặp vấn đề trong việc phân biệt các tình huống trong đó số không / null thực sự được đọc từ đó x.yhoặc liệu nó có được cung cấp bởi toán tử truy cập an toàn hay không.

Delphi có toán tử: (thay vì.), Là không an toàn.

Họ đã suy nghĩ về việc thêm một?. sang C # 4.0 để làm tương tự, nhưng điều đó có khối cắt.

Trong khi đó, có IfNotNull () giúp bạn gãi ngứa. Nó chắc chắn lớn hơn?. hoặc:, nhưng nó cho phép bạn soạn một chuỗi hoạt động sẽ không gây hại cho NullReferenceException nếu một trong các thành viên là null.

Trong Haskell, bạn có thể sử dụng >>toán tử:

• Nothing >> Nothing Là Nothing
• Nothing >> Just 1 Là Nothing
• Just 2 >> Nothing Là Nothing
• Just 2 >> Just 1 Là Just 1

Haskell có fmap, mà trong trường hợp này tôi nghĩ là tương đương với Data.Maybe.map. Haskell hoàn toàn là chức năng, vì vậy những gì bạn đang tìm kiếm sẽ là

fmap select_y x

Nếu xlà Nothing, lợi nhuận này Nothing. Nếu xlà Just object, lợi nhuận này Just (select_y object). Không đẹp như ký hiệu dấu chấm, nhưng vì nó là một ngôn ngữ chức năng, các phong cách khác nhau.

PowerShell cho phép bạn tham chiếu các thuộc tính (nhưng không gọi phương thức) trên một tham chiếu null và nó sẽ trả về null nếu thể hiện là null. Bạn có thể làm điều này ở bất kỳ độ sâu nào. Tôi đã hy vọng rằng tính năng động của C # 4 sẽ hỗ trợ điều này nhưng nó không.

$x = $null
$result = $x.y  # $result is null

$x = New-Object PSObject
$x | Add-Member NoteProperty y 'test'
$result = $x.y  # $result is 'test'

Nó không đẹp nhưng bạn có thể thêm một phương thức mở rộng sẽ hoạt động theo cách bạn mô tả.

public static TResult SafeGet<T, TResult>(this T obj, Func<T, TResult> selector) {
    if (obj == null) { return default(TResult); }
    else { return selector(obj); }
}

var myClass = new MyClass();
var result = myClass.SafeGet(x=>x.SomeProp);

public class ok<T> {
    T s;
    public static implicit operator ok<T>(T s) { return new ok<T> { s = s }; }
    public static implicit operator T(ok<T> _) { return _.s; }

    public static bool operator true(ok<T> _) { return _.s != null; }
    public static bool operator false(ok<T> _) { return _.s == null; }
    public static ok<T> operator &(ok<T> x, ok<T> y) { return y; }
}

Tôi thường cần logic này cho các chuỗi:

using ok = ok<string>;

...

string bob = null;
string joe = "joe";

string name = (ok)bob && bob.ToUpper();   // name == null, no error thrown
string boss = (ok)joe && joe.ToUpper();   // boss == "JOE"

Tạo một phiên bản tĩnh của lớp ở đâu đó với tất cả các giá trị mặc định phù hợp cho các thành viên.

Ví dụ:

z = new Thingy { y=null };

sau đó thay vì của bạn

return x != null ? x.y : null;

bạn có thể viết

return (x ?? z).y;

Điều này đang được thêm vào C # vNext (Roslyn cung cấp C #, bản phát hành với Visual Studio 2014).

Nó được gọi là sự lan truyền Null và được liệt kê ở đây là đầy đủ. https://roslyn.codeplex.com/wikipage?title=Language%20Feature%20Status

Nó cũng được liệt kê ở đây là đầy đủ: https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/3990187-add-operator-to-c

Cái gọi là "toán tử điều kiện null" đã được giới thiệu trong C # 6.0 và trong Visual Basic 14.
Trong nhiều trường hợp, nó có thể được sử dụng hoàn toàn ngược lại với toán tử kết hợp null:

int? length = customers?.Length; // null if customers is null   
Customer first = customers?[0];  // null if customers is null  
int? count = customers?[0]?.Orders?.Count();  // null if customers, the first customer, or Orders is null

https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/operators/null-conditional-operators