.net core 里想写一个针对所有数字类型的函数, 该怎么写, 所有类型写一遍, 还是有泛型可用? 还有.net 泛型是不是无法向上转型?

[bthulu]

问题 1:
很简单的一个方法, 判断给点数字是不是在另两个数字范围内.

    public static bool Between(int i, int[] range)
    {
        return i >= range[0] && i <= range[1];
    }

但是现在不仅仅是要判断 int, 还可能是 long, float, double.
这种在 C#里应该怎么做? 下面这样的写法编译报错.

    public static bool Between<T>(T i, T[] range) where T: int, long, float, double
    {
        return i >= range[0] && i <= range[1];
    }

问题 2: 方法里用到个链表, 需要限制链表里必须是动物, 但是可能是猫也可能是狗. 这种应该怎么写?
下面这样的是无法通过编译的

List<Animal> list = new List<Cat>();
list = new new List<Dog>();

[hez2010]

针对数学的泛型是在 C# 11 才引入的，所以需要 .NET 7 ，目前发了 RC 版本。

第一个问题：

可以使用 `IComparisonOperators` 作为约束：

```csharp
using System.Numerics;

static bool Between<T>(T i, T[] range) where T : IComparisonOperators<T, T, bool>
{
return i >= range[0] && i <= range[1];
}
```


第二个问题：

你直接用 `List<Animal> list = new List<Animal>()` 就行了，然后可以调用 `list.Add(new Dog())` 和 `list.Add(new Cat())` 往里面添加狗或者猫。

.NET 泛型可以向上或者向下转类型，这个分别叫做协变和逆变，只能在接口上用，例如：

```csharp
void Test1(IFoo1<object> s)
{
IFoo1<string> x = s; // ok
}

void Test2(IFoo2<string> s)
{
IFoo2<object> x = s; // ok
}

interface IFoo1<in T> { }
interface IFoo2<out T> { }
```

[bthulu]

@hez2010 @hez2010 第二个问题, 我这里没这么简单.
实际是从配置文件中读取类似下面这样的
public class Config {
public string Farmer {get;set;}
public List<Dog> Dogs {get;set;}
public List<Cat> Cats {get;set;}
}

然后在另一个方法里动态引用 Dogs 或 Cats
public void DoSomething(string animalType) {
Config config = ReadFromJsonFile();

// 这个赋值会报错, 无法将 List<Dog>或 List<Cat>赋值给 List<Animal>
List<Animal> animals = animalType switch {
"Dog" => config.Dogs,
"Cat" => config.Cats,
_ => config.Cats
}
foreach(var animal in animals) {
animal.Dance();
}
}

[bthulu]

@hez2010 刚才又试了下, .net core 里是没有 IComparisonOperators 这个类的, 你这个怕不是.net framework4.x 里的吧

[hez2010]

@bthulu IComparisonOperators 是 .NET 7 的

[moen]

@bthulu 具体类型是不变的，所以无法赋值。这个例子下必须使用 IReadOnlyList<Animal>

[yor1g]

这不是都用接口来约束不就行了 何必要具体类或基础类型来做约束... 都是面向对象基础

[beyondex]

1 楼正解

[Magentaize]

List 是 class 不实现协变，只有接口可以实现协变

[bthulu]

@moen 还真可以了. 可为啥不在 IList 上实现协变呢

[moen]

@bthulu IList<T> 的 T 同时出现在参数和返回值里，它就是不变的