- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
关于不可能包含静态抽象 Java 方法的问题有很多。还有很多关于此的解决方法(设计缺陷/设计强度)。但是我找不到任何关于我即将说明的具体问题的信息。
在我看来,开发 Java 的人以及相当多的使用它的人并不像我和其他许多人那样看待静态方法 - 作为类函数或属于的方法到类而不是任何对象。那么还有其他实现类函数的方法吗?
这是我的例子:在数学中,组 是一组对象,它们可以通过某种操作 * 以某种合理的方式相互组合 - 例如,正实数构成一个正常乘法下的组 (x * y = x × y),整数集形成一个组,其中“乘法”运算是加法 (m * n = m + n)。
在 Java 中对此进行建模的一种自然方法是为组定义一个接口(interface)(或抽象类):
public interface GroupElement
{
/**
/* Composes with a new group element.
/* @param elementToComposeWith - the new group element to compose with.
/* @return The composition of the two elements.
*/
public GroupElement compose(GroupElement elementToComposeWith)
}
我们可以为我上面给出的两个例子实现这个接口(interface):
public class PosReal implements GroupElement
{
private double value;
// getter and setter for this field
public PosReal(double value)
{
setValue(value);
}
@Override
public PosReal compose(PosReal multiplier)
{
return new PosReal(value * multiplier.getValue());
}
}
和
public class GInteger implements GroupElement
{
private int value;
// getter and setter for this field
public GInteger(double value)
{
setValue(value);
}
@Override
public GInteger compose(GInteger addend)
{
return new GInteger(value + addend.getValue());
}
}
但是,一个组还有一个重要的属性:每个组都有一个标识元素 - 一个元素e 使得x * e = x 对于组中的所有 x。例如,乘法下正实数的单位元是1,加法下整数的单位元是0。在这种情况下,每个实现类都有一个方法是有意义的,如下所示:
public PosReal getIdentity()
{
return new PosReal(1);
}
public GInteger getIdentity()
{
return new GInteger(0);
}
但在这里我们遇到了问题 - getIdentity
方法不依赖于对象的任何实例,因此应该声明为 static
(事实上,我们可能希望从静态上下文中引用它)。但是如果我们把getIdentity
方法放到接口(interface)里面,那么我们就不能在接口(interface)里面声明static
,所以它不可能是static
在任何实现类中。
有什么方法可以实现此 getIdentity
方法:
GroupElement
的所有实现保持一致,因此 GroupElement
的每个实现都必须包含一个 getIdentity
函数。GroupElement
的给定实现的标识元素,而无需为该实现实例化对象。 条件 (1) 本质上是说“是抽象的”,条件 (2) 是说“是静态的”,我知道 static
和 abstract
在 java 。那么语言中有没有一些相关的概念可以用来做这件事呢?
最佳答案
本质上,您所要求的是在编译时强制执行类定义具有特定签名的给定静态方法的能力。
你不能在 Java 中真正做到这一点,但问题是:你真的需要这样做吗?
假设您当前选择实现静态 getIdentity()
在你的每个子类中。考虑到在您使用之前您实际上并不需要此方法,当然,如果您尝试使用它但未定义它,您将得到一个编译器错误提醒您定义它。
如果你定义它但签名不“正确”,并且你试图以不同于你定义它的方式使用它,你也会得到一个编译器错误(关于使用无效参数调用它,或返回类型问题等)。
由于您不能通过基类型调用子类静态方法,因此您总是必须显式调用它们,例如GInteger.getIdentity()
.因为如果你尝试调用 GInteger.getIdentity()
编译器已经会报错了。什么时候getIdentity()
没有定义,或者如果你不正确地使用它,你实际上获得了编译时检查。当然,您唯一缺少的是强制定义静态方法的能力,即使您从未在代码中使用它也是如此。
所以你已经很接近了。
你的例子是一个很好的例子,可以解释你想要什么,但我会挑战你想出一个例子,在这个例子中有一个关于缺少静态函数的编译时警告是必要的;我唯一能想到的是,如果你正在创建一个供他人使用的库,并且你想确保你不会忘记实现一个特定的静态函数——但要对你的所有子类进行适当的单元测试也可以在编译时捕获它(如果 getIdentity()
不存在,您将无法测试它)。
注意:查看您的新问题评论:如果您要求在给定 Class<?>
的情况下调用 静态方法的能力,你本身不能(没有反射)——但你仍然可以获得你想要的功能,如 Giovanni Botta's answer 中所述。 ;您将为运行时检查牺牲编译时检查,但可以获得使用身份编写通用算法的能力。所以,这实际上取决于您的最终目标。
关于java - 如何在 Java 中实现抽象静态方法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22458838/
我对 java 中的抽象有点困惑。 我查了很多页面说抽象就是数据隐藏(隐藏实现)。 我对抽象的理解是它是“部分实现”。只需在抽象类/接口(interface)中定义您需要的内容,然后扩展/实现它们并添
我是 Ruby 的新手,主要来自 C# 和 ActionScript 3(以及其他语言)。我对抽象功能很好奇。具体来说,包装和抽象 Ruby 的 FTP 和 SFTP 库。 我四处搜索,发现了一个名为
目录 Java基础知识(抽象) 抽象 抽象定义 abstract的使用 定义抽象类
这个月我花了一些时间与 Emacs Lisp 进行斗争,试图获得更好地满足我需求的自动缩进。令人惊讶的是,大多数缩进代码是多么低级。我只看到了很少的抽象,例如 搜索不在字符串或注释中的第一个正则表达式
我有以下内容: public abstract class Foo{ //contents of Foo // ... public class Bar extends
我有三个类(class)(A 类、B 类和 C 类)。 类 A 调用 B 的实例并运行 start()。 B类扩展了Thread,因此当调用start()时,run()方法中的任何内容都会被执行。 在
这个问题已经有答案了: Calling a subclass method from superclass (5 个回答) 已关闭 7 年前。 Klasse1是一个抽象类,有一个 foo()方法。 K
我有一个这样的函数: def test(): x = "3" # In actual code, this is computed if x is None: retu
我有两个基类之间的关系: public abstract class RecruiterBase { // Properties declare here // Constructors de
这是我第一次发帖,但我遇到了很多问题。我目前有一个带有标题的 AbstractDevice 类: public abstract class AbstractDevice> implements De
我有一个 MotorDefinition 类和一个名为 Motor 的抽象类: class MotorDefinition { public: MotorDefinition(int p1,
是否有任何方法可以在这种代码(sass)中制定 css 的抽象规则: #cottage-image-gallery input:nth-of-type(1):checked ~ label:nth-o
是否可以声明一个已知的基类型并允许传输所有派生类型? [ServiceContract] public interface IService { [OperationContract]
我目前正在为基于 Java 的文本游戏开发角色生成机制,但我遇到了一个问题,看不出哪里出了问题。我有一个“Character”类,它是抽象的,然后是另一个类“NPCharacter”,它是建立在这个之
抱歉,标题令人困惑。不太确定如何表达它,这可能是问题所在! 我正在寻找一个好的抽象来用于涉及并发线程的情况。 我已经接近了,但还不是很清楚。 稍微简化一下,我在 Android 手机上收集了两种传感器
提前感谢您阅读本文。我不完全理解如何/何时使用摘要,所以我试图在我从事的每个项目中考虑它,看看它是否会在某一天全部点击 Smile | :) 此外,可访问性级别(私有(private)、 protec
我正在探索用于生成 Web 内容的 XML -> XSLT -> HTML 模因。我的 XSLT 经验很少。 我很好奇 XSLT 中有哪些机制可用于处理抽象或“重构”。 例如,使用通用 HTML 和服
在这些谈话中 Nicholas Zakas和 Addy Osmani他们讨论了在构建大型 Javascript 应用程序时将外观模式用作沙箱的想法,以便将应用程序与底层基础库分离。 这种解耦理论上允许
我使用C++和CUDA/C,想为特定问题编写代码,但遇到了一个非常棘手的简化问题。 我在并行编程方面的经验不容忽视,但相当有限,我无法完全预见到此问题的特殊性。 我怀疑是否有一种方便甚至“轻松”的方式
假设我有: trait A class B extends A class C extends A 有没有办法配置类型参数: class Foo[AType <: A with canCreateIn
我是一名优秀的程序员,十分优秀!