解构元组以进行模式匹配

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
}