OCaml -为什么将数组引用设为默认值
OCaml是一种静态类型的函数式编程语言，它将数组引用设为默认值是为了提供更好的安全性和语言一致性。
首先，将数组引用设为默认值可以避免空指针异常（Null Pointer Exception）的问题。在很多编程语言中，数组引用默认值为null或nil，当对一个未初始化或空的数组引用进行操作时，就有可能出现空指针异常。而OCaml将数组引用默认值设为一个特定的未初始化状态，当程序员使用未初始化的数组引用时，OCaml编译器会产生一个编译时错误，从而提前发现潜在的问题，避免了空指针异常。
其次，将数组引用设为默认值也可以增强代码的一致性和可读性。在OCaml中，数组引用默认值为未初始化状态，而不是空引用。这使得OCaml代码在处理数组时更加一致，不需要针对可能为空的数组引用进行特殊处理。同时，程序员也可以更加清晰地识别未初始化的数组引用，从而更好地理解代码逻辑和进行调试。
在实际应用中，将数组引用设为默认值可以提供更好的代码安全性和可维护性。程序员在编写OCaml代码时，可以更加自信地使用数组引用，避免了由于空引用导致的运行时错误。此外，OCaml还提供了一些相关的库函数和类型系统特性，用于处理数组和避免常见的错误，进一步提高了代码的可靠性和可维护性。
关于OCaml的更多信息和相关产品介绍，您可以参考腾讯云的官方文档：OCaml 产品介绍。
相关·内容
1回答
在我的应用程序中，我有8个按钮在一个水平列表视图。我想突出显示按钮后，用户点击，并知道当前state.Means当用户点击第一个按钮时，它将突出显示一些背景color.But，我的问题是，点击第二个按钮后，第二个也是突出显示，但前一个按钮也不会失去颜色。我只想突出显示当前按钮。
浏览 1提问于2013-05-13得票数 0
3回答
我研究过这个问题，但找不到任何复制品。我想知道为什么您可以在数组中使用struct而不创建它的实例。
例如，我有一个class和一个struct
public class ClassAPI
{
public Mesh mesh { get; set; }
}
public struct StructAPI
{
public Mesh mesh { get; set; }
}
在数组中使用ClassAPI时，必须使用new关键字初始化它，然后才能使用其属性和方法：
ClassAPI[] cAPI = new ClassAPI[1];
cAPI[0] = new ClassAPI
浏览 1提问于2018-07-22得票数 14
回答已采纳
1回答
我有一个多对多的控件复选框列表，用户可以在其中选择项。我想知道在初始化数据工作区方法屏幕上加载屏幕时，默认情况下是否可以选择该列表。
谢谢
浏览 1提问于2015-06-30得票数 0
4回答
在C++中，程序可以传递一个引用，而不是一个函数的值。
void incrementInt(int &x)
{
++x;
}
OCaml提供了同样的功能吗？
浏览 1提问于2016-10-12得票数 5
回答已采纳
2回答
为什么Ocaml有可变的数组？据我所知，函数式编程是为了最小化副作用。可变(edit:)数组不是与这个想法相反吗？ 甚至连字符串在Ocaml中都是可变的，这在python中甚至不是这样的，或者OCaml不被认为是一种纯函数式语言？
浏览 22提问于2020-08-26得票数 1
回答已采纳
2回答
在C#中，我会写这样的东西
MyType arr = new MyType[10];
将arr指定为数组，其中包含10项类型为MyType的项。
如何在F# ??中做同样的事情
let mutable arr = ?????????????
浏览 1提问于2009-10-25得票数 2
回答已采纳
我在R那一边已经有几年了。我不做任何核心统计，而是使用R作为一个复杂的“csv文件”操纵器。然而，我确实需要以分布式的方式处理大量的数据。
我发现R对我的应用程序来说已经不够快了，我现在正在研究其他语言。
第一个选择是Python-pandas，它速度更快。此外，我读到Ocaml可能比python快10倍，这对我来说听起来非常有吸引力。
然而，我发现Ocaml的标准库似乎相当低级。我找不到任何像R的数据框这样的高级容器。
你们如何在Ocaml中表示数据帧？您是否使用元组列表？有人能在这里分享一点知识吗？
谢谢!
浏览 3提问于2013-11-21得票数 7
无格式param：
pd.to_datetime(1)
产出：
Timestamp('1970-01-01 00:00:00.000000001')
格式param：
pd.to_datetime(1, format="%H")
产出：
Timestamp('1900-01-01 01:00:00')
第一个产出年份是1970年，第二个产出年份是1900年。
有人知道为什么吗？
浏览 4提问于2020-03-07得票数 1
回答已采纳
我知道在OCaml中，默认情况下不能更改变量的值。例如，我们不能执行以下操作： let a = 1;
a = 2; 为此，我们添加了关键字ref： let a = ref 1; a := 2; 然而，我不明白的是，我们不需要为Array这样做。我们可以更改数组的值，即使它的类型不是：ref 'a。例如，我可以这样做： let a = Array.create 3 0; a.(1) <- 2; 不会出现任何错误。 那么，为什么我们可以在不使用引用的情况下更改数组的值？ 另外，ref andmutable` `之间有什么区别？ 谢谢！
浏览 16提问于2019-02-23得票数 0
回答已采纳
1回答
我有一个函数，根据传递的比较结果，如果value_one大于或小于value_two，它就会打印出来。
template<typename T, typename cmp = less<T> >
void function(T value_one, T value_two, cmp) {
cmp comparator;
if (comparator(value_one, value_two)) {
std::cout << value_one;
}
}
现在，此函数默认使用less函数对象来决定是否打印value_on
浏览 3提问于2020-02-17得票数 1
有人能回答为什么默认情况下core.preloadindex是假的吗？有什么陷阱吗？我无法想象性能会受到怎样的影响。
浏览 93提问于2013-08-16得票数 19
回答已采纳
1回答
OCaml用户手册版本4.11指出：
20.2.3堆外的指针
在早期版本的OCaml中，只需将指针转换为类型值，就可以将指向堆外部地址的对字指针作为OCaml值使用。从OCaml 4.11开始，不推荐这种用法，OCaml 5.00将不再支持这种用法。
停止支持意味着什么？性能损失？警告？程序崩溃？
我的应用程序有很多恒定的数据。很多。
为了帮助降低主要的GC成本，我正在考虑将上述数据从OCaml堆中深入复制到我自己的一些只增长/从未收集的内存中，并以hugepage为后盾。(在编译时，数据不是常数，而是程序启动后的数据。)
以上是否意味着我的方法将停止使用未来的OCaml版本？
浏览 3提问于2020-09-21得票数 0
回答已采纳
2回答
我在从ocaml打电话给c的时候遇到了奇怪的情况。这是事情的c面：
typedef struct {
TSNode node;
} AstNode;
CAMLprim value caml_ts_document_root_node(value document) {
CAMLparam1(document);
TSNode root_node = ts_document_root_node(document);
AstNode elNode;
elNode.node = root_node;
CAMLreturn(&elNode);
}
CAMLprim
浏览 0提问于2018-03-09得票数 1
回答已采纳
我看到有人写了这篇文章 Dim trueifnotprime = New Boolean(99) {}.ToList 而且它是有效的。我不明白为什么。 到底是怎么回事？什么是New Boolean(99)？我是在创建一个布尔数组，还是在调用带有99参数的布尔构造函数？那么{}这个东西是什么呢？这是什么符号？
浏览 11提问于2021-04-08得票数 1
回答已采纳
我们在一个macOS应用程序中使用AppAuth来验证谷歌帐户。这个功能已经运行多年了，除了最近Chrome已经开始默认屏蔽所有的http连接。AppAuth中的回送服务器是硬编码的，只能与http连接一起工作。以下问题似乎也没有得到回答：
对于在macOS上使用https环回服务器进行OAuth2身份验证，我们还有哪些其他选择？我们需要回送服务器能够提取Google在身份验证后发回的参数。要求用户从Chrome切换是不可取的。
浏览 9提问于2021-03-24得票数 0
1回答
我不知道是否需要进行数组初始化.
对于此代码：
private int[][][] rPos = new int[SIZE][SIZE][2];
我是否可以开始正确地使用数组，如下面的行？
getLocationOnScreen(rPos[i][j]); // pass an array of two integers
对于这个代码：
View[][] allViews = new View[SIZE][SIZE];
然后，我必须再做一个嵌套循环，并通过调用它们的构造函数来初始化每个View，如下所示：
for (int i = 0; i < SIZE; i++) {
for (
浏览 0提问于2013-09-24得票数 0
回答已采纳
有以下几点：
let a = "hello world".Split(' ')
返回类型是一个字符串数组，但该类型被写为：
System.String[]
我不明白为什么：
使用[| ... |]声明数组，但在类型中显示为[ ... ]，用[ ... ]声明列表，但在<code>F 212</code>类型中显示为x list >
另一个例子是：
([| 3 |]).GetType()
val it : System.Type =
System.Int32[]
为什么是这样？
浏览 2提问于2021-03-09得票数 5
回答已采纳
在OCaml自定义拓扑级别中，有没有一种方法可以通过编程将提示从#设置为其他内容？我希望能够更改它来响应用户的最后一个自定义函数(有点像在bash中如何设置PS1)。我甚至找不到#指令来更改它。谢谢!
浏览 1提问于2011-05-28得票数 6
回答已采纳
我有一个由以下结构组成的对象树：
interface Node {
name: string;
children?: Node[];
}
例如，{ name: "foo", children: [ { name: "bar" } ] }是一个有效的树。我正在尝试获取任意节点的地址，该节点可以是叶，返回为到达它的路径数组，该节点将通过对象引用进行比较。给出的示例有以下结构：
var data = {
name: "Languages",
children: [{
name: "Functional",
浏览 4提问于2015-08-24得票数 1
回答已采纳
我正在对mongo db文档进行单元测试..。并发现在找到一个现有对象之后，唯一能够更新它的方法是在注释中设置( strategy=" set“)。有人知道为什么要设置这个吗？更好的是，当使用该设置时，这个变化究竟是什么？
浏览 2提问于2012-02-14得票数 4
6回答
代码正确地打印出"x2 is false"，我的问题是理解为什么会发生这种情况。(这是对的，我只需要有人用电脑告诉我这个逻辑--我4小时后就要期末考试了，再也不会打扰任何人了:)
非常感谢您的帮助！
public static void main(String[] args) {
boolean[][] x = new boolean[3][];
x[0] = new boolean[1];x[1] = new boolean[2];
x[2] = new boolean[3];
System.out.println("x[2][2]
浏览 25提问于2011-12-13得票数 1
2回答
阅读caml-list上的一些旧文章，我看到了雅克·加里格斯的以下帖子：
我所关心的引述如下：
方法对任意对象的调用可能很慢。这是因为，由于子类型，在某些情况下无法知道方法在表中的位置，因此必须执行二进制搜索。
有人能解释为什么会这样吗？为什么子类型(我在本例中假设的继承)会影响到这一点？OCaml的实现是这样吗，还是其他语言也受此影响？
请告诉我关于这方面的进一步资源，谷歌让我失望了。
浏览 3提问于2012-12-09得票数 12
回答已采纳
1回答
当我试图将一个自定义数组对象设置为弱时，我得到了这个错误'weak' may only be applied to class and class-bound protocol types, not '[ExerciseSet]'。为什么我不能将弱赋值给这个类型？ class Session {
weak var sets: [ExerciseSet]?
}
浏览 23提问于2020-09-29得票数 0
1回答
字符串与数组索引的语法
、、、
为什么数组和字符串索引使用不同的语法？
例如。
let _: int = [|1;2;3|].(0)
let _: char = "123".[0]
我(和其他人)觉得这既奇怪又令人困惑。
浏览 1提问于2017-09-24得票数 4
回答已采纳
我想在ocaml中创建三维数组。以下是我想做的事：
let dp = Array.make n (Array.make n (Array.make k (-1))
但是，它不起作用--更改值dp会更改所有值dpi。那么，如何使用不同的数组而不是同一个数组的副本创建矩阵呢？
浏览 1提问于2015-01-19得票数 5
回答已采纳
我决定为包含排序算法和搜索算法的语言创建帮助文件。我从C开始，想在PHP中创建相邻的。但是我传递的数组并没有被排序。为什么？
<?php
function BubbleSort($array, $length)
{
for($i = 0; $i < $length - 1; ++$i)
{
for($j = 0; $j < $length - $i - 1; ++$j)
{
if($array[$j] > $array[j + 1])
浏览 1提问于2015-07-08得票数 2
尝试编译以下表达式时： String.blit (String.make tfs.len ' ') 0 tfs.txt 0 tfs.len; 编译器报告以下错误： Error: This expression has type string but an expression was expected of type bytes
and the variable 'tfs.txt' (of type string) is pointed at. 根据一些论坛中的建议，我尝试将变量OCAMLPARAM设置为值：safe_string=0,_，但没有结果 我在Ub
浏览 18提问于2021-01-07得票数 1
double [] dou = new double [12];
Double [] dou = new Double [12];
dou (在这两种情况下)有什么不同？
我试着打印，第一个例子显示0.0，而第二个例子显示为null，谁能告诉我为什么会这样？
提前感谢
浏览 0提问于2014-02-06得票数 1
我必须使用来自我的远程公司存储库的父pom的快照版本，并且其结构不类似于maven多模块(父pom不在根目录中)，当构建我的项目时，我收到以下错误： Non-resolvable parent POM for com.company.group 我尝试在我的pom中添加空的</relativePath>路径，但是没有起作用，maven没有在我的本地存储库之外寻找。 接下来，我在settings.xml中启用了<snapshots>，但也不起作用。最后，我将setting.xml中的存储库复制到pom中，然后maven拿起了父pom，但我觉得添加pom.xml有点奇怪，
浏览 25提问于2021-01-23得票数 0
5回答
假设我们声明了一个大小为3的类型Person数组：
Person[] arr = new Person[3];
在那之后，我为什么还要做：
arr[i] = new Person();
我认为新的Person3在内存中创建了3个人，并且arr将指向第一个one.Thanks！
浏览 5提问于2021-05-15得票数 2
回答已采纳
不确定为什么需要所有这些运算符。理由是什么？为什么常规的OCaml对象语法还不够？
obj##.m
obj##.m := e
obj##m
这里的文档：
浏览 18提问于2020-05-25得票数 0
回答已采纳
我在MySQL数据库中有一个表，它有2列，
String insertquery = "INSERT INTO Table (Col1, Col2) VALUES (?, ?)";
PreparedStatement preparedStatement = dbConnection.prepareStatement(insertSQL);
preparedStatement.setString(1, "Val 1");
preparedStatement.setString(2, "Val 2");
preparedStatement.execu
浏览 0提问于2014-11-04得票数 0
看起来我不能。
我想知道为什么我不能。
这是肯定的，我可以做type 'a entry = Empty | Value of string * 'a * 'a entry;;，所以如果我想递归地定义一个类型，我只能走union路线？
浏览 1提问于2013-03-24得票数 1
回答已采纳
2回答
HDFS的默认块大小是128MB还是64MB ?在hadoop definite中提到了"HDFS也有块的概念，但它是一个更大的单位--缺省情况下是128MB“，.Anyone能分辨出哪一个是默认大小吗？
浏览 0提问于2017-12-08得票数 0
1回答
我已经创建了一个报告，在其中我要从指定的日期范围内提取记录。
我有两个参数，即StartDate和EndDate。两者都是日期/时间数据类型。
我想要做的是将StartDate参数的默认日期设置为从今天的日期开始的+7天，并将EndDate设置为从StartDate开始的+7天？
基本上，报告需要显示下一周的一切。
如果这份报告是今天(9月22日星期一)创建的，它将显示星期一29至5日星期日之间的数据。
请让我知道如何将其指定为参数下的表达式，还是可以在DataSet中完成？
浏览 3提问于2014-09-22得票数 0
回答已采纳
1回答
下面有一个示例，它创建两个父模型，然后使用自定义函数将子模型推到父模型的数组中。
JS：
var Child = Backbone.Model.extend({});
var Parent = Backbone.Model.extend({
defaults: {
children: []
},
addChild: function() {
var child = new Child();
this.get('children').push(child);
return child;
}
浏览 2提问于2015-03-08得票数 1
回答已采纳
我想把数据传递给视图，我有两个选择(如果你知道更好的方法，请提出来)。
我正在使用Zend_Based对象关系管理系统，并以这样的方式编码，如果我在数据库中添加一个新字段，它会自动在模型中可用。
第一步:将模型的数据转换为数组，并将数组传递给视图。这样，我将拥有视图中所有可用的数据，但模型的函数/操作将不可用。如果我需要特定的功能，我将编写视图帮助器，而同样的功能可能已经在模型中编码。例如，获取特定格式的日期。
第二:或者我将完整的模型对象传递给视图，这样我就可以使用模型的所有函数，但是视图可以访问模型的save函数，这是一件坏事。我可以在model中添加更多的功能，使其成为只读的，但这将是额
浏览 0提问于2010-11-26得票数 0
回答已采纳
2回答
在许多使用ReasonML的项目中，经常使用缩写PPX，但很少解释。
PPXes是什么？
为什么ReasonML需要他们？
浏览 3提问于2020-06-23得票数 2
回答已采纳
这一评论是可以的：
(* "\z" foo *)
此注释将导致错误：
(* "\" foo *)
是否有一种方法可以在OCaml注释中包含文字引用的单个反斜杠？为什么显而易见的方法不起作用？我希望在评论中的逃避会被忽视。
为了说明它的价值，我正在尝试记录代码的测试，这些代码为自己的目的处理反斜杠转义。
感谢您的阅读。
编辑:情节变复杂了。以下意见可以接受：
(* "\" "\" notice-> " *)
(* "\" " "\" notice-> "
浏览 3提问于2013-12-27得票数 5
回答已采纳
我试图在of构建中释放两个预处理程序的能力。我试过了
flag ["ocaml"; "use_m4"] (S [ A"-pp"; Px"m4 macro.m4"
; A"-pp"; Px"camlp5o pr_o.cmo camlp5/pa_gt.cmo"
]);
但出于某种原因，它再次使用-pp选项重复选项。这是错误的。
/home/kakadu/.opa
浏览 1提问于2016-10-06得票数 1
回答已采纳
有谁能帮我理解下面的代码吗？我刚开始学习java，我正在尝试学习Objects[]。此代码编译但retval不返回任何内容？
我在网上做了很多搜索，但是找不到为什么Object3编译而不抱怨？
下面的代码是什么意思？
(新Object1) = tt;
如何可以"retval =newObject1；“编译if对象是二维数组。
包Package1；导入org.testng.annotations.Test；公共类Test1 {@Test1 void NewTest() { Object retval =新Object3；int i= 0；String methodName = "
浏览 2提问于2020-12-02得票数 0
为什么这段代码不能工作？似乎我不能使用数组将变量设置为'10‘，但对于普通对象，它可以工作。
我做错了什么？
1类
public class apples {
public static void main(String[] args) {
carrots carrotObj = new carrots();
carrotObj.setVar(5);
System.out.println(carrotObj.getVar());
carrots carrotArray[] = new
浏览 3提问于2014-01-11得票数 0
5回答
有人能给我解释一下为什么下面的结果会导致空指针异常吗？以及如何设置位数组的值
BitSet[] bitarray;
bitarray= new BitSet[10];
bitarray[0].set(1);
另外，为什么像这样的工作而不会导致指针异常呢？
BitSet[] bitarray = new BitSet[10];
BitSet bits = new BitSet(32);
bits.set(1);
bitarray[0] = bits;
谢谢
浏览 0提问于2012-09-24得票数 1
回答已采纳
2回答
我正在努力学习ReasonML，我正在做一些考恩来帮助我完成这个任务。我试图编写的一种代码是，在将列表转换为数组之后，询问它的类型。我知道在Haskell (:t)这样的语言中有一些运算符，我们可以在这些语言中要求变量的类型。对于:t，ReasonML有什么等价的地方吗？或者检查Array.of_list是否返回数组是没有意义的，因为编译器确保.
浏览 3提问于2018-01-02得票数 3
回答已采纳
NSDocument系统主要用于读写特定数据类型的文件。如果类型需要同时是只读和读写的，该怎么办？我正在规划一个电子邮件应用程序；它需要一个读写文档类型，用于在发送前撰写邮件，以及一个只读类型，用于查看已发送的邮件(从已发送邮件文件夹中)。Mail.app的工作原理是这样的。
这会作为两个NSDocument子类来完成吗？(它们将对其模型类使用相同的RFC822类。)如何将一种文档类型设置为只读？
浏览 3提问于2014-03-10得票数 0
2回答
我正在尝试创建一个2d数组，但我似乎无法在构造函数中传递一个值。
例如
public class MyObj
{
public string State {get; private set;}
public MyObj(string s)
{
this.State = s;
}
}
在另一个班级里
private MyObj[,] Obj;
private void Setup()
{
this.Obj = new MyObj[5,5];
}
当我检查this.Obj时，State的值总是为null。我理解为什么在没有遍历数组中的每一项
浏览 1提问于2017-11-15得票数 1
回答已采纳
我现在开始用OCaml编写与graph相关的data structure和algorithms。
我愿意尝试在OCaml中以函数式的方式编写它们，即避免使用array、可变类型等。
但是，如果我使用list编写所有这些代码，它是否有效或有意义？
浏览 0提问于2013-03-29得票数 3
回答已采纳
3回答
如何向数组中添加多个对象
、、、
为什么a.nil的值是400。我该怎么做才能把它设为200。谢谢你的回答
a = new Array();
x = new Object();
str = "nil";
x[str] = 200;
a.push(x);
x[str] = 400;
a.push(x);
alert("1 = "+ a[0].nil);
alert("2 = "+ a[1].nil);
浏览 6提问于2016-05-17得票数 4
回答已采纳
我正在设置一个码头容器，以便成为Ocaml的一个简单环境，因为我不想在两台计算机上管理两个OPAM工具链。(Windows桌面，Linux膝上型电脑)我的目标是让容器加载到docker上的bash命令提示符中--编写运行并准备好运行ocaml，为此，我需要输入bash，然后在启动时运行val$(Opam)。这是我当前的停靠文件：
FROM ocaml/opam:alpine-3.12
# Create folder and assign owner
USER root
RUN mkdir /code
WORKDIR /code
RUN chown opam:opam /code
USER o
浏览 15提问于2022-01-28得票数 1
我创建了一个对象数组，如下所示。但是为了给对象赋值，我必须在数组的每个位置实例化每个对象？为什么我需要这个？
这是我的方法
StageObject[] StageSplitDate = new StageObject[Stages.Rows.Count];
for (int i = 0; i < Stages.Rows.Count; i++)
{
StageSplitDate[i] = new StageObject();
StageSplitDate[i].StageId
浏览 0提问于2013-03-15得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
