防止使用抽象类作为属性类型

Question

是否可以防止使用抽象类作为属性类型？

我有一个抽象基类在具有泛型类型的抽象类中继承，而后者又在具有定义类型的类中继承。是否可以用泛型类型“锁定”抽象类，因此不能将其用作其他类的属性？

这是我的情况的近似值。我想防止创建像doubleFoo2 这样的属性的可能性。 Foo<T> 应该只能在其他类中继承，不能直接作为类型使用。

由于我正在验证 PropertyType 的属性及其基本类型，这导致我犯了一个错误，我花了一段时间才找到。这是代码的测试：https://dotnetfiddle.net/OMHmGv

public abstract class FooBase
{
    // Various generic properties and methods
}

public abstract class Foo<T> : FooBase 
{
    public Type ValueType { get { return typeof(T); } }
    public abstract T Value { get; set; }
}

public class DoubleFoo : Foo<double> 
{
    public override double Value { get; set; }
}

public class FooHandler
{
    public DoubleFoo doubleFoo1 { get; set; }
    public Foo<double> doubleFoo2 { get; set; }
}

Answer 1

这不仅不可能，而且违背了面向对象编程的三个基本原则之一——当然，我说的是polymorphism。
放弃多态就是完全放弃面向对象的编程。

关键是一个类型的引用实际上可以引用从该引用类型派生的任何类型的实例。

多态性使以下代码行完全有效（即使不是很有用）：

object s = "the type is actually a string but the reference is of type object";

Answer 2

编辑：就像@Zohar Peled 所说的那样，它违背了多态性的目的，基于命名空间或程序集限制使用是你唯一的方法。

如果 DoubleFoo 及其子类是在单独的程序集中创建的，您可以使用

内部

修饰符而不是

公开

同时用于 FooBase 和 Foo 类，以防止其他程序集访问它们。

如果您必须在同一个程序集中使用这个 DoubleFoo，您可以尝试将基类放在不同的命名空间中以隐藏基实现类。 一个例子是：

FooOfT.cs 内部

namespace FooTester.DoubleFoo.Foo
{
    public abstract class FooBase
    {
        // Various generic properties and methods
    }

    public abstract class Foo<T> : FooBase 
    {
        public Type ValueType { get { return typeof(T); } }
        public abstract T Value { get; set; }
    }
}

在 DoubleFoo.cs 中

using FooTester.DoubleFoo.Foo

namespace FooTester.DoubleFoo
{
    public class DoubleFoo : Foo<double> 
    {
        public override double Value { get; set; }
    }
}

在 FooHandler.cs 中

using FooTester.DoubleFoo

namespace FooTester
{
    public class FooHandler
    {
        public DoubleFoo doubleFoo1 { get; set; }
        // public Foo<double> doubleFoo2 { get; set; } Cannot access Foo<T> class
    }
}