In C#, are there any good reasons (other than a better error message) for adding parameter null checks to every function where null is not a valid value? Obviously, the code tha
Yes, there are good reasons:
NullReferenceException
Now as for your objections:
And for your assertion:
Obviously, the code that uses s will throw an exception anyway.
Really? Consider:
void f(SomeType s)
{
// Use s
Console.WriteLine("I've got a message of {0}", s);
}
That uses s
, but it doesn't throw an exception. If it's invalid for s
to be null, and that indicates that something's wrong, an exception is the most appropriate behaviour here.
Now where you put those argument validation checks is a different matter. You may decide to trust all the code within your own class, so not bother on private methods. You may decide to trust the rest of your assembly, so not bother on internal methods. You should almost certainly validate the arguments for public methods.
A side note: the single-parameter constructor overload of ArgumentNullException
should just be the parameter name, so your test should be:
if (s == null)
{
throw new ArgumentNullException("s");
}
Alternatively you can create an extension method, allowing the somewhat terser:
s.ThrowIfNull("s");
In my version of the (generic) extension method, I make it return the original value if it's non null, allowing you to write things like:
this.name = name.ThrowIfNull("name");
You can also have an overload which doesn't take the parameter name, if you're not too bothered about that.
Without an explicit if
check, it can be very difficult to figure out what was null
if you don't own the code.
If you get a NullReferenceException
from deep inside a library without source code, you're likely to have a lot of trouble figuring out what you did wrong.
These if
checks will not make your code noticeably slower.
Note that the parameter to the ArgumentNullException constructor is a parameter name, not a message.
Your code should be
if (s == null) throw new ArgumentNullException("s");
I wrote a code snippet to make this easier:
<?xml version="1.0" encoding="utf-8" ?>
<CodeSnippets xmlns="http://schemas.microsoft.com/VisualStudio/2005/CodeSnippet">
<CodeSnippet Format="1.0.0">
<Header>
<Title>Check for null arguments</Title>
<Shortcut>tna</Shortcut>
<Description>Code snippet for throw new ArgumentNullException</Description>
<Author>SLaks</Author>
<SnippetTypes>
<SnippetType>Expansion</SnippetType>
<SnippetType>SurroundsWith</SnippetType>
</SnippetTypes>
</Header>
<Snippet>
<Declarations>
<Literal>
<ID>Parameter</ID>
<ToolTip>Paremeter to check for null</ToolTip>
<Default>value</Default>
</Literal>
</Declarations>
<Code Language="csharp"><![CDATA[if ($Parameter$ == null) throw new ArgumentNullException("$Parameter$");
$end$]]>
</Code>
</Snippet>
</CodeSnippet>
</CodeSnippets>
I agree with Jon, but I would add one thing to that.
My attitude about when to add explicit null checks is based on these premises:
throw
statements are statements. if
is a statement.throw
in if (x == null) throw whatever;
If there is no possible way for that statement to be executed then it cannot be tested and should be replaced with Debug.Assert(x != null);
.
If there is a possible way for that statement to be executed then write the statement, and then write a unit test that exercises it.
It is particularly important that public methods of public types check their arguments in this way; you have no idea what crazy thing your users are going to do. Give them the "hey you bonehead, you're doing it wrong!" exception as soon as possible.
Private methods of private types, by contrast, are much more likely to be in the situation where you control the arguments and can have a strong guarantee that the argument is never null; use an assertion to document that invariant.
Original code:
void f(SomeType s)
{
if (s == null)
{
throw new ArgumentNullException("s cannot be null.");
}
// Use s
}
Rewrite it as:
void f(SomeType s)
{
if (s == null) throw new ArgumentNullException(nameof(s));
}
The reason to rewrite using nameof
is that it allows for easier refactoring. If the name of your variable s
ever changes, then the debugging messages will be updated as well, whereas if you just hardcode the name of the variable, then it will eventually be outdated when updates are made over time. It's a good practice used in the industry.
The main benefit is that you're being explicit with the requirements of your method right from the start. This makes it clear to other developers working on the code that it is truly an error for a caller to send a null value to your method.
The check will also halt the execution of the method before any other code executes. That means you won't have to worry about modifications being made by the method that are left unfinished.
int i = Age ?? 0;
So for your example:
if (age == null || age == 0)
Or:
if (age.GetValueOrDefault(0) == 0)
Or:
if ((age ?? 0) == 0)
Or ternary:
int i = age.HasValue ? age.Value : 0;