为什么不允许使用以下C#代码:
public abstract class BaseClass { public abstract int Bar { get;} } public class ConcreteClass : BaseClass { public override int Bar { get { return 0; } set {} } }
CS0546'ConcreteClass.Bar.set':无法覆盖,因为'BaseClass.Bar'没有可覆盖的set访问器
Roman Starko.. 37
我认为主要原因很简单,语法过于明确,不能以任何其他方式工作.这段代码:
public override int MyProperty { get { ... } set { ... } }
是相当明确的,无论是get
和set
是覆盖.set
基类中没有,所以编译器会抱怨.就像你不能覆盖未在基类中定义的方法一样,也不能覆盖setter.
你可能会说编译器应该猜测你的意图并且只将覆盖应用于可以被覆盖的方法(在这种情况下是getter),但是这违背了C#设计原则之一 - 编译器不能猜测你的意图,因为如果你不知道它可能会猜错.
我认为以下语法可能做得很好,但正如Eric Lippert所说,实现这样的小功能仍然是一项重大的工作......
public int MyProperty { override get { ... } set { ... } }
或者,对于自动实现的属性,
public int MyProperty { override get; set; }
JJJ.. 19
我今天偶然发现了同样的问题,我觉得有一个非常有理由想要这个.
首先,我想争辩说,拥有一个get-only属性并不一定会转换为只读属性.我把它解释为"从这个接口/ abtract你可以得到这个值",这并不意味着该接口/抽象类的某些实现不需要用户/程序显式设置该值.抽象类用于实现所需功能的一部分.我完全没有理由认为继承的类在没有违反任何合同的情况下无法添加setter.
以下是我今天所需要的简化示例.我最终不得不在我的界面中添加一个setter来解决这个问题.添加setter而不添加SetProp方法的原因是接口的一个特定实现使用DataContract/DataMember来序列化Prop,如果我不得不为此目的添加另一个属性,那将会变得不必要地复杂化序列化.
interface ITest { // Other stuff string Prop { get; } } // Implements other stuff abstract class ATest : ITest { abstract public string Prop { get; } } // This implementation of ITest needs the user to set the value of Prop class BTest : ATest { string foo = "BTest"; public override string Prop { get { return foo; } set { foo = value; } // Not allowed. 'BTest.Prop.set': cannot override because 'ATest.Prop' does not have an overridable set accessor } } // This implementation of ITest generates the value for Prop itself class CTest : ATest { string foo = "CTest"; public override string Prop { get { return foo; } // set; // Not needed } }
我知道这只是一个"我的2美分"的帖子,但我觉得原版海报并试图理性化这对我来说是件好事,特别是考虑到当直接从一个继承时同样的限制不适用接口.
关于使用new而不是override的提及在这里不适用,它根本不起作用,即使它确实不会给你想要的结果,即接口所描述的虚拟getter.
我认为主要原因很简单,语法过于明确,不能以任何其他方式工作.这段代码:
public override int MyProperty { get { ... } set { ... } }
是相当明确的,无论是get
和set
是覆盖.set
基类中没有,所以编译器会抱怨.就像你不能覆盖未在基类中定义的方法一样,也不能覆盖setter.
你可能会说编译器应该猜测你的意图并且只将覆盖应用于可以被覆盖的方法(在这种情况下是getter),但是这违背了C#设计原则之一 - 编译器不能猜测你的意图,因为如果你不知道它可能会猜错.
我认为以下语法可能做得很好,但正如Eric Lippert所说,实现这样的小功能仍然是一项重大的工作......
public int MyProperty { override get { ... } set { ... } }
或者,对于自动实现的属性,
public int MyProperty { override get; set; }
我今天偶然发现了同样的问题,我觉得有一个非常有理由想要这个.
首先,我想争辩说,拥有一个get-only属性并不一定会转换为只读属性.我把它解释为"从这个接口/ abtract你可以得到这个值",这并不意味着该接口/抽象类的某些实现不需要用户/程序显式设置该值.抽象类用于实现所需功能的一部分.我完全没有理由认为继承的类在没有违反任何合同的情况下无法添加setter.
以下是我今天所需要的简化示例.我最终不得不在我的界面中添加一个setter来解决这个问题.添加setter而不添加SetProp方法的原因是接口的一个特定实现使用DataContract/DataMember来序列化Prop,如果我不得不为此目的添加另一个属性,那将会变得不必要地复杂化序列化.
interface ITest { // Other stuff string Prop { get; } } // Implements other stuff abstract class ATest : ITest { abstract public string Prop { get; } } // This implementation of ITest needs the user to set the value of Prop class BTest : ATest { string foo = "BTest"; public override string Prop { get { return foo; } set { foo = value; } // Not allowed. 'BTest.Prop.set': cannot override because 'ATest.Prop' does not have an overridable set accessor } } // This implementation of ITest generates the value for Prop itself class CTest : ATest { string foo = "CTest"; public override string Prop { get { return foo; } // set; // Not needed } }
我知道这只是一个"我的2美分"的帖子,但我觉得原版海报并试图理性化这对我来说是件好事,特别是考虑到当直接从一个继承时同样的限制不适用接口.
关于使用new而不是override的提及在这里不适用,它根本不起作用,即使它确实不会给你想要的结果,即接口所描述的虚拟getter.
tl; dr - 如果需要,可以使用setter覆盖get-only方法.它基本上只是:
创建一个new
既包含a get
又set
使用相同名称的属性.
如果您不执行任何其他操作,则在get
通过其基类型调用派生类时,仍将调用旧方法.要解决此问题,请添加一个在旧方法上abstract
使用的中间层,以强制它返回新方法的结果.override
get
get
这使我们可以用get
/ 覆盖属性,set
即使它们在基本定义中缺少一个属性.
作为奖励,您还可以根据需要更改返回类型.
如果基本定义是get
-only,那么您可以使用更派生的返回类型.
如果基本定义是set
-only,那么您可以使用较少派生的返回类型.
如果基本定义已经是get
/ set
,那么:
您可以使用更衍生的返回类型,如果你把它set
-only;
您可以使用衍生少返回类型,如果你把它get
-only.
在所有情况下,如果需要,您可以保持相同的返回类型.为简单起见,以下示例使用相同的返回类型.
get
只有财产您有一些无法修改的类结构.也许它只是一个类,或者它是一个预先存在的继承树.无论如何,您都希望向set
属性添加方法,但不能.
public abstract class A // Pre-existing class; can't modify { public abstract int X { get; } // You want a setter, but can't add it. } public class B : A // Pre-existing class; can't modify { public override int X { get { return 0; } } }
override
在get
-only与get
/set
你想override
使用get
/ set
property,但它不会编译.
public class C : B { private int _x; public override int X { get { return _x; } set { _x = value; } // Won't compile } }
abstract
中间层虽然您不能直接override
使用get
/ set
property,但您可以:
创建一个具有相同名称的new
get
/ set
property.
override
旧get
方法带有新get
方法的访问器以确保一致性.
所以,首先你写abstract
中间层:
public abstract class C : B { // Seal off the old getter. From now on, its only job // is to alias the new getter in the base classes. public sealed override int X { get { return this.XGetter; } } protected abstract int XGetter { get; } }
然后,编写无法编译的类.它会编译这个时间,因为你没有真正override
"荷兰国际集团的get
-only财产; 相反,您将使用new
关键字替换它.
public class D : C { private int _x; public new virtual int X { get { return this._x; } set { this._x = value; } } // Ensure base classes (A,B,C) use the new get method. protected sealed override int XGetter { get { return this.X; } } }
显然,这是按照预期的方式工作的D
.
var test = new D(); Print(test.X); // Prints "0", the default value of an int. test.X = 7; Print(test.X); // Prints "7", as intended.
D
当作为其基类之一查看时,一切仍然有效 - 例如A
或B
.但是,它起作用的原因可能不太明显.
var test = new D() as B; //test.X = 7; // This won't compile, because test looks like a B, // and B still doesn't provide a visible setter.
但是,基类定义get
仍然最终被派生类的定义所覆盖get
,因此它仍然完全一致.
var test = new D(); Print(test.X); // Prints "0", the default value of an int. var baseTest = test as A; Print(test.X); // Prints "7", as intended.
此方法允许您将set
方法添加到get
-only属性.您也可以使用它来执行以下操作:
将任何属性更改为get
-only,set
-only或get
-and- set
属性,无论它在基类中是什么.
在派生类中更改方法的返回类型.
主要的缺点是abstract class
在继承树中需要做更多的编码和额外的编码.对于带参数的构造函数,这可能有点烦人,因为那些必须在中间层中进行复制/粘贴.
我同意不能在派生类型中覆盖getter是一种反模式.只读指定缺乏实现,而不是纯函数的契约(由最高投票答案暗示).
我怀疑微软有这个限制要么是因为同样的误解被提升了,要么是因为简化了语法; 虽然,既然范围可以应用于单独获取或设置,也许我们可以希望覆盖也可以.
最高投票回答指出的误解是,只读属性应该比读/写属性更"纯粹"是荒谬的.只需查看框架中的许多常见只读属性; 价值不是恒定/纯粹的功能; 例如,DateTime.Now是只读的,但除了纯函数值之外的任何东西.尝试"缓存"只读属性的值,假设它下次返回相同的值是有风险的.
在任何情况下,我都使用以下策略之一来克服这个限制; 两者都不完美,但会让你跛行超越这种语言的不足:
class BaseType { public virtual T LastRequest { get {...} } } class DerivedTypeStrategy1 { /// get or set the value returned by the LastRequest property. public bool T LastRequestValue { get; set; } public override T LastRequest { get { return LastRequestValue; } } } class DerivedTypeStrategy2 { /// set the value returned by the LastRequest property. public bool SetLastRequest( T value ) { this._x = value; } public override T LastRequest { get { return _x; } } private bool _x; }