c# – 为什么不能从通用约束中隐含地推断出`this`的类型转换？

发布时间：2020-12-15 23:49:56 所属栏目：百科来源：网络整理

导读：我有以下课程： public class ItemTItem where TItem : ItemTItem{ void GetReference() { TItem item = this; }} 这里TItem item = this;生成编译器错误“无法将Item TItem隐式转换为TItem”. 但为什么我们需要转换呢？我们已经定义了TItem：Item TItem的约

我有以下课程：

public class Item<TItem>
    where TItem : Item<TItem>
{
    void GetReference()
    {
        TItem item = this;
    }
}

这里TItem item = this;生成编译器错误“无法将Item< TItem>隐式转换为TItem”.

但为什么我们需要转换呢？我们已经定义了TItem：Item< TItem>的约束,因此可以认为根本不需要转换,因为这两种类型是相同的,不是吗？

顺便说一下,显式转换是可用的.这也在编译器错误中说明.

解决方法

因为它不安全.考虑：

public class GoodItem : Item<GoodItem>
{
    // No problem
}

public class EvilItem : Item<GoodItem>
{
    // GetReference body would be equivalent to 
    // GoodItem item = this;
    // ... but this *isn't* a GoodItem,it's an EvilItem!
}

EvilItem满足TItem的约束而没有任何问题 – GoodItem确实派生自Item< GoodItem>.

没有办法表达声明的类和类型参数之间的关系,这是你真正想要的.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!