C # 4.0 и комбинация дополнительных параметров и перегрузок дают вам предупреждение о неоднозначности?

Question

Я начал читать раннюю версию его книги Джона Скита, которая содержит разделы по C # 4.0, и одна вещь поразила меня. К сожалению, у меня нет Visual Studio 2010, поэтому я решил просто спросить здесь и посмотреть, знает ли кто-нибудь ответ.

Если у меня есть следующий код, смесь существующего кода и нового кода:

public void SomeMethod(Int32 x, Int32 y) { ... }

public void SomeMethod(Int32 x, Int32 y, Int32 z = 0) { ... }

Будет ли компилятор жаловаться либо на сайте определения, либо на сайте вызова на возможную двусмысленность?

Например, что на самом деле будет делать этот кусок кода?

SomeClass sc = new SomeClass();
sc.SomeMethod(15, 23);

Будет ли он компилироваться? Будет ли он вызывать тот, у кого нет параметра z, или он будет вызывать тот, у кого есть параметр z?

Answer 1

Это описано в разделе «Разрешение перегрузки» главы.

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

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

// Both invalid
sc.SomeMethod(15, 23, );
sc.SomeMethod(15, 23, z:)

Если, однако, ваши методы используют разные имена параметров, вы могли бы сделать это тогда:

public void SomeMethod(Int32 x, Int32 y) { ... }
public void SomeMethod(Int32 a, Int32 b, Int32 c = 0) { ... }

sc.SomeMethod(a: 15, b: 23); // Calls second method

Answer 2

Он скомпилируется без предупреждений и выберет первую перегрузку.

С введением необязательных и именованных параметров механизм разрешения перегрузки в C # стал действительно сложным. Однако в данном конкретном случае это имеет смысл. Как обычно, компилятор выберет наиболее специфическую перегрузку, соответствующую аргументам.

Я не верю, что этот конкретный случай сильно отличается от C # 1.0:

public void SomeMethod(Int32 x, Int32 y) { } 
public void SomeMethod(Int32 x, Int32 y, params Int32[] z) { }

, который работает идентично (с точки зрения разрешения перегрузки).

Последующий ответ: Я так не думаю. Боюсь, вам придется вручную указать аргумент по умолчанию в вызове метода. Однако, если параметр x или y имел другое имя, например:

public void SomeMethod(Int32 x, Int32 y) { } 
public void SomeMethod(Int32 t, Int32 y, Int32 z = 0) { }

Вы можете выбрать вторую перегрузку с помощью:

obj.SomeMethod(t: 10, y: 20);