为什么接口“切片”的类的 GetType() 告诉我它不是一个类类型？

Question

Here's我的代码：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text.RegularExpressions;

namespace Rextester
{
    public class Program
    {
        public static void Main(string[] args)
        {
            ISampleInterface a = new A();
            ISampleInterface b = new B();

            a.SampleMethod();
            b.SampleMethod();

            //Console.WriteLine(a.myValue); // can't do it!! a is not A
            Console.WriteLine(a.GetType()); // uhm...
        }
    }

    interface ISampleInterface
    {
        void SampleMethod();
    }

    class A : ISampleInterface
    {
        public double myValue = 10.0;

        public void SampleMethod() {
            Console.WriteLine("A");
        }
    }

    class B : ISampleInterface
    {
        public double myValue = 20.0;

        public void SampleMethod() {
            Console.WriteLine("B");
        }
    }
}

我通过接口初始化一个类（由类实现）。

显然，无法访问a.myValue，因为正确地Rextester.ISampleInterface 不包含这样的定义。

但如果我询问编译器哪个类型是a，它会输出Rextester.A（我相信不是）。

为什么？更重要的是，a 是哪一类？一种受其接口限制的混合切片类？不知道我会如何定义它......

Answer 1

您可以调用哪些方法（外部反射/dynamic）取决于变量的编译时类型。

引用强制转换（将现有引用强制转换为它实现的接口）根本不会改变对象的类型。但是，如果您将该转换的结果存储在一个变量中，那么变量的类型就很重要。

我能想到的 .NET 世界中没有任何东西可以与 C++ 的切片（我假设您指的是切片）相媲美 - 当然，您不会通过编写简单的代码来获得它。

声明为接口类型的变量永远不会包含对“只是”该接口的东西的引用。它始终是某个特定的具体结构/类类型的对象。

Answer 2

a.myValue 无法访问，因为它在ISampleInterface 的范围内

a.GetType() 正确地导致A，因为它在运行时被解析为分配给a 的类型的实例，即A。它仅在ISampleInterface 的范围内。

例如...

ISampleInterface a = new A();

您正在创建一个声明为ISampleInterface 的A 的实例。

a.SampleMethod();

您可以访问已声明的内容。

Console.WriteLine(a.myValue);

您无法访问未声明的内容。

Console.WriteLine(a.GetType());

GetType 可以从 System.Object 调用，一切都自然扩展，所以你可以调用它，因为它是从隐式基类型声明的。在这种情况下，GetType 返回A，因为这正是a 的含义； A 的一个实例。

Answer 3

但是如果我询问编译器哪个类型是a，它会输出Rextester.A（我相信不是）

如果“询问编译器”是指调用a.GetType()，那不是你在做的事情。您正在向 runtime 询问 a 引用的对象的 actual 类型。运行时正确地告诉您它是Rextester.A。

另一方面，编译器不知道这一点。 变量 被声明为ISampleInterface，因此编译器可以安全地做的就是绑定到接口定义的方法。

如果您将变量转换为A，那么您可以访问其成员：

A newA = a;
newA.myValue = 15;  // perfectly valid

请注意，a 引用的实际对象没有改变（这意味着它是同一个对象 - 显然您更改了它的一个成员字段）。您仍然可以通过a 引用is 作为接口或通过newA 引用类。

如果您有询问编译器a 是什么类型但使用如下方法：

public Type GetCompileTimeType<T>(T inputObject)
{
    return typeof(T);
}

（感谢this answer）

并调用

Console.WriteLine(GetCompileTimeType(a));

你会得到Rextester.ISampleInterface