推断的类型参数 [Any，Int] 不符合方法的类型参数边界 [T <： 可比[T]，V <： T]

Question

val PROP_FEMALE:IProperty[java.lang.Integer] = PropertyInteger.create("female", 0,1)
worldIn.setBlockState(pos, state.withProperty(PROP_FEMALE, if (isFemale) 1 else 0), 2)

我正在Scala中编写一个Minecraft Forge mod。我正在尝试为我的块状态创建属性整数。这在普通的Java中工作得很好。然而，事实证明，Scala很难让它使用我认为所谓的隐式类型？

出于某种原因，这会生成此错误。

Error:(53, 45) inferred type arguments [Any,Int] do not conform to method withProperty's type parameter bounds [T <: Comparable[T],V <: T]
worldIn.setBlockState(pos, withAge(0).withProperty(PROP_FEMALE, if (createFemale || isFemale) 1 else 0))
Error:(53, 58) type mismatch;
found   : net.minecraft.block.properties.IProperty[Integer]
required: net.minecraft.block.properties.IProperty[T]
worldIn.setBlockState(pos, withAge(0).withProperty(PROP_FEMALE, if (createFemale || isFemale) 1 else 0))

这是withProperty方法。

<T extends Comparable<T>, V extends T> IBlockState withProperty(IProperty<T> property, V value);

这是PropertyInteger.create方法

public static PropertyInteger create(String name, int min, int max)
{
return new PropertyInteger(name, min, max);
}

这是所有PropertyInteger类

public class PropertyInteger extends PropertyHelper<Integer>
{
private final ImmutableSet<Integer> allowedValues;
protected PropertyInteger(String name, int min, int max)
{
super(name, Integer.class);
if (min < 0)
{
throw new IllegalArgumentException("Min value of " + name + " must be 0 or greater");
}
else if (max <= min)
{
throw new IllegalArgumentException("Max value of " + name + " must be greater than min (" + min + ")");
}
else
{
Set<Integer> set = Sets.<Integer>newHashSet();
for (int i = min; i <= max; ++i)
{
set.add(Integer.valueOf(i));
}
this.allowedValues = ImmutableSet.copyOf(set);
}
}
public Collection<Integer> getAllowedValues()
{
return this.allowedValues;
}
public boolean equals(Object p_equals_1_)
{
if (this == p_equals_1_)
{
return true;
}
else if (p_equals_1_ instanceof PropertyInteger && super.equals(p_equals_1_))
{
PropertyInteger propertyinteger = (PropertyInteger)p_equals_1_;
return this.allowedValues.equals(propertyinteger.allowedValues);
}
else
{
return false;
}
}
public int hashCode()
{
return 31 * super.hashCode() + this.allowedValues.hashCode();
}
public static PropertyInteger create(String name, int min, int max)
{
return new PropertyInteger(name, min, max);
}
public Optional<Integer> parseValue(String value)
{
try
{
Integer integer = Integer.valueOf(value);
return this.allowedValues.contains(integer) ? Optional.of(integer) : Optional.absent();
}
catch (NumberFormatException var3)
{
return Optional.<Integer>absent();
}
}
/**
* Get the name for the given value.
*/
public String getName(Integer value)
{
return value.toString();
}
}

Answer 1

这是一堵相当大的代码墙...

我认为您的示例可以简化为以下两行：

def withProperty[T <: Comparable[T], V <: T](k: T, v: V) = ()
withProperty(42: java.lang.Integer, 42)

它会导致非常相似的错误：

错误：推断类型参数 [Any，Int] 不符合方法 withProperty 的类型参数边界 [T <： 可比[T]，V <： T] withProperty(42： java.lang.Integer， 42) ^ ：13：

错误：类型不匹配;

找到 ： 需要整数
： T

所以我假设明显的解决方法也应该在您的代码中起作用。

只需显式归因第二个参数的类型即可消除错误：

withProperty(42: java.lang.Integer, (if (true) 1 else 0): java.lang.Integer)

如果将其传输回代码中，它应该看起来像这样：

worldIn.setBlockState(
pos, 
state.withProperty(PROP_FEMALE, (if (isFemale) 1 else 0): java.lang.Integer), 
2
)