C# Expression-Bodied Method

An expression-bodied method is a syntactic shorthand in C# that allows a method’s implementation to be defined using a single expression instead of a standard statement block. It utilizes the expression body definition operator (=>) to map the method signature directly to its evaluating expression, eliminating the need for curly braces ({}) and explicit return statements. At the Intermediate Language (IL) level, the C# compiler translates an expression-bodied method exactly as it would a traditional block-bodied method. It is strictly a compile-time syntactic sugar.

Syntax

[modifiers] [return_type] MethodName([parameters]) => expression;

Mechanics and Evaluation Rules

The behavior and compilation of an expression-bodied method depend on its signature: 1. Non-Void Return Types If the method declares a return type other than void, the expression to the right of the => operator must evaluate to a value that is implicitly convertible to the declared return type. The compiler automatically generates the underlying return statement. Async Methods: For async methods, the expression must be implicitly convertible to the method’s result type, not its declared return type. For example, if the declared return type is Task<string>, the await expression must evaluate to string. The compiler automatically handles the state machine generation and Task wrapping. 2. Void Return Types If the method declares a void return type, the expression must be a valid statement expression. In C#, statement expressions are restricted to method invocations, object creation (new), assignments, increment/decrement operations, and await expressions. 3. Throw Expressions A throw expression implicitly converts to any type. Therefore, it is a valid expression body for both void methods and non-void methods.

Executable Example

The following complete program demonstrates expression-bodied methods across various return types, modifiers, and expression categories.

using System;
using System.Net.Http;
using System.Threading.Tasks;

public class ExpressionBodiedExamples
{
    // Required fields for the examples
    private int _internalCounter = 0;
    private static readonly HttpClient httpClient = new HttpClient();
    private readonly string url = "https://example.com";

    // 1. Non-Void Return Type
    // Evaluates to int, matching the declared return type.
    public int Multiply(int a, int b) => a * b;

    // 2. Void Return Type (Statement Expression)
    // Console.WriteLine is a method invocation.
    public void LogError(string message) => Console.WriteLine(message);

    // 3. Async Expression-Bodied Method (Await Expression)
    // The await expression evaluates to 'string', matching the result type of Task<string>.
    public async Task<string> FetchDataAsync() => await httpClient.GetStringAsync(url);

    // 4. Ref Return Expression-Bodied Method
    public ref int GetReference() => ref _internalCounter;

    // 5. Tuple Return Expression-Bodied Method
    public (int X, int Y) GetCoordinates() => (10, 20);

    // 6. Throw Expressions
    // Valid for both void and non-void return types.
    public void DoWork() => throw new NotImplementedException();
    public int GetValue() => throw new InvalidOperationException();
}

public class Program
{
    public static async Task Main()
    {
        var example = new ExpressionBodiedExamples();
        
        // Testing Non-Void
        Console.WriteLine($"Product: {example.Multiply(5, 4)}");
        
        // Testing Void
        example.LogError("Execution started.");
        
        // Testing Async
        try
        {
            string data = await example.FetchDataAsync();
            Console.WriteLine($"Fetched {data.Length} bytes.");
        }
        catch (HttpRequestException ex)
        {
            example.LogError($"Network error: {ex.Message}");
        }
        
        // Testing Ref Return
        ref int counterRef = ref example.GetReference();
        counterRef = 42; // Mutates _internalCounter directly
        
        // Testing Tuple Return
        var coords = example.GetCoordinates();
        Console.WriteLine($"Coordinates: X={coords.X}, Y={coords.Y}");
    }
}

Structural Limitations

Because the right side of the => operator must be a single evaluable expression, expression-bodied methods cannot contain:

Block-level control flow statements (if, while, for, foreach). Note: switch expressions and ternary operators (?:) are permitted because they evaluate to a value.
try-catch-finally blocks.
Multiple distinct statements separated by semicolons.
Standalone local variable declaration statements (e.g., int x = 5;). Note: Inline local variable declarations via out variables (e.g., int.TryParse(input, out int result)) and pattern matching (e.g., obj is string s) are fully supported as they are part of a single expression.