Databases
StackOverflow2013
Postsdbo
PODynamic "Scoping" of C# Checked Expression
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PODynamic "Scoping" of C# Checked Expression
    primarykey
    data
    text
    <p>Is it possible (in C#) to cause a <code>checked(...)</code> expression to have dynamic "scope" for the overflow checking? In other words, in the following example:</p> <pre><code>int add(int a, int b) { return a + b; } void test() { int max = int.MaxValue; int with_call = checked(add(max, 1)); // does NOT cause OverflowException int without_call = checked(max + 1); // DOES cause OverflowException } </code></pre> <p>because in the expression <code>checked(add(max, 1))</code>, a <em>function call</em> causes the overflow, no <code>OverflowException</code> is thrown, even though there is an overflow during the <em>dynamic</em> extent of the <code>checked(...)</code> expression.</p> <p>Is there any way to cause both ways to evaluate <code>int.MaxValue + 1</code> to throw an <code>OverflowException</code>?</p> <p>EDIT: Well, either tell me if there is a way, or give me a better way to do this (please).</p> <p>The reason I think I need this is because I have code like:</p> <pre><code>void do_op(int a, int b, Action&lt;int, int&gt; forSmallInts, Action&lt;long, long&gt; forBigInts) { try { checked(forSmallInts(a, b)); } catch (OverflowException) { forBigInts((long)a, (long)b); } } ... do_op(n1, n2, (int a, int b) =&gt; Console.WriteLine("int: " + (a + b)), (long a, long b) =&gt; Console.WriteLine("long: " + (a + b))); </code></pre> <p>I want this to print <code>int: ...</code> if <code>a + b</code> is in the <code>int</code> range, and <code>long: ...</code> if the small-integer addition overflows. Is there a way to do this that is better than simply changing every single <code>Action</code> (of which I have many)?</p>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USDrew
    1. USferalin
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    3. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. USferalin
      1. VTBountyStart
    2. VO
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. This table or related slice is empty.
      1. VTUpMod
    1. CODoesn't seem possible but I have a hard time imagining a real practical use for this. There is something wrong with your function when the caller has to control overflow checking.
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. USHenk Holterman
    2. COI don't think there's going to be an easy way. Using a checked context causes the compiler to emit a different IL instruction (add.ovf vs add)
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. USmike z
    3. COI tried forcing the compiler to inline the methods using MethodImpl, but that failed too. I mention it because maybe it will spark an idea for you.
      singulars
      1. PODynamic "Scoping" of C# Checked Expression
      1. USMatt Dotson
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload