为什么在编译时无法解析该泛型？

问题描述

| 我有以下代码。我希望它能打印：

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上阅读有关动态类型的更多信息。