如何解决为什么在编译时无法解析该泛型?
| 我有以下代码。我希望它能打印:A
B
C
DONE
而是打印
P
P
P
DONE
为什么?
更新
我并没有要求解决方案。我想知道为什么会这样。我认为泛型在编译时已解决。据我所知,它应该能够在编译时将它们解析为适当的方法,但是显然不是,我也不明白为什么。我正在寻找原因的解释,而不是解决方案。
这是代码:
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace ConsoleApplication50
{
class Parent
{
public string FieldName { get; set; }
public string Id { get; set; }
}
class ChildA : Parent
{
public string FieldValue { get; set; }
}
class ChildB : Parent
{
public DateTime? Start { get; set; }
public DateTime? End { get; set; }
}
class ChildC : Parent
{
public ICollection<string> Values { get; set; }
}
class Program
{
void Validate<T>(Parent item) where T : Parent
{
if (item is T)
Validate(item as T);
}
void Validate(ChildA filter)
{
Console.WriteLine(\"A\");
}
void Validate(ChildB filter)
{
Console.WriteLine(\"B\");
}
void Validate(ChildC filter)
{
Console.WriteLine(\"C\");
}
void Validate(Parent filter)
{
Console.WriteLine(\"P\");
// do nothing placeholder so the code will compile
}
ArgumentException Fail(Parent filter,string message)
{
return new ArgumentException(message,filter.FieldName);
}
void Run()
{
var list = new List<Parent> {
new ChildA(),new ChildB(),new ChildC() };
Validate<ChildA>(list[0]);
Validate<ChildB>(list[1]);
Validate<ChildC>(list[2]);
}
public static void Main()
{
new Program().Run();
Console.WriteLine();
Console.WriteLine(\"DONE\");
Console.ReadLine();
}
}
}
解决方法
泛型是一个运行时概念。这是它们与C ++模板(它们是编译时概念)的主要区别。
在方法
Validate<T>
中,即使在调用方明确指定的情况下,T
在编译时始终是未知的。 Validate<T>
对T
唯一了解的是它是从Parent
衍生而来的。
更具体地说,泛型不能用于生成代码。您正在尝试的操作将在C ++下工作,因为当C ++看到对Validate<ClassA>
的调用时,它实际上会重新编译Validate<T>
,因此模板成为一种代码生成。在C#下,“ 3”仅被编译一次,因此泛型不能用作一种代码生成。
在C ++中,对Validate<ClassA>
的调用将在编译时实例化模板。
在C#下,对Validate<ClassA>
的调用将在运行时使通用方法无效。
,重载解析是在编译时而不是在运行时执行的。
通常的解决方案是在此处使用简单的虚拟调度:
class Parent
{
public virtual void Validate() { Console.WriteLine(\"P\"); }
}
class ChildA : Parent
{
public override void Validate() { Console.WriteLine(\"A\"); }
}
class ChildB : Parent
{
public override void Validate() { Console.WriteLine(\"B\"); }
}
void Run()
{
var list = new List<Parent> { new ChildA(),new ChildB() };
list[0].Validate(); // prints \"A\"
list[1].Validate(); // prints \"B\"
}
,该项目将始终被验证为父类型。
泛型背后的想法是,您没有类型特定的代码..因此,它的\“ generic \”部分。
您将限制为类的一个分支,在这种情况下,为Parent以及从它派生的所有内容。这意味着代码应该像被传入的对象是Parent类型一样执行。
正如dtb所说,“访客”模式可以在此处应用。
另一个想法是简单地使用一个接口,该接口定义每个类必须支持的Validate()方法。我认为这将是更好的选择。
,假设您可以使用C#4.0,则可以使用\“ dynamic \”关键字来克服C#编译器将执行的静态重载分辨率。只需将您的验证功能更改为:
void Validate<T>(Parent item) where T : Parent
{
dynamic dyn = item;
if (item is T)
Validate(dyn);
}
输出将是:
C:\\tmp>temp.exe
A
B
C
DONE
我只是从@juharr \到Eric Lippert \ blog的链接中学到了这一点。在msdn上阅读有关动态类型的更多信息。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。