MidpointBench.cs

using BenchmarkDotNet.Attributes;
using OverflowProof.Types;

namespace OverflowProof.Benchmarks;

/// <summary>
/// Раздел 2. Три способа взять середину отрезка. В исходниках .NET
/// встречаются два разных, и рядом с одним из них стоит комментарий,
/// что он экономит одно вычитание на итерации. Замер проверяет, видно ли
/// эту экономию.
/// </summary>
public class MidpointBench
{
    private (int Low, int High)[] _ranges = [];

    /// <summary>Границы готовятся один раз.</summary>
    [GlobalSetup]
    public void Setup() => _ranges = Payloads.Ranges;

    /// <summary>Привычная запись. Переполняется на больших границах.</summary>
    [Benchmark(Baseline = true)]
    public int Naive()
    {
        int total = 0;
        for (int i = 0; i < _ranges.Length; i++)
        {
            total += Subjects.MidNaive(_ranges[i].Low, _ranges[i].High);
        }

        return total;
    }

    /// <summary>Через разность, как в ArraySortHelper.</summary>
    [Benchmark]
    public int Subtract()
    {
        int total = 0;
        for (int i = 0; i < _ranges.Length; i++)
        {
            total += Subjects.MidSubtract(_ranges[i].Low, _ranges[i].High);
        }

        return total;
    }

    /// <summary>Через беззнаковое сложение, как в SpanHelpers.</summary>
    [Benchmark]
    public int Unsigned()
    {
        int total = 0;
        for (int i = 0; i < _ranges.Length; i++)
        {
            total += Subjects.MidUnsigned(_ranges[i].Low, _ranges[i].High);
        }

        return total;
    }
}