type-safety 相关问题

类型安全性是指语言根据变量的类型阻止以不安全的方式使用变量的程度。

如何在通用 createReducer 函数中强制执行更严格的 TypeScript 类型?

我有一个实用函数createReducer,它接受一个reducer函数并返回它: const createReducer = (reducer: (状态: T, 操作: 任意) => T) => { 返回减速器; }; 类型...

回答 1 投票 0

使用枚举和变量子 JSON 模式处理复杂的 JSON

我有一个复杂的 JSON,其中可以包含可变的子 JSON,每个子 JSON 都有自己的架构。下面是其结构的图示: [ "node_level": "单位", “姓名&q...

回答 1 投票 0

现代 C++ 中 void 指针的替代品

我想从一个源中检索数据,这些数据通过一个函数、一组不同的函数提供。我来自c,所以我有这个例子: #包括 使用命名空间 std; ...

回答 1 投票 0

在 TS 中类型安全地扩展对象原型

const via = 符号('via') 声明全局{ 接口对象{ [通过](续:(self:this)=>R):R } } const test = [1,2,3][via](x=>x) // test 被推断为 Object,应该是

回答 1 投票 0

VB.NET 中的泛型

现在,作为一名 C# 程序员,我知道泛型非常棒。 然而,当涉足一些VB.NET时,我发现以下内容不会导致编译器错误: Dim 实例作为列表(整数)

回答 3 投票 0

如何推断重载回调的参数类型?

我正在尝试在打字稿中定义类型安全的nodejs风格的回调。我希望将 err 定义为 Error(如果存在)或 data(如果不存在)定义为 T。 如果我使用这段代码 导出接口SafeCallback<...

回答 1 投票 0

是否有一种简单的方法可以在 wretch 中为 Typescript 静态键入解析器(使用泛型或其他方式)?

我正在用 wretch 替换我的 fetch 调用,并且我想输入解析器,以便我可以干净地迁移并确保 api 调用的类型安全。 我发现了两种方法,但都不是……

回答 1 投票 0

Scala 严格类型系统与 C++ 类型系统

对于 Scala 严格类型系统的粉丝,以及 C++ 的粉丝: 是否有可能强迫自己以同样严格的方式进行 C++ 编程? (不使用 void*,不进行大量转换,装箱简单值类型,即 ...

回答 2 投票 0

为什么 C# 编译器为 GetType() 方法调用发出 callvirt 指令?

我很好奇为什么会发生这种情况。 请阅读下面的代码示例以及每个部分下面的注释中发出的相应 IL: 使用系统; 班级计划 { 静态...

回答 5 投票 0

检查 JS/TS 中非虚假值的更好方法?

我发帖是为了看看是否有人有更干净的方法来检查 JS/TS 文件中的非 false 值。 多年来,我多次尝试编写更清晰的 if 语句来检查非虚假 va...

回答 1 投票 0

类型安全:来自对象的未经检查的强制转换

我尝试将一个对象转换为我的 Action 类,但它会导致警告: 类型安全:从对象到动作的未经检查的转换 动作动作=空; 尝试 {

回答 7 投票 0

为什么 TypeScript 允许未在类数组中列出的类实例通过类型检查? [重复]

我遇到了 TypeScript 的问题,我想限制函数仅接受数组中定义的特定类的实例。这是我的设置: 类类型 { } T1 级扩展了 Typ...

回答 1 投票 0

为什么 TypeScript 对于未包含在数组类型中的类实例不给出错误?

我试图确保函数只接受数组中定义的特定类的实例。这是我的 TypeScript 代码: 类类型 { } 类 T1 扩展类型 { } 类 T2 扩展类型 { }...

回答 1 投票 0

如何在不可能的 switch 情况下强制执行错误?

我们可以启用一个 linter 来进行相等性检查。开关盒呢?这似乎不起作用。 https://stackoverflow.com/a/78736339/6727914 如何将警告转化为错误? 示例...

回答 1 投票 0

如何对不可能的相等性检查强制执行错误?

它有一个 linter https://dart.dev/tools/linter-rules/unrelated_type_equality_checks 但它只是显示一个警告,使其对于大型项目几乎毫无用处。 如何将警告转换为

回答 1 投票 0

C# 方法参数的泛型类型参数推断:解决方法?

我正在开发一种通用方法,该方法接受参数,其类型应从给定接口的通用类型参数推断出来。我想实现类似于......的编译时类型安全性

回答 1 投票 0

JAVA 泛型警告

我一直在研究Java中的泛型,在从各种来源学习之后,我尝试构建一个在实例化期间接受 Number 或其子类的泛型类。本课程包括...

回答 1 投票 0

如何在 C 宏中触发内联隐式指针转换?

上下文 我的库中有一些函数支持使用自定义内存分配器: void *(分配)(struct allocator *allocator, size_t 大小, size_t 对齐方式); void(解除分配)(结构分配...

回答 1 投票 0

TypeScript 满足运算符和类型断言有什么区别?

我最近在 TypeScript 中遇到了 satisfies 运算符,我试图了解它与常规类型断言有何不同。两者似乎都提供了一种处理类型的方法,但我不喜欢......

回答 1 投票 0


© www.soinside.com 2019 - 2024. All rights reserved.