C# specjalizacji ogólnych metod rozszerzenie

Question

Mam następujące metody rozszerzenie dla mojego MessageBus:

public static class MessageBusMixins 
{ 
    public static IDisposable Subscribe<T>(
     this IObservable<T> observable, 
     MessageBus bus) 
    where T:class 
    { 
     ... 
    } 

    public static IDisposable Subscribe<T>( 
     this IObservable<Maybe<T>> observable, 
     MessageBus bus) 
    { 
     ... 
    } 
} 

który kompiluje grzywny. Jednak gdy próbuję go użyć:

IObservable<Maybe<string>> source = ...; 
MessageBus bus = ...; 

source.Subscribe(bus); 

pojawia się błąd, że żadna z tych dwóch metod kandydujących są najbardziej konkretne. Jednak myślałem, że Maybe<T> będzie więcej specyficzne niż T lub czy to nie jest poprawne?

EDIT

Robi Curiouser bo gdybym wywołać metodę rozszerzenia wyraźnie następnie:

MessageBus.SubscribeTo(source, bus); 

Wtedy to działa i wybiera właściwą metodę.

Answer 1

Cóż, można go naprawić poprzez określenie typu argumentu:

source.Subscribe<string>(bus); 

... jak to jest teraz tylko druga metoda ma zastosowanie.

przeciwnym razie kompilator mógł zadzwonić albo od:

source.Subscribe<string>(bus); 
source.Subscribe<Maybe<string>>(bus); 

Jeśli uważasz, że pierwszy jest bardziej szczegółowy niż sekundę, będziesz musiał znaleźć regułę w specyfikacji C#, który mówi tak :) To nie jest to nieuzasadnione oczekiwanie, ale domyślne "bardziej szczegółowe" konwersje mają zastosowanie do parametrów typu , a także do zwykłych parametrów.

Tak na przykład w punkcie 7.5.3.2 w C# 4 spec ("Better Function Member") istnieje przepis o:

• W przeciwnym razie, jeśli M _P ma więcej niż konkretne typy parametrów M _Q, następnie M _P jest lepsza niż M _Q. [... dużo szczegółów o mniej/bardziej konkretnych ...]

... ale nie ma podobny punkt o parametrach typu. (Drugi o normalnych parametrach mówi o argumentach typu, ale to jest w samych typach parametrów.)

Inną alternatywą jest po prostu nadać metodom różne nazwy. Czy mają subtelnie inne zachowanie? Jeśli tak, dlaczego nie uczynisz tego naprawdę oczywistego przez nazywanie? Naprawdę nie chcesz, aby ktoś źle się zachowywał, tylko dlatego, że był zaskoczony, że wywołano przeciążenie.