泛型类中定义无自有类型参数的非泛型方法是否存在使用问题？

官方文档对泛型方法的定义是从CLR类型系统的形式规则出发的，你观察到的现象没错：Generic<T>里的M确实能享受到泛型的核心收益——类型安全、无装箱拆箱、代码复用，它的参数、返回值类型确实会跟着类的泛型参数T变化，但它不属于形式定义上的「泛型方法」。

两者的核心差异是类型参数的归属完全不同：

• 方法G<T>的类型参数是方法自身持有的，和所属类型是不是泛型没有关系。哪怕在非泛型类A里，你每次调用G都可以指定不同的类型参数，同一个A实例上既可以调用G<int>(1)传整数返回整数，也可以调用G<string>("test")传字符串返回字符串，类型参数的作用域仅限方法本身。
• 方法M没有自己的类型参数，它用到的T是所属泛型类Generic<T>的类级别类型参数，作用域覆盖整个类。一旦你把泛型类构造成具体的封闭类型，比如Generic<int>，这个类型下所有M的签名就固定为int M(int arg)，没法在同一个Generic<int>实例上让M处理int之外类型的参数。

绝大多数常规场景下用M完全没有问题，泛型类里的普通方法使用类级别的泛型参数是非常普遍的标准写法，不会引入额外bug。只有两类场景下你需要注意它和真正泛型方法的区别，避免踩坑：

• 当你需要方法级别的独立类型抽象时，M满足不了需求。比如你在Generic<int>类里想写一个工具方法，不管当前类的T是int，都能支持传入任意类型参数、返回同类型结果，靠类级别的T做不到，必须给方法定义自己的泛型参数。
• 做反射、动态代理、序列化规则等依赖元数据判断的逻辑时，两者的元数据结构完全不同：泛型方法有独立的泛型参数定义元数据，M没有。如果你的逻辑里写了「判断方法是否为泛型方法」的分支，不要把M误判为泛型方法，否则会出现逻辑错误。

你可以通过下面的调用示例直观感受到两者的差异：

class A
{
    T G<T>(T arg)
    {
        T temp = arg;
        return temp;
    }
}
class Generic<T>
{
    public T M(T arg)
    {
        T temp = arg;
        return temp;
    }
}

// 调用示例
var a = new A();
// 同一个实例上G可以自由切换类型参数
int gRes1 = a.G(123);
string gRes2 = a.G("test");

var intGeneric = new Generic<int>();
int mRes1 = intGeneric.M(456);
// 下面这行会直接编译报错，因为封闭类型Generic<int>下M的参数已经固定为int，不能传字符串
// string mRes2 = intGeneric.M("test");

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