模式匹配解构元组

Question

给定一个函数async Task<(Boolean result, MyObject value)> TryGetAsync()，我可以

if((await TryGetAsync()) is var ret && ret.result)
{
    //use ret.value
}

但是，如果我试图使用声明类型或使用解构式获取一个错误，“在这种情况下不允许声明”：

//declaration. error
if((await TryGetAsync()) is (Boolean result, MyObject value) ret && ret.result)
{
    //use ret.value
}

//deconstruction, also error.
if((await TryGetAsync()) is (Boolean result, MyObject value) && result)
{
    //use value
}

如何避免在此场景中使用第一个选项var ret？我的问题是，类型并不明显(这是一个单独的讨论)。

Answer 1

模式匹配规范不允许值元组表示法作为模式匹配语法中的有效type_pattern。

在编译器中重写元组表示法以使用ValueTuple。因此有一个选项:它确实与底层类型ValueTuple<bool, MyObject>一起工作。

if ((await TryGetAsync()) is ValueTuple<bool, MyObject> ret && ret.Item1)

虽然不理想，但它可以为你提供一个解决办法。

Answer 2

在C# 8.0中，您可以使用最后一个选项并没有错误：

if((await TryGetAsync()) is (Boolean result, MyObject value) && result)
{
    //use value
}