type-safety

1热度

4回答

例如为了数据安全我创建了一个类，例如ModelClass，并定义了一些属性和方法，并定义了一些像这样的列表 private List<ModelClass> results;然后java如何知道我所传递的是真的ModelClass，它是否比较ModelClass的所有方法和属性以及我在结果中传递什么对象，我是如何确定2个对象是相同类型的，它比较所有字段和方法，以便知道它们是同一类型，是的，我知道

1热度

1回答

在Scala.js中，如何最好地创建一个符合JS外观特征的对象？

假设我有这个定义在Scala.js一些库函数的返回类型我使用： @native trait Link extends Object { val href: String = native val title: String = native } 什么是最好的，类型安全的方式，在Scala代码，定义一个对象字面贴合对此？我以为use(...).as[...]伎俩将工作：

0热度

1回答

C++为32位和64位处理器强制执行对齐的安全

我有两个CPU。一个32位和另一个64位。我们有如下所示的片的C++代码： typedef std::bitset<16> MyBits; typedef struct t_MyStruct_16 { uint32_t first; int16_t second; __attribute__((__aligned__(8))) MyBits st; } MySt

5热度

2回答

如何限制输入类型和输出类型相同？

我正在通过Manning的Idris类型驱动开发。给出了一个例子，教导如何将函数限制在一个类型族中的给定类型。我们有Vehicle类型，它使用PowerSource，即Pedal或Petrol，我们需要编写一个函数refill，该类型只适用于使用汽油作为能源的车辆。以下代码有效，但不能保证填充Car将生成Car而不是Bus。我如何需要将refill函数的签名更改为只允许在给出Car时生成Car并

1热度

1回答

在TypeScript中增加导入模块的类型

我将现有的代码库从js/react/jsx设置转换为TypeScript。当然，我希望逐个文件地完成它，并且有一个关于使TS编译器与现有的js代码库一起工作的方法的问题。我转换文件index.js但要离开foo.js在JavaScript现在： // index.ts import { fooFunction } from 'foo'; foo({ val: 1 }); // foo

-2热度

1回答

使用其父级中的方法更改嵌入式结构的属性

我必须定期调用父级结构的方法，但调用时必须更新嵌入式结构唯一的扩展属性（在我的情况中，结构具有不同的id数据类型）。我能想到的唯一解决方案是重写父结构的方法，以便在再次调用周期性方法时，它使用嵌入结构的方法而不是父母的原始结构。的代码如下： package main import ( "fmt" ) type Fruit struct { image *Image

1热度

1回答

包含基元的Scala集合的安全投射

我正在处理混合的Java-Scala项目，并且经常需要转换集合。当我要转换的原语的集合，我应该写这样的事情 val coll: Seq[Int] = Seq(1, 2, 3) import scala.collection.JavaConverters._ val jColl = coll.map(v => Int.box(v)).asJava 但是，我知道，与Java和Scala的

8热度

1回答

我可以使用集合类型作为数组索引吗？

我不能使用set类型作为用于阵列的大小的指标，但是这样做对小套是完全合理的。假设我有以下代码： TFutureCoreSet = set of 0..15; TLookupTable = record FData: array[TFutureCoreSet] of TSomeRecord; //error ordinal type required .... 下

0热度

4回答

强制一个函数只接受特定结构的对象（在打字稿/ js中）

我知道打字稿的一些优点是启用类型安全功能 - 但是有可能确保我的功能只能获得具有特定键的对象或换句话说 - 具体结构的对象？我知道的很多优雅的方式来测试一个套叠的键存在，如[这一个] [1]，当然我可以运行在我的函数开始时的小查 - 但我之所以问这是因为我的函数会被其他许多程序员使用 - 我想确保他们能够理解他们应该从函数的签名中插入什么输入。例子： function printName(u

-5热度

2回答

如何在C＃中的PrivateObject上创建类型安全性

我发现了一种奇妙的方法来测试私有方法。这很好，除了我不喜欢如何将字符串输入到方法名称中。有没有办法建立一个“安全网”？我想输入方法名称，以便如果方法不存在于对象上，编译器可以抛出编译器时间错误。私有方法： public class BankAccount { //Private method to test private bool VerifyAmount(double