3

我正在编写一个带有类型参数 T 的通用抽象类 A，我打算用类 B 派生它。

A 有一个数据成员 mX，它是类 C 的一个实例，带有一个通用函数。这个通用函数 GetAllOfType() 有一个类型参数 T。这个类型参数被限制到第三个类 D。GetAllOfType() 搜索 D 实例的容器，其中包括 D 的派生类的实例，并返回T 类型的子集（因此对 D 的约束）。

D 类本身没有特定的数据成员 int mY，但 D 的某些派生类有，例如 E 和 F。

public class D
{
}

public class E : D
{
    public int mY;
}

public class F : D
{
    public int mY;
}

public class C
{
    public T[] GetAllOfType<T>() where T : D
    { ... }
}

public class A<T>
{
    private C mX;
    ...
}

public class B : A<E>
{
    ...
}

所以这是我的问题开始的地方：

B 类用于继承和实现 A 类的参数类型是 D 的派生类。我正在尝试在 A 类中编写一个函数 Foo，该函数通过 GetAllOfType() 枚举并访问 E、F 或任何其他类型的成员 mY有一个 myY 的成员。

public class A<T>
{
    private C mX;

    protected Foo()
    {
        foreach (var c in mX.GetAllOfType<T>())
        {
            c.mY = 0;
        }
    }
}

public class B : A<E>
{
    public Bar()
    {
        Foo();
    }
}

但是，问题是 GetAllOfType() 受到约束，并且我也因未约束 A 类而收到错误消息。

我试过像这样约束 A ：

public class A<T> where T : D

但是我遇到了编译时错误：

键入T' does not contain a definition formY' 并且找不到扩展方法mY' of typeT'（您是否缺少 using 指令或程序集引用？）

我还尝试限制到多个派生类：

public class A<T> where T : E, F

但是我也遇到了以下错误：

类类型约束“F”必须列在任何其他约束之前。考虑将类型约束移动到约束列表的开头

我试过切换它们：

public class A<T> where T : F, E

同样，结果是相同的错误，但将 F 切换为 E。

我正在尝试的可能吗？我究竟做错了什么？

同样，我无法更改 C、D、E 和 F 类的任何内容。

4

1 回答 1

2

在 A 的泛型参数上添加约束时，

public class A<T> where T : D

不出所料，出现第二个错误的原因Type T' does not contain a definition for mY' and no extension method mY' of typeT' could be found (are you missing a using directive or an assembly reference?)是因为 D 没有 mY，只有派生类 E 和 F。原因

public class A<T> where T : E, F

不起作用是因为您只能指定一个基类类型约束（C# 没有多重继承）。任何进一步的约束都必须是接口，或者类似的class东西new()

如果您真的无法更改这些课程的任何内容，那么据我所知，您要完成的工作可能会非常困难。我可以想到一些丑陋的方式（反射，或大量的铸造），但这不是正确的道路。也许我缺少一些聪明的东西。如果您可以引入具有 mY 属性的接口（或中间类），并让 E 和 F 从中继承，那就太好了。然后，您可以将 T 限制在此范围内，而不是D一切都将是 honkey dory。否则，除了运行时，我看不到任何方法可以知道D您正在处理哪种类型。

于 2012-06-13T23:38:45.257 回答