开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

为什么泛型setter会破坏类型协方差，即使它是受约束的？

泛型setter会破坏类型协方差，即使它是受约束的，是因为泛型setter方法可以接受不同类型的参数，而不仅仅是泛型类型的参数。这导致了类型的不确定性，违背了类型协方差的原则。

类型协方差是指在继承关系中，子类型可以替代父类型的规则。例如，如果有一个Animal类和一个Dog类，Dog是Animal的子类，那么可以将一个Dog类型的对象赋值给Animal类型的变量。这是因为Dog是Animal的特殊情况，可以完全替代Animal。

然而，当使用泛型setter时，由于它可以接受不同类型的参数，可能会出现以下情况：

参数类型与泛型类型不匹配：如果setter方法的参数类型与泛型类型不匹配，就会破坏类型协方差。例如，如果有一个泛型类Box<T>，其中有一个setter方法set(T value)，但是在使用时传入了一个不匹配的参数类型，如set("string")，这将导致类型不匹配的错误。
参数类型是泛型类型的子类型：即使参数类型是泛型类型的子类型，也会破坏类型协方差。因为泛型setter方法可以接受不同类型的参数，如果传入的参数类型是泛型类型的子类型，那么在使用时可能会出现类型转换错误或其他不一致的问题。

综上所述，泛型setter会破坏类型协方差，即使它是受约束的，因为它可以接受不同类型的参数，导致类型的不确定性和不一致性。在开发中，应尽量避免使用泛型setter，以确保类型的一致性和安全性。

腾讯云相关产品和产品介绍链接地址：

腾讯云云服务器（CVM）：提供弹性计算能力，满足各类业务需求。详情请参考：https://cloud.tencent.com/product/cvm
腾讯云云数据库 MySQL 版：高性能、可扩展的关系型数据库服务。详情请参考：https://cloud.tencent.com/product/cdb_mysql
腾讯云人工智能平台（AI Lab）：提供丰富的人工智能算法和模型，支持开发者构建智能应用。详情请参考：https://cloud.tencent.com/product/ai_lab
腾讯云物联网平台（IoT Hub）：为物联网设备提供连接、管理和数据处理的平台。详情请参考：https://cloud.tencent.com/product/iothub
腾讯云移动应用分析（MTA）：提供移动应用数据分析和用户行为分析的服务。详情请参考：https://cloud.tencent.com/product/mta
腾讯云对象存储（COS）：提供安全可靠的云端存储服务，适用于各类数据存储需求。详情请参考：https://cloud.tencent.com/product/cos
腾讯云区块链服务（TBC）：提供高性能、可扩展的区块链服务，支持企业级应用场景。详情请参考：https://cloud.tencent.com/product/tbc
腾讯云虚拟专用网络（VPC）：提供安全可靠的网络隔离环境，满足企业级网络需求。详情请参考：https://cloud.tencent.com/product/vpc

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

Swift5.7: 泛型类型支持带尖括号的扩展绑定

上对泛型参数声明的限制，允许通过来声明约束的泛型参数。...提议动机在 Swift 语言中，基本到处可见使用在泛型类型名称后面声明绑定的泛型类型。...语法糖方式extension [String] { ... }设计细节扩展的泛型类型名称可以由尖括号中,隔开的类型参数列表组成。类型参数列表将泛型类型的类型参数绑定到每个指定的类型参数。...，这个类型也就变得不受约束，而且Pair在不同的上下文，也意味不同的表达，完全不受控制。...类型参数的查找是在扩展上下文之外进行的，所以泛型类型的参数是不能出现类型参数列表中。因为泛型类型的参数在上下文中，无法代表一个准确的类型。比如Element。

1.3K2 0

Kotlin的互操作——Kotlin与Java互相调用

当把平台值传递给期待非空值等的Kotlin函数时，也会触发一个断言。总的来说，编译器尽力阻止空值通过程序向远传播（由于泛型的原因，有时这不可能完全消除）。...⑥ 泛型 Kotlin中的通配符“*”代替Java中的“？”...这使得执行is检查不可能照顾到泛型，Kotlin只允许is检查星投影的泛型类型。...例如，对于属性isOpen，其getter会称作isOpen()，而其setter会称作setOpen()。这一规则适用于任何类型的属性，并不仅限于Boolean。...⑦ 型变的泛型当Kotlin使用了声明处型变时，可以通过两种方式从Java代码中看到它们的用法。

3.7K1 0

.NET静态代码织入——肉夹馍（Rougamo）发布2.0

泛型需要首先声明的是，泛型和static一样，在不声明时匹配全部，也就是既匹配非泛型类型也匹配泛型类型，如果希望仅匹配非泛型类型或仅匹配泛型类型时需要额外定义，泛型的相关定义使用表示。...>，使用两个点..表示匹配任意多个任意类型的泛型匹配指定数量任意类型泛型：a.b.C，示例表示匹配三个任意类型泛型，每添加一个,表示额外匹配一个任意类型的泛型，你可能已经想到了a.b.C表示匹配一个任意类型的泛型...开放式与封闭式泛型类型：未确定泛型类型的称为开放式泛型类型，比如List，确定了泛型类型的称为封闭式泛型类型，比如List，那么在编写匹配表达式时，如果希望指定具体的泛型，而不是像上面介绍的那种任意匹配...*(TA,int,TB))"; } 泛型方法：除了类可以定义泛型参数，方法也可以定义泛型参数，方法的泛型参数与类型的泛型参数使用方法一致，就不再额外介绍了 // 比如我们有如下泛型类型 public...，对于封闭式泛型类型，直接使用类型全名称即可；对于开放式泛型类型，我们遵守以下的规定，泛型从T1开始向后增加，即T1/T2/T3...

2112 0

尝试Java，从入门到Kotlin（上）

由于Checked Exception是类型系统的一部分，一个不抛出异常的函数和一个会抛出异常的函数，它们的类型是不相同的。这就导致了Java的Lambda泛用性大大减少而且不是很好用。...另一方面，编译器也无法检测出是否可能会抛出RuntimeException。无论采用哪种方案，都使得这个Lambda函数变得没那么好看。泛型 Java的泛型原理和C#不同。...C#是运行时泛型，在程序运行的时候仍然能获取泛型的类型信息。而Java的泛型是类型擦除（Type Erasure）式泛型。...名称听起来很高大上，意思是Java的泛型仅仅用于编译时类型检查，类型检查完成后，类型信息就被编译器擦除。在最后生成的字节码中中，泛型类型都被改为Object类型。...因此，应该将字段的访问封装的方法中，即使只是很简单的访问和设置，也应该实现getter方法和setter方法。

1303 0

【译】尝试使用Nullable Reference Types

Preview7的Nullable引用类型有哪些新功能该功能最重要的就是补充了用于处理泛型和更高级的API使用场景的工具。这些源于我们注解.NET Core的经验。...这是我们添加一些新属性以允许您在编译器中进行可空分析影响的地方。 T?的问题你想知道：为什么在指定可以用可空引用或值类型替换的泛型类型时“只”允许T？。不幸的是，答案很复杂。通常T?...意味着“任何可以为空的类型”。同时这意味着这T将意味着“任何非可空类型”，这不是真的！今天可以用可空值类型替换T （例如bool?）。这是因为T已经是一个不受约束的泛型类型。...语义的这种变化可能是意料之外的，并且对于T用作无约束泛型类型的大量现有代码而言会引起一些悲痛。其次，有一点非常重要就是，要注意可空引用类型和可空值类型是不一样的。...您可能希望在一个方向上允许可以为空的类型（例如，仅作为输入或输出），并且不可以用notnull或t和t？表达。除非人为地为输入和输出添加单独的泛型类型，否则就需要拆分。

3.7K1 0

笔记——Android零碎知识摘录（一）

java内省：内省基于反射实现，主要用于操作JavaBean，通过内省可以获取bean的getter/setter，只要看到有getter或者setter就认为这个类有那么一个字段，比如看到getName...6、泛型： “ ? ”是通配符,泛指所有类型：一般用于定义一个引用变量,这么做的好处是,如下所示,定义一个sup的引用变量，就可以指向多个对象。 SuperClass<?...运用的地方有点不同,?是定义在引用变量上,T是类上或方法上；如果有泛型方法和非泛型方法,都满足条件,会执行非泛型方法。带不同泛型的ArrayList在编译后生成的Class是相同的！...也就是说，泛型在编译生成字节码文件时会被”擦除”；不管ArrayList带什么泛型，在编译后都是ArrayList所对应的字节码文件。 eg: ?...泛型擦除.png 7、Activity生命周期 ? activity.png

3712 0

Kotlin与Java互操作

当把平台值传递给期待非空值等的Kotlin函数时，也会触发一个断言。总的来说，编译器尽力阻止空值的传播（由于泛型的原因，有时这不可能完全消除）。...泛型 Kotlin 的泛型与 Java 有点不同，读者可以具体参考泛型章节。Kotlin中的通配符“”代替Java中的“？”...这使得执行is检查不可能照顾到泛型，Kotlin只允许is检查星投影的泛型类型。...例如，对于属性isOpen，其getter会称作isOpen()，而其setter会称作setOpen()。这一规则适用于任何类型的属性，并不仅限于Boolean。...型变的泛型当 Kotlin 的类使用了声明处型变时，可以通过两种方式从Java代码中看到它们的用法。

3.4K3 0

C#4.0新增功能03 泛型中的协变和逆变

泛型类型参数支持协变和逆变，可在分配和使用泛型类型方面提供更大的灵活性。在引用类型系统时，协变、逆变和不变性具有如下定义。...在调用类型 Action 的委托（就像它是类型 Action的委托一样）时，其参数必须属于类型 Derived。...Func 泛型委托的最后一个泛型类型参数指定委托签名中返回值的类型。该参数是协变的（out 关键字），而其他泛型类型参数是逆变的（in 关键字）。下面的代码阐释这一点。...泛型委托的类型参数中的协方差和逆变的效果类似于普通委托绑定中的协方差和逆变的效果（请参阅委托中的差异 (C#) 和委托中的差异 (Visual Basic)）。...然后，使用泛型类型参数的协变和逆变，将得到的泛型委托指派给另一个变量，此变量的泛型委托类型的参数类型为 Type3 ，返回类型为 Type1。

1.3K2 0

Dart语言指南（二）顶

按照惯例，类型变量具有单字母名称，例如: E, T, S, K, 和 V. 为什么要用泛型? 因为Dart中的类型是可选的，所以您不必使用泛型 ....,值为View类型的map集合: var views = new Map(); 泛型集合及其包含的类型 Dart泛型类型被修改, 意味着会附带类型信息....Note: 相比之下，Java中的泛型使用擦除，这意味着泛型类型参数在运行时被删除。在Java中，您可以测试对象是否为List，但是不能测试它是否为 List....限制参数化类型实现泛型类型时，可能需要限制其参数的类型。...中介绍了泛型方法的新语法。如果使用泛型方法，请选用 SDK版本为1.21或更高版本. 关于泛型的更多信息, 参阅 Dart中的可选类型和使用通用方法.

3K2 0

年后跑路第一战，从Java泛型学起！

本文章是对 Java 中泛型的快速介绍，包含泛型背后的目标以及使用泛型如何提高我们代码的质量。 为什么要引入泛型？...即使该方法返回 void，这也是必需的。如前所述，该方法可以处理多个泛型类型。在这种情况下，我们必须将所有泛型类型添加到方法签名中。...的列表，即使 House 是 Building 的一个子类型。...super T> 表示未知类型，它是 T 的超类（= T 及其所有父类）。类型擦除 Java 中添加了泛型以确保类型安全。...并且为了确保泛型不会在运行时造成开销，编译器在编译时对泛型应用了一个称为类型擦除的过程。如果类型参数是无界的，则类型擦除会删除所有类型参数并用它们的边界或Object替换它们。

6893 0

(35) 泛型 (上) - 基本概念和原理计算机程序的思维逻辑

Java虚拟机实际执行的时候，它是不知道泛型这回事的，它只知道普通的类及代码。...泛型的好处既然只使用普通类和Object就是可以的，而且泛型最后也转换为了普通类，那为什么还要用泛型呢？或者说，泛型到底有什么好处呢？...); String name = pair.getSecond(); 开发环境如Eclipse会提示你类型错误，即使没有好的开发环境，编译时，Java编译器也会提示你。...numbers.add(new Double(12.34)); 那最后一行就是合法的，这时，DynamicArray中就会出现Double类型的值，而这，显然就破坏了Java泛型关于类型安全的保证...在Java中，泛型是通过类型擦除来实现的，它是Java编译器的概念，Java虚拟机运行时对泛型基本一无所知，理解这一点是很重要的，它有助于我们理解Java泛型的很多局限性。

7378 0

Domain Escalation: Unconstrained Delegation

委派介绍 Kerberos委派使服务能够模拟计算机或用户以便使用用户的特权和权限参与第二个服务，为什么委派是必要的经典例证呢，例如：当用户使用Kerberos或其他协议向web服务器进行身份验证时，服务器希望与...SQL后端或文件服务器进行交互 Kerberos委托的类型: 不受限制的委托 受约束的委托 RBCD(基于资源的受限委派) SPN介绍 Kerberos身份验证使用SPN将服务实例与服务登录帐户相关联...，这允许客户端应用程序请求服务对帐户进行身份验证，即使客户端没有帐户名无约束委派该功能最初出现在Windows Server 2000中，但为了向后兼容它仍然存在，如果用户请求在具有不受约束的委托的服务器集上的服务的服务票据时...很明显我们需要在启用了委托的机器上运行我们的攻击，所以我们假设攻击者已经入侵了一台这样的机器假设1:攻击者破坏了运行IIS的DC1$系统的Kerberos身份验证假设2:攻击者有权访问加入域系统(这里是在该系统上运行的...，安全漏洞使得微软引入了受约束的委托，您将在下一篇文章中读到更多相关内容，感谢阅读

7742 0

TypeScript 官方手册翻译计划【十二】：类

对于访问器，TypeScript 有一些特殊的推断规则：如果 get 存在而 set 不存在，那么属性会自动成为只读属性如果没有指定 setter 参数的类型，那么会基于 getter 返回值的类型去推断参数类型...关于 C# 为什么会认为这段代码是不合法的，可以阅读这篇文章了解更多信息：为什么我无法在一个派生类中去访问一个受保护成员？...#count += lastInstances.length; } catch {} } } 泛型类类和接口一样，也可以使用泛型。...当用 new 实例化一个泛型类的时候，它的类型参数就像在函数调用中那样被推断出来： class Box { contents: Type; constructor(value...泛型类的静态成员永远都不能引用类的类型参数。类的运行时 this 有个要点需要记住，那就是 TypeScript 不会改变 JavaScript 的运行时行为。

2.5K1 0

TypeScript 4.7 beta 发布：NodeJs 的 ES Module 支持、新的类型编程语法、类型控制流分析增强等

在 4.6 版本前，你可以通过泛型或额外类型守卫的方式来显式的纠正类型地控制流分析，而在 4.6 版本中，对于可辨识联合类型的分析得到了优化，上面的代码类型现在能够被正确地推导。...TypeScript 能够从 produce 函数的返回值推导出泛型参数 T 的类型，并应用到 consume 函数的入参类型中。...泛型实例化表达式 Instantiation Expressions 毫不夸张的说，泛型的实例化表达式是本次更新我最期待的功能之一，它支持了对泛型的预填充而无需实际调用。...Setter与 Setter之间的类型兼容性是如何的？...类型参数的兼容性，现在在启用 strictNullChecks 的情况下，无默认值的泛型参数不能分配给类型 {}。

5.8K3 0

更深入地理解Java泛型

引言 jdk5.0中引入了Java泛型，目的是减少错误，并在类型上添加额外的抽象层。本文将简要介绍Java中的泛型、泛型背后的目标以及如何使用泛型来提高代码的质量。 2....这种转换可能会令人感到聒噪，我们明明知道这个列表中的数据类型是整数。转换的话，也把我们的代码搞得乱七八糟。如果程序员在显式转换中出错，则可能会导致抛出与类型相关的运行时错误。...即使方法返回的是void，也需要这样做。...super T>表示未知类型，它是 T（=T及其所有父类）的超类。 5....为了理解原始数据类型为什么不起作用，只需记住泛型是编译时特性，这意味着类型将会被擦除，所有泛型类型都实现为 Object 类。

9903 0

【Rust 研学】Rust Nation UK 2024 ｜ Rust ABI 稳定之路

在二进制级别，crate 之间会泄漏实现细节。比如，如果一个字段是私有的，仍然可以按值来移动它。另外，内联函数和泛型的工作方式是在编译时分发到不同的 crate 中。其他语言怎么稳定 ABI ？...所以，crate A 中的泛型其实并不知道 crate B 中通过哪些具体类型来使用它。对于稳定 ABI 来说，这也是一个挑战。...因为当 crate A 里的泛型发生变化，crate B 的代码会遭到破坏。对这个问题的解决方案是：多态化（Polymorph）。只需要创建一个可以处理任何类型的单个函数。...该函数将类型描述符作为参数。对于泛型的 trait 限定来说，需要一种 trait 描述符。 trait 描述符更加复杂，包含关联类型、关联常量和方法等更复杂的元素。...比如你不能简单地内联迭代器的 map 方法，很可能会导致 rust 程序的性能被破坏。 “map 是泛型方法，可能被多次调用，或者可能被传递到其他上下文中。

1051 0

Getter & Setter：使用还是废弃

私有变量 为什么我们要使用私有的实例变量呢？因为我们不希望其他类直接的依赖于这些变量。而且在心血来潮时，我们还可以灵活的修改变量类型和实现。...这就是这个规则的一个例外，因为仅仅说它是一个属性会更加简单和安全。我们退一步想一想：既然这样，为什么要这条规则呢？它是否适用呢？在这个例外中，它并不适用。私有属性 + 公共存取方法 == 封装？...考虑下面的例子我们通常都认为以上是糟糕的代码风格，因为它破坏了封装性。替代方法是：有人认为这样封装了属性。这真的实现了封装吗？实际上，Getter/Setter和封装性没有任何关系。...其他的类对这个类的内部细节仍然了如指掌。类的改动可能会蔓延，迫使依赖它的其他类做出相应的修改。以这种方式使用的Getter和Setter通常破坏了封装性。...让我们看看另一个例子依据以上的逻辑，假设我们随后认为数据类型double不够合适，而是应该使用BigDecimal，这样那些已经使用了这个类的客户端代码也会失效。

1.2K6 0

那些年我们在Java泛型上躺过的枪---万恶的泛型擦除【享学Java】

泛型方法的声明和泛型类的声明略有不同，它是在返回类型之前用尖括号列出类型参数列表(也可以有多个泛型类型)，而函数传入的形参类型可以利用泛型来表示。...粗细粒度需要控制好~ 泛型擦除前面指出了，Java的泛型是假的，它是编译期的。...从上例可以知道，java的泛型擦除确实给实际编程中带来了一些不便（特别是运行时反射时，有时候无法判断出真实类型）。那Java的设计者为什么要这么干呢？...所以Java使用这么具有局限性的泛型实现方法就是从非泛化代码到泛化代码的一个过渡，以及不破坏原有类库的情况下，将泛型融入Java语言。泛型通配符和<?...这个也是通过反射完成一些封装的框架，比如MyBatis、Redis序列化值、SpringMVC等处理入参的值普遍会遇到但是无法解决的问题泛型类型的可变参数作为入参的坑如下示例： public class

9313 0

C#中的泛型

通过使用泛型，我们可以极大地提高代码的重用度，同时还可以获得强类型的支持，避免了隐式的装箱、拆箱，在一定程度上提升了应用程序的性能。本文将系统地为大家讨论泛型，我们先从理解泛型开始。...为什么要有泛型？我想不论大家通过什么方式进入了计算机程序设计这个行业，都免不了要面对数据结构和算法这个话题。...好吧，我们把题目限定得再窄一些，我们来实现一个最简单的冒泡排序（Bubble Sort）算法，如果你没有使用泛型的经验，我猜测你可能会毫不犹豫地写出下面的代码来，因为这是大学教程的标准实现： public...这里我想说的是一个有趣的编译器能力，它可以推断出你传递的数组类型以及它是否满足了泛型约束，所以，上面的SpeedSort()方法也可以像下面这样调用： calculator.SpeedSort(bookArray...); 这样尽管它是一个泛型方法，但是在使用上与普通方法已经没有了任何区别。

1.1K7 0

Shiro系列 | 《Shiro开发详细教程》第四章：Shiro中Ini配置

但是和一般的 IOC 容器的区别在于，Shiro 从根对象 SecurityManager 开始导航； Shiro 支持的依赖注入： public 空参构造器对象的创建； setter 依赖注入； 1....SecurityManager 实例：默认情况先创建一个名字为 securityManager，类型为 org.apache.shiro.mgt.DefaultSecurityManager 的默认的...SecurityManager，如果想自定义，只需要在 ini 配置文件中指定 “securityManager=SecurityManager 实现类” 即可，名字必须为 SecurityManager，它是起始的根...会自动调用 jdbcRealm.setPermissionsLookupEnabled(true)，对于这种常量值会自动类型转换。...，常量的话都看作字符串（即使有泛型也不会自动造型）。

7382 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭