为什么泛型类型在方法签名中出现两次？

Question

为什么我们需要在两次使用类型下面的方法

public void Search<T>(T bo) { } 

，我们可以只声明

public void Search(T bo){}. 

无法找到这个答案？请帮忙。

在此先感谢。

Answer 1

在片段：

public void Search<T>(T bo); 

的<T>明确说明存在一个称为T一个类型参数。然后，T bo指定存在类型为T的参数，其在该方法内将被称为bo。

如果您不包含<T>部分，编译器无法知道bo是一个通用参数，而不仅仅是一个名为T的类的实例。

它可能更容易理解，如果你知道以下实现同样的事情：

public void Search<Something>(Something bo); 

如果<Something>部分被排除在外，有会是什么，从正常的方法区分这一点，需要一个类的实例称为Something：

01：

public void Search(Something bo); 

要到你的第二个问题作出回应

只有public void Search(<T> bo)没有意义吗？

这不起作用，因为泛型类型不一定使用参数。也不一定是返回类型。它可能不会出现在方法签名的其他地方。一个简单的例子可能是：

public bool IsType<T>(object input) 
{ 
    return input.GetType() == typeof(T); 
} 

在这种情况下，类型参数是绝对必要的。可能有一些情况下可以使用您建议的语法来推断，但这会导致不同情况下的各种不一致。

Answer 2

编译器怎么可能知道T是一个泛型参数还是一个类型？你不能有一个名为T的类或结构吗？那么，编译器应该如何处理这种情况呢？

考虑一下：

class Foo { } 

static void DoSomething(Foo f) { } 

在这种情况下应该DoSomething是通用或非通用？根据你的逻辑无法做出决定。

Answer 3

当你做到这一点

public void Search(T bo){}. 

它说T是一个输入参数，但没有说是什么T，这是完全正常的有一个类名T这将是ambigious。所以通过以下我们说编译器T是一个通用参数。

public void Search<T>(T bo) { } 

还要注意，当你在一个泛型类中时，你可以像版本1那样做。例如

class Test<T> 
{ 
    public void Search(T bo){}. 
} 

这是完全合法的。因为我们知道T是一个通用参数，您应该在构建类时提供这个参数。

Answer 4

需要避免含糊不清，因为T本身是有效的类型。假设你写道：

Search(T bo){} 

和其他地方你有：

public class T { } 

编译器必须解释T为类T一个参考，而不是一个泛型类型参数。

的方法（或类）名后的<T>标识T不一个普通的类名，但这种方法（或类）的上下文内的通用类型参数。