主页 / 问题

问题[generics]

Martin Hope
Жека Диулин
Asked: 2022-09-06 22:41:06 +0800 CST
  • 0

有没有办法实现一个只接受特定枚举值的泛型函数？：

type EnumType = { [i: string]: string|number }

function f <T extends EnumType> (value: /* value of T only */) {
  // ...
}

假设我们有以下枚举：

enum Color {
  Red = 'red',
  Blue = 'blue'
}

enum DayOfWeek {
  Sunday = 0,
  Monday = 1,
  // ...
}

之后，函数调用必须是类型安全的：

f<Color>(Color.Red) // Можно
f<Color>('sdf') // Компилятор говорит "нельзя"
f<Color>('red') // Тоже лучше не разрешать, хотя значение из Color
f<Color>(DayOfWeek.Sunday) // Нельзя.

我试过value: keyof T了，但它没有按照我想要的方式工作：

// Пример, когда  value: keyof T
f<Color>(Color.Red) // Нельзя
f<Color>('Red') // Можно, но 'Red' - это имя значения, а не само значение

我需要准确地传递枚举值，而不是它们的名字！它也没有帮助value: T，因为这样你可以传递枚举本身，而不是它的单个值。

怎样成为？

结果应该是一个反应组件，具有以下道具：

  • 枚举：枚举
  • 值：枚举值
  • onChange: (value: enum_value) => void

这样做是为了

  • 替换枚举时，无需更改组件本身；
  • 值不是字符串|数字，而是例如颜色
typescript generics
Martin Hope
VanechikSpace
Asked: 2022-08-23 17:12:11 +0800 CST
  • 2

分为三类：

class A{
}

class B{
}

class Gen<T, V extends T>{
}

以下程序将无法编译：

class Main{
    public static void main(String[] args){
        Gen<A, B> g;
    }
}

因为它V必须与它相同T或它的子类。

现在有这段代码：

class Main{
    public static <T, V extends T> void qq(T x, V y){
    }

    public static void main(String[] args){
        qq(new A(), new B());
    }
}

我希望它不会以相同的方式编译，因为它B不继承自A，但它仍然工作得很好。为什么？

java generics
Martin Hope
mesfex
Asked: 2022-07-25 17:39:13 +0800 CST
  • 0

有一堂课

public class Action<R extends CommonResponse>

在其中调用方法并通过函数循环运行

R response = null;
for (PreDecoder preDecoder : stateMachineContext.getPreDecoders()) {
    R preDecodedResponse = preDecoder.preDecode(request, preDecodedData.data, preDecodedData);
    if (preDecodedResponse != null) {
        response = preDecodedResponse;
        break;
    }
}

PreDecode - 带有方法的功能接口

<R extends CommonResponse> R preDecode(Message rqMessage, ByteBuffer data, ByteBufferRef preDecodedData);

PreDecode 接口的示例实现

@Override
public CommonRS preDecode(Message rqMessage, ByteBuffer data, ByteBufferRef preDecodedData) {
    int sourceAddress = data.get() & 0xFF;
    int destinationAddress = data.get() & 0xFF;
    if (destinationAddress != (localAddress & 0xFF) || sourceAddress != (remoteAddress & 0xFF)) {
        CommonRS response = new CommonRS(rqMessage.getFunctionType());
        response.setSuccess(false);
        return response;
    }

    preDecodedData.data = data;
    return null;
}

在接口的实现中，由于maven不想构建 Unchecked overriding: return type requires unchecked转换项目，出现Warning。找到'...CommonRS'，需要'R'

有了这个，问题就出现了：如何真正解决这个问题？

UPD

如果 preDecoder 方法有 CommonResponse 返回类型，那么Action类方法中会发生Unchecked cast

java generics
Martin Hope
Haio
Asked: 2020-07-15 20:52:30 +0800 CST
  • 3

实际代码：

extern crate num_traits;

pub trait DigitCount {
    fn decimal_digit_count(&self) -> usize;
}

impl <T: PartialOrd + num_traits::Zero + Into<f64>> DigitCount for T {
    fn decimal_digit_count (&self) -> usize {
        if self.is_zero() {
            1
        } else {
            self.into().abs().log10().trunc() as usize + 1
        }
    }
}

必须对任何整数值调用该方法decimal_digit_count并返回其中的小数位数：

println!("{}", 123u64.decimal_digit_count());

问题：如何正确编写转换T→用于方法的f64后续调用abs，，，？在其当前形式中，编译器需要一个类型注释，但如果它被替换为 ( )，它表示需要 0 个类型参数。log10truncinto()into::<T>()

generics
Martin Hope
Евгений Иванов
Asked: 2020-04-25 08:21:14 +0800 CST
  • 2

在阅读了关于泛型类型的 Rust 编程语言章节之后，问题出现了，Rust 是否有原始类型的泛型？在 C++ 中，例如，在声明模板时，有泛化typename，例如

template <typename T>
void example(T param) {
   //code
}

现在该函数将能够接受任何原始类型，还有<class T>.

在 Rust 中，我们可以给泛型限制特征，但是我们如何给泛型限制原始类型呢？举个例子，如果我们完全不指定泛化的限制，我们将无法使用它，因为在公告的时候，我们不确定是否有T像数字类型这样的操作，例如。

fn example<T>(param: T) {
    param + 1//error
}

example(12);

也就是说，我们通常不能告诉函数泛型将是任何数字类型，但我们可以通过 trait 来限制泛型，例如

trait Test {
   fn test(&self);
}

fn example<T: Test>(t: T) {
    t.test//working
}

好吧，最后，主要问题是如何赋予泛型类型对原始类型的约束？例如，对于所有数字类型。可能吗？或者我是否需要编写一个i32例如将要实现的特征？还是没有意义？

generics