A C# LINQ one-liner to check if exactly one of a set of conditions is met

Raymond Chen

If a parameter isn’t used, what should I pass?
It doesn't matter what you pass, but if you have to ask, then just pass zero.
Raymond Chen
7 comments

On the down-side, by removing function calls you risk breaking something.

It shouldn’t be true, but some people have written classes that actually mutate when you invoke a getter. Or perhaps `Data.Sockets` is lazy fetched on demand, and suddenly it’s not there as expected.

Can’t just go in all young programmer and say, “Pfft, look at how inefficient this is. I’ll just fix that up real quick.”

How about

.Where(v => v).Take(2).Count() == 1

to return early as soon we know there are more than 1 values true?

// Ryan

Doesn’t help without other changes, because we’re making an array so all the values have to be computed regardless. Here’s what I came up with:

public static bool CountEquals<T>(this IEnumerable<T> items, int count)
  => items.Take(count + 1).Count() == count;
public static bool ExactlyOneOf<T>(this T item, params Predicate<T> conditions)
  => conditions.Where(c => c(item)).CountEquals(1);
bool DoesExactlyOneConditionApply(DataSet data)
  => data.ExactlyOneOf(
       d => d.Widgets.Count == 1,
       d => d.Gadgets.Count == 1,
       d => d.Doodads.Count > d.Sockets.Count,
       d => d.Approvers.Contains(Approver.Director));
data.Gadgets.Count == 1, data.Doodads.Count > data.Sockets.Count, data.Approvers.Contains(Approver.Director), },x => x).Length == 1; data.Gadgets.Count == 1, data.Doodads.Count > data.Sockets.Count, data.Approvers.Contains(Approver.Director), ]).Count(true) == 1;

At the cost of an array allocation and a delegate allocation and 4 invocations? No, thanks!

bool DoesExactlyOneConditionApply(DataSet data)
    var exactlyOneConditionApply = (data.Widgets.Count == 1);
    if (data.Gadgets.Count == 1)
        if (exactlyOneConditionApply)
            return false;
        exactlyOneConditionApply = true;
    if (data.Doodads.Count > data.Sockets.Count)
        if (exactlyOneConditionApply)
            return false;
        exactlyOneConditionApply = true;
    if (data.Approvers.Contains(Approver.Director))
        if (exactlyOneConditionApply)
            return false;
        exactlyOneConditionApply = true;
    return exactlyOneConditionApply;
										

If you are in a tight loop, your code may be better overall. But if performance is not critical, readability trumps the runtime cost and your solution becomes horrible. Understanding your version takes more effort, and extending it is more error-prone.

Raymond has pointed out that performance wasn’t an issue in this case, so your “optimization” is actually a pessimization here.

Were I using a type-unsafe language, I would probably just write

function doesExactlyOneConditionApply(data)
    return (data.widgets.length == 1) + (data.gadgets.length == 1) + (data.doodads.length > data.sockets.length) + data.approvers.includes(Approver.director) == 1;

Whether that would pass review is another matter.

(What is Approver anyway?)

This definitely gets my “count”. plus easy enough to make it work where truth does not equal 1:

return ((data.widgets.length == 1) + (data.gadgets.length == 1) + (data.doodads.length > data.sockets.length ? 1 : 0 ) + data.approvers.includes(Approver.director)) == 1;

I have no problem with the performance hit of ray’s solution, as it’s almost certainly unmeasurable except if inside a loop. But I find this form clearer, personally. And I love collections where appropriate from my days of smalltalk and lisp coding.

Not a one-liner. I’m just having fun.

bool DoesExactlyOneConditionApply(params bool[] conditions)
	IEnumerable<bool?> helper()
		bool found = false;
		for(int idx = 0; idx < conditions.Length; ++idx)
			if(found && conditions[idx]) yield return false;
			found = found || conditions[idx];
			yield return null;
		yield return found;
	foreach(bool? result in helper()){
		if(result != null) return (bool)result;
	return false;
										

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:

        public static bool DoesExactlyOneConditionApply<T>(this T dataSet, params Func<T, bool>[] conditions)
            int count = 0;
            foreach (var condition in conditions)
                if (condition(dataSet)) { count++; }
                if (count >= 2) { return false; }
            return count == 1;

It would be used like this:

            bool res = ds.DoesExactlyOneConditionApply(
                d => d.Widgets.Count == 1,
                d => d.Gadgets.Count == 1,
                d => d.Doodads.Count > d.Sockets.Count,
                d => d.Approvers.Contains(Approver.Director)

As performance is not a requirement here but readability I think this should work quite well.

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.

n += (data.Widgets.Count == 1) ? 1 : 0; n += (data.Gadgets.Count == 1) ? 1 : 0; n += (data.Doodads.Count > data.Sockets.Count) ? 1 : 0; n += (data.Approvers.Contains(Approver.Director)) ? 1 : 0; return (n == 1);

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”.

A semi-straightforward translation to C++ (z/8hY9841j9), using Range-v3 in place of LINQ and std::array for the C# array, can generate reasonably efficient code that doesn’t use heap memory; GCC and clang can even break up the std::array 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 ranges::contains.)

Unfortunately, neither GCC nor clang seems to be able to use the [[gnu::pure]] 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 to unravel first).