- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我想检查一个简单的数学表达式是否会溢出(使用 checked
和 catch(OverflowException)
),但不需要每次都使用 try-catch block 时间。所以应该将表达式(不是结果!)传递给函数 checkOverflow
,然后在发生溢出时执行相应操作。
这是我尝试过的,但没有用,因为 lambda 表达式似乎没有词法范围。
static void Main(string[] args)
{
double g, h;
// Check if the expression g+h would overflow, *without* the need to use
// try/catch around the expression
// Both of the following attempts fail because there's no lexical scoping
checkOverflow((FloatReturningExpression) delegate() {return g+h;});
checkOverflow(() => g+h);
Console.ReadKey();
}
private static void checkOverflow(FloatReturningExpression exp)
{
try
{
checked { double f = exp(); }
}
catch(OverflowException)
{
Console.WriteLine("overflow!");
}
}
private delegate double FloatReturningExpression();
有什么解决办法吗? (使用 .NET 2,但不一定。)
最佳答案
.Net 中的 float 不会像整数运算那样溢出。
它们有助于转到 Double.PositiveIfinity、Double.NegativeIfinity 或(特定于数学运算无效的情况下 Double.Nan)
请注意,这也稍微复杂一些,因为当面对精度非常不同的两个数字时浮点行为。
Console.WriteLine(double.MaxValue);
Console.WriteLine(double.MaxValue * 2);
Console.WriteLine(double.MaxValue + 1);
Console.WriteLine(double.MaxValue + double.MaxValue);
给出:
1.79769313486232E+308
Infinity
1.79769313486232E+308
Infinity
也不清楚你想让你的 checkOverflow 函数做什么,只是写它发生了吗?
如果这就是所有这些方法将起作用(我为您转换为 int)
void Main()
{
int a, b;
a = int.MaxValue;
b = 1;
// Check if the expression a+b would overflow, *without* the need to use
// try/catch around the expression
checkOverflow(() => {checked { return a+b; }});
}
private static void checkOverflow(Func<int> exp)
{
try
{
exp();
}
catch(OverflowException)
{
Console.WriteLine("overflow!");
}
}
我应该补充一下为什么会这样:
checked 在影响变量的意义上不是词法范围。它是一个由编译器解释的区域,其中所有执行整数运算的 代码 都应该生成溢出捕获指令。变量来自哪里并不重要,重要的是在哪里定义了什么代码。
我相信你的心智模型是这样的:
checked // enter a 'checked' state where all operations
{ // (say on the current thread) are checked
code, function calls, etc. etc
} // leave the checked mode, all operations are now unchecked
这不是 checked 的工作方式,checked 定义了编译时发出的指令(一些指令陷阱溢出,一些则没有)
选中的 block 不会影响在它之外定义的代码。例如仅使用函数:
int Times2(int a)
{
return a * 2;
}
void TheresNoDifferenceHere()
{
checked { Times2(int.MaxValue); }
Times2(int.MaxValue);
}
Times2 函数调用解析为类似
IL_0000: nop
IL_0001: ldarg.1
IL_0002: ldc.i4.2
IL_0003: mul
IL_0004: stloc.0
IL_0005: br.s IL_0007
IL_0007: ldloc.0
IL_0008: ret
如果你用过
int Times2(int a)
{
checked { return a * 2; }
}
IL_0000: nop
IL_0001: nop
IL_0002: ldarg.1
IL_0003: ldc.i4.2
IL_0004: mul.ovf
IL_0005: stloc.0
IL_0006: br.s IL_0008
IL_0008: ldloc.0
IL_0009: ret
请注意使用 mul 和 mul.ovf 的区别。因此,对它的两次调用不能将其更改为事后检查或不检查。上例中第一个调用周围的检查 block 实际上对生成的 IL 没有影响。它内部没有定义对它重要的操作。
因此您最初的想法是在一个地方定义算术运算(不检查)然后在另一点运行它(就像函数调用一样)但是“检查”指令不能影响它在编译时没有包含的代码。
lambda 解析为表达式树或匿名委托(delegate)(可能由所需的合成类支持以保存和维护任何与闭包相关的变量)。在这两种情况下,它们的任何部分的检查方面都是在定义它们的地方完全定义的,而不是在它们被调用的地方。
关于c# - C# lambda/匿名委托(delegate)中的词法范围,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2287836/
可以使用 lambda 和函数创建有序对(Lisp 中的缺点),如 Use of lambda for cons/car/cdr definition in SICP 所示。 它也适用于 Python
我正在尝试从另一个调用一个 AWS lambda 并执行 lambda 链接。这样做的理由是 AWS 不提供来自同一个 S3 存储桶的多个触发器。 我创建了一个带有 s3 触发器的 lambda。第一
根据以下源代码,常规 lambda 似乎可以与扩展 lambda 互换。 fun main(args: Array) { val numbers = listOf(1, 2, 3) f
A Tutorial Introduction to the Lambda Calculus 本文介绍乘法函数 The multiplication of two numbers x and y ca
我想弄清楚如何为下面的表达式绘制语法树。首先,这究竟是如何表现的?看样子是以1和2为参数,如果n是 0,它只会返回 m . 另外,有人可以指出解析树的开始,还是一个例子?我一直找不到一个。 最佳答案
在 C++0x 中,我想知道 lambda 函数的类型是什么。具体来说: #include type1 foo(int x){ return [x](int y)->int{return x * y
我在其中一个职位发布中看到了这个问题,它询问什么是 lambda 函数以及它与高阶函数的关系。我已经知道如何使用 lambda 函数,但不太自信地解释它,所以我做了一点谷歌搜索,发现了这个:What
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
我正在处理 MyCustomType 的实例集合如下: fun runAll(vararg commands: MyCustomType){ commands.forEach { it.myM
Brian 在他对问题 "Are side effects a good thing?" 的论证中的前提很有趣: computers are von-Neumann machines that are
在 Common Lisp 中,如果我希望两个函数共享状态,我将按如下方式执行 let over lambda: (let ((state 1)) (defun inc-state () (in
Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme. 我不知道实际上该怎么做! ((lambda (x y) (+ x x
作为lambda calculus wiki说: There are several possible ways to define the natural numbers in lambda cal
我有一个数据类,我需要初始化一些 List .我需要获取 JsonArray 的值(我使用的是 Gson)。 我做了这个函数: private fun arrayToList(data: JsonAr
((lambda () )) 的方案中是否有简写 例如,代替 ((lambda () (define x 1) (display x))) 我希望能够做类似的事情 (empty-lam
我在 Java library 中有以下方法: public void setColumnComparator(final int columnIndex, final Comparator colu
我正在研究一个函数来计算国际象棋游戏中棋子的有效移动。 white-pawn-move 函数有效。当我试图将其概括为任一玩家的棋子 (pawn-move) 时,我遇到了非法函数调用。我已经在 repl
考虑这段代码(在 GCC 和 MSVC 上编译): int main() { auto foo = [](auto p){ typedef decltype(p) p_t;
我正在阅读一个在 lambda 内部使用 lambda 的片段,然后我想通过创建一个虚拟函数来测试它,该函数从文件中读取然后返回最大和最小数字。 这是我想出来的 dummy = lambda path
我是一名优秀的程序员,十分优秀!