I think the reason for && and || not being overloadable is a different one: they do something no normal operator/function-invocation can do: they implement short-circuit logic. Normal invocation will evaluate all arguments before running the actual sub body, the && and || stop as early as possible. You wouldn't want this special calling semantics for your own overloaded code.