興味深い null 合体演算子のカスタム暗黙的な変換動作 質問する

注: これは修正されたようですロザリン

この疑問は、私が回答を書いているときに浮かびました。これですの結合性について述べている。ヌル合体演算子。

念のため、ヌル合体演算子の考え方は、次の形式の式である。

x ?? y

まず を評価しx、次に次の操作を実行します。

• の値がxnullの場合、yが評価され、それが式の最終結果となる。
• の値xがnullでない場合、yは評価されず、 の値は、必要に応じてxコンパイル時の の型に変換された後の式の最終結果です。y

通常、変換の必要はありません。または、null 許容型から null 非許容型への変換だけです。通常、型は同じか、単に (たとえば) から への変換だけですint?。intただし、独自の暗黙的な変換演算子を作成することもできます。これらは必要な場合に使用されます。

の単純なケースではx ?? y、奇妙な動作は見られません。しかし、 では、(x ?? y) ?? z混乱を招く動作が見られます。

以下は短いですが完全なテスト プログラムです。結果はコメントに記載されています。

using System;

public struct A
{
    public static implicit operator B(A input)
    {
        Console.WriteLine("A to B");
        return new B();
    }

    public static implicit operator C(A input)
    {
        Console.WriteLine("A to C");
        return new C();
    }
}

public struct B
{
    public static implicit operator C(B input)
    {
        Console.WriteLine("B to C");
        return new C();
    }
}

public struct C {}

class Test
{
    static void Main()
    {
        A? x = new A();
        B? y = new B();
        C? z = new C();
        C zNotNull = new C();

        Console.WriteLine("First case");
        // This prints
        // A to B
        // A to B
        // B to C
        C? first = (x ?? y) ?? z;

        Console.WriteLine("Second case");
        // This prints
        // A to B
        // B to C
        var tmp = x ?? y;
        C? second = tmp ?? z;

        Console.WriteLine("Third case");
        // This prints
        // A to B
        // B to C
        C? third = (x ?? y) ?? zNotNull;
    }
}

using System;

public struct A
{
    public static implicit operator int(A input)
    {
        Console.WriteLine("A to int");
        return 10;
    }
}

class Test
{
    static A? Foo()
    {
        Console.WriteLine("Foo() called");
        return new A();
    }

    static void Main()
    {
        int? y = 10;

        int? result = Foo() ?? y;
    }
}

Foo() called
Foo() called
A to int