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

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

С введением необязательных и именованных параметров механизм разрешения перегрузки в 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);

Answer 2

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

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

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

// 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