Skip to content

Instantly share code, notes, and snippets.

@richlander
Last active October 11, 2021 21:43
Show Gist options
  • Save richlander/bcbbcc9e0b541a06eb805d663ebf6334 to your computer and use it in GitHub Desktop.
Save richlander/bcbbcc9e0b541a06eb805d663ebf6334 to your computer and use it in GitHub Desktop.
Battery example using 'with'
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net5.0</TargetFramework>
<LangVersion>preview</LangVersion>
<Nullable>enable</Nullable>
</PropertyGroup>
</Project>
using System;
Battery battery = new("CR2032", 0.235, 100);
Console.WriteLine (battery);
while (battery.RemainingCapacityPercentage > 0)
{
Battery updatedBattery = battery with {RemainingCapacityPercentage = battery.RemainingCapacityPercentage - 1};
battery = updatedBattery;
}
Console.WriteLine (battery);
public record Battery(string Model, double TotalCapacityAmpHours, int RemainingCapacityPercentage);
@empz
Copy link

empz commented Nov 12, 2020

I'm confused, my understanding was that records are immutable and yet here we see battery being reassigned and effectively mutated.

Granted the original data in memory battery pointed to is in tact which will presumably be cleaned up by the GC.

Is this the point, to allow battery to have a reassigned reference for convenience as well as keeping memory cleaned up?

Inmutable means you can't modify its properties. It doesn't mean you can't reassign a variable to a new record. The with is basically generating a clone of the battery but with a modified RemainingCapacityPercentage.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment