Как работают перегруженные методы

Question

Я программировал для летних лет сначала Delphi, а теперь C#, поэтому я думал, что знаю, как работает перегруженный метод, но, видимо, нет.

Первый некоторый код

public enum TestEnum { Option1, Option2, Option3 } 

public class Setting 
{ 
    public Setting() 
    { 
     AddSettings(); 
    } 

    protected void CreateSetting<TEnum>(string AName, TEnum AValue) where TEnum : struct, IComparable, IFormattable 
    { 
     //do stuff 
    } 

    protected void CreateSetting(string AName, string AValue) 
    { 
     //do stuff 
    } 

    protected void CreateSetting(string AName, int AValue) 
    { 
     CreateSetting(AName, AValue.ToString()); 
    } 

    protected void AddSettings() 
    { 
     CreateSetting("Language", (byte)0); //#1 
     CreateSetting("BFL", "true"); //#2 
     CreateSetting<TestEnum>("TestEnum", TestEnum.Option1); //#3 
     CreateSetting("TestEnum", TestEnum.Option1); //#4 
    } 
} 

Я добавил номер для каждого вызова CreateSettings для того, чтобы сделать это easyer объяснить.

Мой вопрос:

вызов # 1 вызывает неправильную (Generic) версию CreateSettings, потому что я сделал бросок к byte, но почему?

Звоните # 2 работает нормально.

Звоните # 3 работает отлично. Я явным образом назову версию gerneric

Звонок # 4 также работает, но с некоторой «магии» компилятор разрешает правильную (genneric) версию и вызывает это. Но почему это работает?

Я понял, что # 1 вызывает неправильную версию по той же причине, что и # 4. Мне просто интересно, может ли кто-нибудь дать мне объяснение.

Answer 1

Перегрузки работают, как и ожидалось, вы заявили, что:

# 1 вызывает неправильную версию

Он называет правильную версию, потому что вы делаете отливку int к byte, поэтому у вас больше нет переменной int, у вас есть byte. Ожидаете ли вы его соответствия перегрузке int? Как это могло быть, вы просто указали переменную на byte.

вызов # 4 также работает, но с некоторыми «магии»

Это не магия, это работает в основном из-за той же причине, что и выше, тип не является ни int или string, так единственная возможная перегрузка он может назвать это родовой один, потому что ваш «универсальным» метод, по существу, говорит любой другой класс (тип здесь TestEnum)

Answer 2

метод называется определяется процессом разрешения перегрузки.

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

https://msdn.microsoft.com/en-us/library/aa691339%28v=vs.71%29.aspx

Общий процесс разрешения перегрузки описан здесь:

https://msdn.microsoft.com/en-us/library/aa691336%28v=vs.71%29.aspx

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

Answer 3

вызов # 1

Вы сделали ограничение где TEnum: структура, IComparable, IFormattable

Что означает тип TEnum либо тип значения или тип, который реализует два интерфейса у вас есть байт аргумент, который означает, что метод, который будет вызываться метод является 1, так как байт является типом значения, и ни один из других методов не принимает байт в качестве аргумента

Вызов 2 и Call3

Работы, как и ожидалось

Call4

Опять компилятор разрешит первому методу, поскольку Enum является типом значения, и ни один из другого метода не принимает тип Enum в качестве аргумента так наиболее подходящей перегрузкой является метод 1