Question

我对以下代码有一些问题。我想将一个字符串显式化为一个对象，这是完全正常的，但是，如果此对象是泛型类的一部分，则失败并出现以下错误异常：“无法转换类型为'System.String'的对象输入'test.B'“。即使我已经重载了该方法。

using System;
using System.Collections.Generic;

namespace test {
    class Program {
        static void Main(string [] args) {
            // These two cast perfectly fine.
            B x = (B) "abc";
            C y = (C) "def";

            A <B> a = new A<B>();
            a.b();
            A <C> b = new A<C>();
            b.b();
        }
    }

    class A<T> {
        public List <T> a = new List<T>();

        public void b() {
            // Unable to cast object of type 'System.String' to type 'test.B'
            this.a.Add ((T) (object) "abc"); 
            this.a.Add ((T) (object) "def");
            this.a.Add ((T) (object) "ghi");
        }
    }

    class B {
        public string b;

        public static explicit operator B(string a) {
            B x = new B();
            x.b = a;
            return x;
        }
    }

    class C {
        public string c;

        public static explicit operator C(string a) {
            C x = new C();
            x.c = a;
            return x;
        }
    }
}

如果somone可以向我解释为什么这不正确，那就太棒了。

由于

Answer 1

转换运算符仅在静态知道类型时才适用;毕竟，通用方法需要为每个T使用完全相同的IL - 因此在某些情况下它不能调用您的运算符，而在其他情况下则不能调用类型检查。

此外，因为您明确强制转换为object，所以永远不会使用;来自object的演员总是一个简单的拆箱或类型检查。

一个邪恶的解决办法（我不喜欢这个）：

        this.a.Add((T)(dynamic)"abc");
        this.a.Add((T)(dynamic)"def");
        this.a.Add((T)(dynamic)"ghi");

将分辨率推迟到运行时。它有效，但我需要在那之后洗眼睛。但更一般地说：运算符和泛型不能很好地发挥 - 所以：尽量不要在API中使用这种组合。我真的不会亲自使用上述内容！

Answer 2

如果泛型参数具有您正在使用的显式转换，则编译器在编译时不知道。

您可以引入界面，并将约束放在通用参数

上

Answer 3

因为T的{{1}}不知道A<T>或B的显式投射操作符。

Answer 4

你插入了（对象）强制转换，让编译器不再告诉你你做错了。这有效，编译器不能再抱怨，因为这阻止了它能够检查类型。从对象到T的强制转换实际上可能有效，但可能性很小。

然而，您没有指望的是显式转换运算符是C＃语言功能。只有编译器知道在应用此类强制转换时要执行的方法。它不是 CLR功能，运行时不会搜索和收集以尝试查找适用的方法来进行转换。 C＃编译器无法使用您在编译时提供的任何运算符，它不知道T的类型。

麻烦的是，编译器在执行强制转换时不再需要帮助。 KABOOM。

在运行时而不是编译时应用泛型类型是.NET功能，通用术语是“reified generics”。与“类型擦除”相反，泛型在Java和C ++中的实现方式。类型擦除的问题在于，编译代码后，有关泛型类型参数的所有信息都会丢失，泛型类型不能被其他语言使用，而Reflection也不起作用。具体化泛型的问题在于无法使用不能普遍应用于任何类型的操作。像operator +（）。就像这个演员。

通用显式转换失败C＃

4 个答案: