Perché l'operatore "as" non utilizza un operatore di conversione implicito in C#?

Question

Ho definito conversione di stringhe implicita da/a un certo tipo in C# (codice fittizio):

public class MyType 
{ 
    public string Value { get; set; } 

    public static implicit operator MyType(string fromString) 
    { 
     return new MyType { Value = fromString }; 
    } 

    public static implicit operator string(MyType myType) 
    { 
     return myType.Value; 
    } 
} 

qualche parte nel codice libreria esterna, un'istanza di MyType viene passata ad un metodo, come parametro object. Parte di questo metodo assomiglia a qualcosa del genere:

private void Foo(object value) 
{ 
    // ... code omitted 
    var bar = value as string // note that value is an instance of MyType at runtime 
    if(bar != null) // false, cast fails 
    { 
     // ... code omitted 
    } 
} 

Perché il cast non utilizza il convertitore implicito? Pensavo che il punto fondamentale di questi fosse rendere possibile il casting e l'uso trasparente?

Questo funziona se MyType ha un convertitore explicit? Se è così, (come) posso avere entrambi?

A proposito, il cast funziona sicuramente se il tipo è noto al in fase di compilazione. È perché gli operatori sono static? C'è qualcosa come operatori di conversione non statici?

P.S. In realtà sono più interessati alle differenze tra il comportamento in fase di compilazione e di comportamento di runtime, quindi ho un follow-up domanda: Why are implicit type conversion operators not dynamically usable at runtime in C#?

Answer 1

Perché il cast morbido, non utilizzare il convertitore implicita?

Bene, questo è il modo in cui viene specificata la lingua, in pratica. Dalla C# 5 sezione specifica 7.10.11:

Se il tipo di fase di compilazione E non è dinamica, l'operazione E come T produce lo stesso risultato

E is T ? (T)(E) : (T)null 

tranne che E è solo valutato una volta.

[...]

noti che alcune conversioni, come le conversioni definite dall'utente, non sono possibili con l'operatore as e dovrebbe invece essere eseguite utilizzando espressioni del cast.

Answer 2

Il # lingua specifica C menzioni esplicitamente nella documentazione per as:

Si noti che alcune conversioni, come le conversioni definite dall'utente, non sono possibile con la qualità di operatore e dovrebbero invece essere eseguite utilizzando espressioni espresse.

Quindi devi lanciarlo.

Answer 3

as parola chiave non considera gli operatori definiti dall'utente. È necessario invece utilizzare un operatore di trasmissione. operatori correlati article from eric lippert

Nel tuo caso sia esplicite che implicite non possono fare a voi come si sta cercando di lanciare object-string non dal MyType a string.Per gli operatori di conversione definiti dall'utente affinché funzionino, compila il tipo di orario dell'istanza in modo che sia di tipo MyType anziché object. Perché non esiste alcuna conversione da object a string ma da MyType a string.

Answer 4

Immaginate che un operatore di conversione implicito debba essere chiamato. In questo caso, qualsiasi chiamata

var castObj = rawObj as SomeType;

richiederebbe al runtime .NET di utilizzare la riflessione per determinare se l'oggetto "rawObj" ha un operatore di conversione. Ovviamente, questo sarebbe molto più dispendioso dal punto di vista computazionale piuttosto che solo per verificare se l'oggetto è di tipo SomeType o il suo sottotipo. Meglio avere un operatore veloce e prevedibile rispetto a uno più versatile, ma molto più lento.