I was writing a tool that needed to check whether exactly one of a list of conditions was true. One way of doing this is to count them manually:
bool DoesExactlyOneConditionApply(DataSet data)
{
int count = 0;
if (data.Widgets.Count == 1)
{
++count;
}
if (data.Gadgets.Count == 1)
{
++count;
}
if (data.Doodads.Count > data.Sockets.Count)
{
++count;
}
if (data.Approvers.Contains(Approver.Director))
{
++count;
}
return count == 1;
}
This works and is efficient, but is rather wordy and susceptible to copy/pasta bugs.
Performance was not an issue in this code because most of the time was being spent in calculating the DataSet, not in checking whether conditions apply.
Here’s what I came up with:
bool DoesExactlyOneConditionApply(DataSet data)
{
return new[] {
data.Widgets.Count == 1,
data.Gadgets.Count == 1,
data.Doodads.Count > data.Sockets.Count,
data.Approvers.Contains(Approver.Director),
}.Count(v => v) == 1;
}
This builds a temporary array that holds the results of each test, and we ask LINQ to tell us how many of them are true.
A semi-straightforward translation to C++ (z/8hY9841j9), using Range-v3 in place of LINQ and for the C# array, can generate reasonably efficient code that doesn't use heap memory; GCC and clang can even break up the and enregister all four booleans, so it doesn't even use stack memory. (Semi-straightforward because godbolt's version of Range-v3 doesn't have .)
Unfortunately, neither GCC nor clang seems to be able to use the hint to optimize away calls when 2 trues have already been found (maybe that's too tall an order, considering the amount of C++ machinery in Range-v3 that the compilers need...
Yeah. Can’t you just do that on one line, and possibly omit the ternary if true/false decay to 1/0?
And if you want to short circuit could also maybe use crazy parentheses to group statements with a logical operator that stopped evaluation if both sides are “1”.
I like Extension Methods for such things.
I also like generics. So when we put that together, we can write a generic extension method that can use any number of conditions:
<code>
It would be used like this:
<code>
As performance is not a requirement here but readability I think this should work quite well.
I like this one because it only checks as many conditions as it has to.
And it would be trivial to extend it to allow the number of wanted conditions to be a parameter.
Awesome, reminds me of the “good” “old” days of lisp/smalltalk.
I would name it slightly differently, such as OnlyOneOfTheseIsTrue
But it’s hard to beat a solution that’s a “one” liner, and where the function called doubles as a fairly complete comment about what’s being done/tested.
I would just use a boolean instead of an integer, IMO it’s easier to understand.
Not a one-liner. I’m just having fun.