关于.NET：为什么在接口上定义的C# 4可选参数没有在实现类上强制执行？


Why are C# 4 optional parameters defined on interface not enforced on implementing class?

我注意到，对于C 4中的可选参数，如果在接口上指定参数为可选参数，则不必在任何实现类上使该参数成为可选参数：

1
2
3
4
5
6
7
8
9
10
11
12
public interface MyInterface
{
    void TestMethod(bool flag = false);
}

public class MyClass : MyInterface
{
    public void TestMethod(bool flag)
    {
        Console.WriteLine(flag);
    }
}

因此：

1
2
3
4
5
var obj = new MyClass();        
obj.TestMethod(); // compiler error

var obj2 = new MyClass() as MyInterface;
obj2.TestMethod(); // prints false

有人知道为什么可选参数是这样设计的吗？

一方面，我认为重写接口上指定的任何默认值的能力是有用的，但老实说，我不确定您是否应该甚至能够在接口上指定默认值，因为这应该是一个实现决策。

另一方面，这种断开意味着您不能总是交替地使用具体的类和接口。当然，如果在实现中指定了默认值，这不会是一个问题，但是如果您将具体的类公开为接口(例如，使用一些IOC框架来注入具体的类)，那么使用默认值是没有意义的，因为调用者无论如何都必须提供它。

相关讨论

更新：这个问题是我2011年5月12日博客的主题。谢谢你的提问！

假设您有一个如您所描述的接口，以及100个实现它的类。然后，您决定将接口方法之一的参数设置为可选参数。您是否建议正确的做法是让编译器强制开发人员查找该接口方法的每个实现，并使参数也是可选的？

假设我们这样做了。现在假设开发人员没有实现的源代码：

1
2
3
4
5
// in metadata:
public class B
{
    public void TestMethod(bool b) {}
}
1
2
3
4
5
6
7
8
// in source code
interface MyInterface
{
    void TestMethod(bool b = false);
}
class D : B, MyInterface {}
// Legal because D's base class has a public method
// that implements the interface method

《D》的作者应该如何完成这项工作？在你的世界里，他们是否需要打电话给B的作者，要求他们向他们发送一个新版本的B，使方法有一个可选参数？

那不会飞的。如果两个人打电话给B的作者，其中一个想要默认值为真，另一个想要它为假，那该怎么办？如果B的作者只是拒绝合作呢？

在这种情况下，他们可能需要说：

1
2
3
4
5
6
7
class D : B, MyInterface
{
    public new void TestMethod(bool b = false)
    {
        base.TestMethod(b);
    }
}

所提出的特性似乎给程序员增加了许多不便，而没有相应增加代表性的能力。这项功能的显著优点是什么？它为用户增加了成本？

相关讨论

一个可选参数刚刚用一个属性标记。这个属性告诉编译器在调用站点插入该参数的默认值。

当C代码编译到IL时，调用obj2.TestMethod();被obj2.TestMethod(false);替换，而不是在JIT时。

所以在某种程度上，它总是调用方提供带有可选参数的默认值。这对二进制版本控制也有影响：如果更改默认值但不重新编译调用代码，它将继续使用旧的默认值。

On the other hand, this disconnect means you can't always use the concrete class and the interface interchangeably.

如果接口方法是显式实现的，则您已经不能这样做。

相关讨论

因为默认参数是在编译时解析的，而不是运行时。因此，默认值不属于被调用的对象，而是属于被调用的引用类型。

根据我的理解，可选参数有点像宏替换。从方法的角度来看，它们实际上不是可选的。其中的一个伪影就是当你投射到一个接口上时你看到的不同结果的行为。