Question

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

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();
        }
    }
}

Answer 1

泛型是一个运行时概念。这是它们与C ++模板的主要区别，C ++模板是一个编译时的概念。

在方法Validate<T>中，T在编译时始终未知，即使调用者明确指定。仅事件Validate<T>知道T是Parent的后代。

更具体地说，泛型不能用于生成代码。您正在尝试的是在C ++下工作，因为当C ++看到对Validate<ClassA>的调用时，它实际上重新编译Validate<T>，因此模板成为一种代码生成。在C＃下，Validate<T>只编译一次，因此泛型不能用作一种代码生成。

在C ++下，对Validate<ClassA>的调用将在编译时实例化模板。

在C＃下，对Validate<ClassA>的调用将在运行时实例化通用方法。

Answer 2

重载解析在编译时执行，而不是在运行时执行。

通常的解决方案是在这里使用简单的虚拟调度：

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"
}

Answer 3

该项目将始终被验证为父类型。

泛型背后的想法是你没有类型特定的代码..因此它是“通用”部分。

您正在限制类的一个分支，在这种情况下，Parent和从它下降的所有内容。这意味着代码应该像传入的对象是Parent类型一样执行。

正如dtb所说，访客模式可以在这里适用。

另一个想法是简单地有一个接口，它定义了每个类必须支持的Validate（）方法。我认为这是一条更好的选择。

Answer 4

假设你可以使用C＃4.0，你可以通过使用＆＃34; dynamic＆＃34;来破坏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博客的链接中了解到这一点。详细了解dynamic type on msdn。

为什么这个泛型在编译时没有得到解决？

4 个答案: