C#如何约束泛型Matrix<T>的参数T必须实现+运算符？

问题根因 #

C#的运算符是静态成员，在C# 11 / .NET 7版本发布之前，泛型约束不支持要求类型具备特定静态成员，所以你无法直接通过where T : 支持+运算符的写法做编译时校验，导致+运算无法通过编译。

最优解决方案（C# 11 / .NET 7+ 适用） #

C# 11引入了静态抽象接口成员特性，同时配套了一系列算数运算符相关的内置接口，其中IAdditionOperators<TSelf, TOther, TResult>就专门用于约束类型必须实现+运算符。
你只需要修改Matrix的类定义，添加对应泛型约束即可：

// 引入对应的命名空间
using System.Numerics;

public class Matrix<T> where T : IAdditionOperators<T, T, T>
{
    // 你的原有代码，包括加法运算符重载都不需要改动，可直接编译通过
}

这个方案完全符合你的要求：

• int、float、double等所有支持加法的数值类型都默认实现了该接口，可正常实例化使用
• int[]等不支持加法的类型，在你尝试实例化Matrix<int[]>时会直接触发编译错误，不需要运行时判断
• 性能无损失，所有运算都是编译时绑定的

低版本.NET 兼容方案 #

如果你的项目无法升级到.NET 7及以上版本，可以用运行时校验+动态调用的方案实现，不需要单独为每种数值类型实现独立的矩阵类：

1. 首先在Matrix的静态构造函数中添加类型校验，确保实例化的T支持加法运算符，不符合要求直接抛出异常：

static Matrix()
{
    // 检查T是否定义了两个T类型参数、返回值为T的加法运算符
    var addOperator = typeof(T).GetMethod("op_Addition", new[] { typeof(T), typeof(T) });
    if (addOperator == null || addOperator.ReturnType != typeof(T))
    {
        throw new NotSupportedException($"类型 {typeof(T).FullName} 不支持加法运算，无法实例化Matrix<T>");
    }
}

2. 修改加法运算符中的赋值逻辑，用dynamic做运行时运算符绑定：

add[i,j] = (dynamic)first[i,j] + (dynamic)second[i,j];

注意：该方案的校验和运算都是运行时执行的，会有轻微的性能损耗，且不支持编译时错误提示。另外你的原有代码存在笔误：内层循环的增量写为了i++，需要修改为j++否则会出现下标越界问题。

关联问题逻辑说明 #

你之前被关联的要求T有const静态只读字段的问题，和当前运算符约束的底层限制是完全一致的：C# 11之前的泛型约束仅支持实例成员相关的规则（比如继承指定类、实现实例接口、有无参构造函数等），不支持对静态成员的约束，所以两个问题都属于「泛型静态成员约束」的同一类需求，C# 11的静态抽象接口成员特性可以同时解决这两类问题。

内容的提问来源于stack exchange，提问作者Robin