C＃7中的模式匹配是否可以与泛型一起使用？

Question

我有一个简单的情况，我想使用模式匹配来识别在两个通用八进制之间执行碰撞测试所需的算法。 我的基本情况是两个三角形的八进制。 代码的框架是。

public class Triangle {
        public static bool 
           Intersects
             ( IReadOnlyList<Triangle> ta
             , IReadOnlyList<Triangle> tb)
        {
             ...
        }
}

public class Octree<T> {

        public bool Intersects<U>(Octree<U> other)
        {
            if (this is Octree<Triangle> ota && other is Octree<Triangle> otb)
            {
                return ota.Intersects( otb, Triangle.Intersects );
            }
            throw new NotImplementedException();

        }

        public bool Intersects<U>
          ( Octree<U> other
          , Func<IReadOnlyList<T>, IReadOnlyList<U>, bool> intersectsLeaves
          )
        {
            ...
        }


}

但会导致以下错误。

Error CS8121
An expression of type Octree<T> cannot be handled by a pattern of type
Octree<Triangle>.

当然，我可以只使用typeof(U)和typeof(T)进行测试，但我认为以上内容确实可以工作。 为什么不呢？

Answer 1

C＃7.0中的模式匹配有一项要求，要求必须从左手类型到右手类型进行显式或隐式转换。

在C＃7.1中，将对规范进行扩展，以便左侧或右侧可以是开放类型。

Answer 2

它是一个错误。 看看这个： https : //github.com/dotnet/roslyn/issues/16195

Answer 3

有一个解决该错误/功能的方法。 您可以将Try *模式与内联声明的变量一起使用。

bool TryIs<TU>(object t, out TU u)
{
    if (t is TU uu)
    {
        u = uu;
        return true;
    }
    u = default(TU);
    return false;
}

那么你可以像这样使用它

public bool Intersects<U>(Octree<U> other)
{
    if ( TryIs<Octree<Triangle>>(out var ota) && TryIs<Octree<Triangle>>(out var otb))
    {
        return ota.Intersects( otb, Triangle.Intersects );
    }
    throw new NotImplementedException();

}