C#: Передача от нуля до перегруженного метода - какой метод вызывается?

Question

Скажем, у меня есть две перегруженные версии метода C#:

void Method(TypeA a) { } 
void Method(TypeB b) { } 

Я называю этот метод с:

Method(null); 

Какая перегрузка метода называется? Что я могу сделать, чтобы обеспечить определенную перегрузку?

Answer 1

Это зависит от TypeA и TypeB.

• Если только один из них применим (например, не существует переход от null к TypeB, потому что это тип значения, но TypeA является ссылочным типом), то вызов будет выполнен к соответствующему одному.
• В противном случае это зависит от отношений между TypeA и TypeB.
  • Если существует неявное преобразование из TypeA в TypeB, но не неявное преобразование из TypeB в TypeA будет использоваться перегрузка с помощью TypeA.
  • Если существует неявное преобразование из TypeB в TypeA, но не неявное преобразование из TypeA в TypeB будет использоваться перегрузка с помощью TypeB.
  • В противном случае вызов неоднозначен и не будет скомпилирован.

можно найти в разделе 7.4.3.4 в спецификации C# 3.0 для подробных правил.

Вот пример того, что это не двусмысленно. Здесь TypeB происходит от TypeA, что означает неявное преобразование от TypeB до TypeA, но не наоборот. При этом используется перегрузка с помощью TypeB:

using System; 

class TypeA {} 
class TypeB : TypeA {} 

class Program 
{ 
    static void Foo(TypeA x) 
    { 
     Console.WriteLine("Foo(TypeA)"); 
    } 

    static void Foo(TypeB x) 
    { 
     Console.WriteLine("Foo(TypeB)"); 
    } 

    static void Main() 
    { 
     Foo(null); // Prints Foo(TypeB) 
    } 
} 

В общем, даже перед лицом иначе-неоднозначного вызова, чтобы гарантировать, что используется определенная перегрузка, просто привести:

Foo((TypeA) null); 

или

Foo((TypeB) null); 

Обратите внимание, что если это включает наследование в объявляющих классах (т.е. один класс перегружает метод, объявленный его базовым классом), вы сталкиваетесь с целым рядом проблем, и вам нужно чтобы отличить цель метода, а не аргумент.

Answer 2

двусмысленный звонок. (ошибка времени компиляции).

Answer 3

Jon Skeet дал исчерпывающий ответ, но с точки зрения дизайна вы не должны зависеть от угловых случаев спецификации компилятора. Если ничего другого, если вам нужно посмотреть, что он делает, прежде чем писать, следующий человек, который попытается прочитать его, не будет знать, что он делает. Это не поддерживается.

Перегрузки есть для удобства, а две разные перегрузки с одинаковым именем должны делать то же самое. Если эти два метода делают разные вещи, переименуйте один или оба из них.

Это более обычное явление для перегруженного метода с вариантами с различным количеством параметров и для перегрузки с меньшими параметрами для обеспечения разумных значений по умолчанию.

например. string ToString(string format, System.IFormatProvider provider) имеет большинство параметров,
string ToString(System.IFormatProvider provider) поставляет формат по умолчанию, и
string ToString() поставляет формат по умолчанию и поставщика,

Answer 4

Простое решение заключается в создании другой метод с подписью:

void Method() { } 

или лучше обновить подпись по одному из методов:

void Method(TypeB b = null) { } 

и затем называть это так :

Method(); 

Во время компиляции значение null является нетипизированным и поэтому компилятор не может соответствовать его с одним из сигнатур методов. Во время выполнения все переменные, которые могут быть разрешены на null, будут набираться и поэтому не вызовут проблемы.

Answer 5

Jon Skeet уже ответил, какая перегрузка выбрана по умолчанию, но если вы хотите убедиться, что определенная перегрузка вызывается, часто лучше использовать именованные параметры, чем приведение.

Если у вас есть:

void Method(TypeA a) { } 
void Method(TypeB b) { } 

Вы можете позвонить Method(a: null); или Method(b: null);