?? return for Result/Option/Either like ops

[sator-imaging]

Hi there,

It's nice to have ?? return allowed like the following to easily eliminate try-catch statements, isn't?
(I heard swift has an ability like this)

using System;

public class Program
{
    // returns nullable type
    public static String? TryGetText() => "Foo";
    public static bool? TrySomething(int? value)
    {
        // '?? return' to allow Result/Option/Either-like ops
        value ?? return null;
        var text = TryGetText() ?? return;  // nice to omit 'null'

        if (value > 10)
        {
            Console.WriteLine(text + value);
        }

        // currently, '?? throw' with discard is only allowed
        _ = value ?? throw new Exception("No");
    }

    public static int Main(string[] args)
    {
        TrySomething(0) ?? return 1;  // or throw

        // ...do further

        return 0;
    }
}

[huoyaoyuan]

#867

[jnm2]

I would want a feature that goes further than conditional return and actually unwraps the success/some value in the same operation. Much like how await does an early return on cancellation or an exception, and unwraps the result from the task instance if the method does not return.

[RikkiGibson]

(I heard swift has an ability like this)

Are you thinking of guard statements? https://docs.swift.org/swift-book/documentation/the-swift-programming-language/controlflow/#Early-Exit

[sator-imaging]

Swift's functionality is yes, similar. but guard let ... else syntax is no. (maybe my misunderstanding)

Unlike to #867, What I want is that, exiting (throw, return) should be allowed after ?? operator. I don't want to use all control flows such as ?? continue or others.