Nullable<'T>.Value → Nullable<'T>.GetValueOrDefault

[brianrourkeboll]

Description

• We are already checking Nullable<'T>.HasValue before accessing Nullable<'T>.Value, so it is safe to call Nullable<'T>.GetValueOrDefault. Nullable<'T>.Valuedoes a redundant check of HasValue, while Nullable<'T>.GetValueOrDefaultdoes not. Using GetValueOrDefault is significantly faster when no value is present.

Note: these functions are marked inline — does this change have any binary compatibility implications?

Benchmarks

Method	Mean	Error	StdDev	Ratio	RatioSD
Value_NoValue	0.2210 ns	0.0140 ns	0.0117 ns	1.00	0.07
GetValueOrDefault_NoValue	0.0368 ns	0.0106 ns	0.0089 ns	0.17	0.04
Value_Value	3.1128 ns	0.0731 ns	0.0610 ns	1.00	0.03
GetValueOrDefault_Value	3.0675 ns	0.0107 ns	0.0084 ns	0.99	0.02

Source

moduleOfNullable.ProgramopenSystemopenBenchmarkDotNet.AttributesopenBenchmarkDotNet.ConfigsopenBenchmarkDotNet.Running[<GroupBenchmarksBy(BenchmarkLogicalGroupRule.ByCategory)>]typeBenchmarks()=letnoValue= Nullable<int>()letvalue= Nullable 3[<Benchmark(Baseline =true)>][<BenchmarkCategory("NoValue")>]member_.Value_NoValue()= ValueOption.ofNullable noValue
[<Benchmark>][<BenchmarkCategory("NoValue")>]member_.GetValueOrDefault_NoValue()=if noValue.HasValue then ValueSome (noValue.GetValueOrDefault ())else ValueNone
[<Benchmark(Baseline =true)>][<BenchmarkCategory("Value")>]member_.Value_Value()= ValueOption.ofNullable value
[<Benchmark>][<BenchmarkCategory("Value")>]member_.GetValueOrDefault_Value()=if value.HasValue then ValueSome (value.GetValueOrDefault ())else ValueNone
ignore (BenchmarkRunner.Run<Benchmarks>())

Checklist

• Test cases added.
• Performance benchmarks added in case of performance changes.
• Release notes entry updated.

[github-actions]

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

[vzarytovskii]

That's nice, thanks. I didn't even know about this API existence.

[psfinaki]

Thanks!

[psfinaki]

/azp run

[azure-pipelines]

Azure Pipelines successfully started running 2 pipeline(s).

[psfinaki]

/azp run

[azure-pipelines]

Azure Pipelines successfully started running 2 pipeline(s).