为什么这段代码用long替换float？

Question

我以这段代码为例：

class A<T> {
    public class B : A<long> {
        public void f() {
            Console.WriteLine( typeof(T).ToString());
        }
 
    public class C : A<long>.B { }
    
    } 
}

class Prg5 { static void Main() {
    var c = new A<float>.B.C();
    c.f();
} }

有输出：

System.Int64

为什么要长时间打印类型？最初传递的浮点类型如何以及在何处被替换？

Answer 1

C 类型定义为：

public class C : A<long>.B { }

A 类型定义为：

class A<T> {
    public class B : A<long> {
        public void f() {
            Console.WriteLine( typeof(T).ToString());
        }    

    public class C : A<long>.B { }
    } 
}

所以如果你创建一个新的C，那么A 的类型参数就是long。

在语句var c = new A<float>.B.C(); 中，A<float> 和B 只是嵌套类C 的“路径”的一部分。 A<float> 是该路径的一部分这一事实不会改变 C 是 A<long>.B 的事实。

float 参数和B 是A<long> 的事实与确定T 内c.f() 的类型无关。

Answer 2

回答

当您调用f 时，您处于A<T> 中，其中T 是long，因为B 是A<long>，所以T 是long。

我明白为什么这看起来很奇怪：您希望 T 是 float，但实际上因为 B 是 A<long>，B 是 A<T>，其中 T 是 @987654342 @。

因为C 是B 的子代，所以它是B 的扩展相同类型，所以是A<long>。

因此，输出long 而不是为外部类的泛型类型参数指定的float 的封闭构造类型的结果。

因此，无论在创建实例时指定的 T 是什么，您总是会在 f 中获得 T 类型的 long。

求解

我认为这是一个有点复杂的递归内化，但你不只是需要它吗？

class A<T>
{
  public class B : A<T>
  {
    public void f()
    {
      Console.WriteLine(typeof(T).ToString());
    }

    public class C : B { }

  }
}

这样写：

var c = new A<float>.B.C();
c.f();

将输出：

System.Single

读数

Generics open and closed constructed types

Constructed Types

Generics in .NET

Generics (C# Programming Guide)

C# Generics Level 1

C# Generics Level 2