Expressions in C++/CLI

  • Article

 

The managed expression evaluator accepts most expressions written in Visual C++. The following topics offer specific information and discuss some of the expression types that are not supported:

  • Identifiers and Types

  • Function Evaluation

  • Operators

  • Overloaded Operators

  • Strings

  • Casts

  • Object Comparison and Assignment

  • typeof and sizeof Operators

  • Boxing

  • Property Evaluation

The expression evaluator ignores access qualifiers, public, protected, internal, and private. You can call a private method from the Watch window, for example.

The expression evaluator performs all evaluations in an implicit unsafe context, whether the code being executed is safe or unsafe.

The debugger uses autoexpand rules to display the contents of a data type in meaningful form. If you need to, you can add custom autoexpand elements to display your own custom data types. For more information, see Displaying Elements of a Custom Data Type.

Identifiers and Types

Debugger expressions can use any identifier visible within the current scope. If the debugger is halted in function magh, for example, you can use any identifier visible within magh, including constants, variable names, and function names.

The debugger can correctly display any variable of a primitive, enum, or intrinsic type. For variables of class type, the debugger correctly displays the value based on the derived-most type. If you have an object leo of type lion, derived from type cat, you can evaluate leo.clawlength and get the correct value for an object of type lion.

You can assign a new value to any left-hand-side expression that is an l-value of a primitive type. Assignments to class and array types are not supported.

Function Evaluation

The debugger supports the evaluation of functions, including overloaded functions. Therefore, you can enter either of the following expressions, and the debugger will call the correct version of the overloaded function:

kanga ()
kanga (roo)

Evaluating a function in the debugger actually calls and executes the code for that function. If the function has side effects, such as allocating memory or changing the value of a global variable, evaluating the function in a debugger window will change the state of your program, which can produce unexpected results.

When you set a breakpoint on an overloaded function, the location of the breakpoint depends on how you specify the function. If you specify only the function name, the debugger will set one breakpoint on each overload of that function name. If you specify the complete signature, the function name and full argument list, the debugger sets one breakpoint on the specified overload.

Operators

The debugger correctly evaluates most built-in operators, including:

  • Relational operators: (expr1 >expr2, expr1 < expr2, expr1 <= expr2, expr1 => expr2, expr1 == expr2, expr1 != expr2).

  • Boolean operators: (expr1 && expr2, expr1 || expr2).

  • Conditional operator: (expr1 ? expr2 : expr3) .

  • Arithmetical operators: ( expr1 + expr2, expr1 - expr2,expr1 * expr2, expr1 / expr2, expr1 % expr2).

  • Bitwise operators: (expr1 & expr2, expr1 ^ expr2, expr1 | expr2, expr1 ~ expr2).

  • Shift operators. Examples: (expr1 >>expr2, expr1 <<expr2, expr1 >>> expr2).

  • Assignment operators: ( lvalue = expr2, lvalue *= expr2, lvalue /= expr2, lvalue %= expr2, lvalue += expr2, lvalue -= expr2, lvalue <<= expr2, lvalue >>=expr2, lvalue &= expr2, lvalue ^= expr2, lvalue |= expr2 ).

  • Unary operators. Examples: ( +expr1, - expr1, expr1++, ++expr1, expr1--, --expr1 ).

You can use the comma operator to enter a series of expressions: expr1, expr2,expr3.

Overloaded Operators

Most overloaded operators work in the debugger.

Overloaded infix operators +, -, /, %, and & work:

  •  expr1 + expr2

  •  expr1expr2

  •  expr1 / expr2

  •  expr1 % expr2

  •  expr1 & expr2

Overloaded infix operators =, &&, &, ||, |, and ^ do not work:

  •  expr1 = expr2

  •  expr1 && expr2

  •  expr1 & expr2

  •  expr1 || expr2

  •  expr1 | expr2

  •  expr1 ^ expr2

Overloaded relational operators ==, !=, >, <, >=, and <= do not work for C++:

  •  expr1 == expr2

  •  expr1 != expr2

  •  expr1 > expr2

  •  expr1 < expr2

  •  expr1 >= expr2

  •  expr1 <= expr2

Overloaded infix operators |, ^, <<, >>, >, <, >=, and <= do not work:

  •  expr1 | expr2

  •  expr1 ^ expr2

  •  expr1 << expr2

  •  expr1 >> expr2

  •  expr1 > expr2

  •  expr1 < expr2

  •  expr1 >= expr2

  •  expr1 <= expr2

Overloaded prefix operators +, -, ++, --, !, and ~ work:

  • +expr1

  • -expr1

  • ++expr1

  • --expr1

  • !expr1

  • ~expr1

Overloaded suffix operators ++ and -- work:

  •  expr1++

  •  expr1--

The overload operator [] works:

  •  x[expr2]

Multidimensional Arrays

The C++ expression evaluator uses C#-style syntax for multidimensional arrays. For example:

 c[0,0]

Using normal C++ syntax generates an error:

 c[0][0] error: index '0' out of bound for pointer/array 'c'

Strings

The debugger recognizes the indexed operator when it is used with strings as well as arrays. So, for example, you can enter:

 "hello world"[0]

The Watch window will display the correct value:

 'h'

Casts

Simple cast expressions work in the debugger:

 (A)x

Casts that involve pointers will not work in the debugger:

User-defined casts do not work in the debugger for Visual C++.

Object Comparison and Assignment

Object comparison and assignment in the debugger does not work for Visual C++.

typeof and sizeof Operators

The debugger supports the typeof and sizeof operator by transforming it into the equivalent .NET Framework function.

 typeof ( expression)

is transformed into:

 System.Type.GetType(expression )

The debugger then evaluates this transformed expression.

The debugger does not support the sizeof operator.

Boxing and Unboxing

The debugger expression evaluator does not support boxing and unboxing in Visual C++. For more information, see Boxing and Unboxing. If you have an integer variable i that has been converted into an object through boxing, the debugger will evaluate i as an integer, not as an object. The results may not be what you expect.

Property Evaluation

The debugger can evaluate properties in any variable window. However, evaluating a property in the debugger can have side effects that produce unexpected and undesired results. To protect against side effects caused by accidental evaluation, you can turn property evaluation off in the Options dialog box.

WebMethods

You cannot call WebMethods from debugger windows.

See Also

Expressions in the Debugger