关于.net：C＃隐式转换运算符，是/作为运算符

C# Implicit Conversion Operator and is/as operator

我正在创建一个复合对象，我希望它可以在任何可以使用它的包装对象的地方使用。因此，考虑到以下对象：

1
2
3
4
5
6
7
8
9
10

public class Foo{}

public class FooWrapper{
private Foo _foo = new Foo();

public static implicit operator Foo(FooWrapper wrapper)
{
return wrapper._foo;
}
}

我想通过以下测试：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

public class ConversionTests
{
private FooWrapper _uat = new FooWrapper();

[Test]
public void Can_Use_Is_Operator()
{
Assert.IsTrue(_uat is Foo);
}

[Test]
public void Can_Use_As_Operator()
{
Assert.IsTrue(null != _uat as Foo);
}
}

我看了一看msdn文档：是：http://msdn.microsoft.com/en-us/library/scekt9xw.aspx地址：http://msdn.microsoft.com/en-us/library/cscssdfbt%28v=vs.110%29.aspx

IS文件暗示这是不可能的，

Note that the is operator only considers reference conversions, boxing conversions, and unboxing conversions. Other conversions, such as user-defined conversions, are not considered.

有人知道是否有一种方法来构建FoowRapper，那么IS/AS转换将起作用吗？实现像IConvertible这样的接口？

额外问题：有人知道为什么as/is不考虑用户定义的转换吗？

(如果这个问题是骗人的话，我很抱歉。)因为"和"似乎是stackoverflow中的停止词(与大多数搜索引擎一样)，所以很难搜索包含这些关键字的问题。)

布尔奇1(P)The documentation is correct.(p)布尔奇1(P)我知道There is not.(Aside from，Obviously，Making EDOCX1 plus 3 a derived class of EDOCX1 punishment 4.)(p)(P)The EDOCX1 Oric 0 and EDOCX1 Plenifical 1 Americano operators are there to tell you what an object really is.Don't try to make them lie.(p)布尔奇1(P)没有。(p)布尔奇1(P)首先，因为我只是说，The purpose of EDOCX1 penal 0 is to tell you what the object really is.(p)(P)第二，因为它支持向C.3535 Argument的Sake提供服务；Compiler Team wished to add a new operator，say EDOCX1 big 12，that has the seminatics of an EDOCX1 singinal 1/operator that used-defined conventions.EDOCX1 23(音译)给你回EDOCX1(音译)4(音译)描述一下，请看一代人的表达。I think by engaging in this exercise you'll see why it is a hard problem.(p)

相关讨论

在阅读了你的回复(以及@alexei levenkov和@jim mischel)之后，我想我可能对isas运营商的意图有误解。我很少需要知道一个物体到底是什么，我只关心如何使用它。所以如果我有一个List和Foo，以及其他几个类实现IBar，当我通过列表枚举时，我不关心实际对象是什么，我只关心我能用它做什么：foreach(var item in new List{ var foo = item as Foo; if (null != foo){ /*callSomeMethodThatWantsFoo(foo)*/}，这不是正确的用例吗？
@ppittle:好吧，假设Bar实现IBar，列表中包含Bar，并且有一个从Bar到Foo的用户定义转换。您还没有回答我的问题，即：您希望为允许Foo从另一端出来的as运算符生成什么IL？
恐怕我对il的了解有点有限，所以我希望这个c：public static T frob(object o){ try{ return (T)o;} catch(InvalidCastException){return default(T);}}. Although, now that I think of it, this is what I always assumed the 是"operator did"(尽管形式更优雅，即不使用try-catch)，来检查显式强制转换是否成功，如果成功，则执行强制转换，如果不返回空值。所以我想现在的问题是，Il-isinst和initobj T有什么区别？
@ppittle好的，试试你推荐的代码。它会像你想象的那样吗？
不，不，代码没有。当foowrapper作为对象传入frob时，不调用foowrapper的隐式转换方法。我能麻烦你解释一下这是为什么吗？这与不编译的原因相同吗：public T Frob(K obj){ return (T)obj; }？
如果我对foowrapper有完全的控制权，但对foo没有控制权，有没有比这更好的方法来写frob(例如，用自定义接口标记foowrapper)：FooWraper : IFrobConvertable{ public T Frob(){ return t == typeof(Foo) ? (T))(this._foo as object) : default(T);}}public T frob(object o){ var frober = o as IFrobConvertable; if (null != frober){ return frober.FrobConvert() ?? o as T;} return o as T; }。
@你的猜测是正确的。两者都无法编译，因为在编译时没有足够的信息来生成既能执行又正确的代码。最根本的问题是，强制转换意味着两件事：它可以意味着"我知道这个对象实际上是另一种类型；如果我错了，你可以抛出异常"。它可能意味着"我知道这个对象实际上不是这种类型；编译器，请找到一种机制，它接受一个这种类型的对象并生成一个目标类型的"相关"对象"。这些是对立的！
@ppittle：编译器可以为第一种类型的转换生成有效的代码——一种保持表示的转换。这种转换只是对对象上类型标记的动态检查，如果检查失败，则会引发异常。但是，除非编译器知道源类型和目标类型，否则编译器无法为第二种类型转换(表示形式更改转换)生成有效的代码。

(P)In order for EDOCX1 penal 3 communal to be considered a EDOCX1 penalty 4 communal，EDOCX1 penalty 3 communal 3 would have to inherit from EDOCX1 penal 4.这是：(p)字母名称(P)The problem，though，is that if you wanted your wrapper to also wrap EDOCX1 universal objects，you can't.because C′35；does not support multiple inheritance.(p)(P)Typically if you need a wrapper that will act like multiple objects，you have it implement interfaces.So，for example，you would have：(p)字母名称(P)and of course EDOCX1 penography 8 communal would have to implement all the methods of EDOCX1 penographic 9 communal and EDOCX1 commercial 10，passing the calls on the proper contained object.因此，如果EDOCX1(英文)9宣布一个EDOCX1(英文)12(英文)方法，你将有(在EDOCX1(英文)8(英文)级：(p)字母名称(P)That's implicait interface implementation.You might also have to look into explicit implementation of interface methods.(p)(P)创造一个错误的人(p)字母名称(P)你的测试，他们，将使用DOCX1的字母0和DOCX1的英文1检查界面Rather than concrete classes。(p)字母名称