java的实现类可以写返回值_java – 将接口的返回值限制为实现类的范围

我正在编写一个小型库,我有一些接口提供了一个返回值应该在指定范围内的方法.我如何明确禁止实现此方法的库的用户返回不在此范围内的值？

像这样的东西：

//Library

interface FavoriteNumber {

//returned value must lie between 0 and 10

double whatsYourFavoriteNumberBetweenZeroAndTen();

}

...

//Classes implemented by user of library

class ILikePi implements FavoriteNumber {

@Override

public double whatsYourFavoriteNumberBetweenZeroAndTen() {

return 3.141; //Should be allowed

}

}

...

class AnswerToLifeTheUniverseAndEverything implements FavoriteNumber {

@Override

public double whatsYourFavoriteNumberBetweenZeroAndTen() {

return 42; //Should be forbidden

}

}

我想我可以写点什么

class DoubleBetweenZeroAndTen {

private final double value;

DoubleBetweenZeroAndTen(double value) {

if (value < 0 || value > 10) {

throw new IllegalArgumentException("value must be between 0 and 10");

}

this.value = value;

}

double toDouble() {

return this.value;

}

}

并返回此而不是double,但这感觉不够好,因为它是一个0到10之间的双重,你想要在此之后使用,而不是DoubleBetweenZeroAndTen.

如果不能明确禁止这一点,那么确保用户不会违反它的最佳方法是什么？ (现在,我在javadoc中有一个通知.)