В момент чтения книги по Эрлангу мне пришла в голову мысль - а почему бы не сделать guard’ы в Питоне? Инструмент, который можно для этого приспособить, существует - это декораторы.

Недолго думая, я написал первый вариант, потом ещё раза три его переделал, и вот что получилось в итоге:

def _main_guard(main_func):
    def inner(*args, **kwargs):
        for guard, func in inner.guards:
            if guard(*args, **kwargs):
                return func(*args, **kwargs)
        return main_func(*args, **kwargs)

    inner.guards = []
    return inner

def guard(guard_clause=None):
    if not guard_clause:
        return _main_guard

    def decor(func):
        main_func = func.func_globals[func.__name__]
        main_func.guards.append((guard_clause, func))
        return main_func
    return decor

Вот пример использования:

>>> @guard()
... def x0(x, y, z=5):
...     print "Standard: x = %d, y = %d, z = %d" % (x, y, z)
...
>>> @guard(lambda x, y, z=0: x == 1)
... def x0(x, y, z=87):
...     print "First: x = %d, y = %d, z = %d" % (x, y, z)
...
>>> @guard(lambda x, y: x == 2 and y == 4)
... def x0(x, y, z=7):
...     print "Second: x = %d, y = %d, z = %d" % (x, y, z)
...
>>> x0(0, 1)
Standard: x = 0, y = 1, z = 5
>>> x0(1, y=2)
First: x = 1, y = 2, z = 87
>>> x0(x=2, y=4)
Second: x = 2, y = 4, z = 7
>>> x0(2, 21)
Standard: x = 2, y = 21, z = 5

Стандартный случай должен обязательно быть первым, и скобки у декоратора тоже должны быть. Проверяются условия в том порядке, в котором они написаны в файле. Использовать разные аргументы у функций с одинаковым именем можно, но осторожно.

Сейчас в планах сделать так, чтоб можно было писать вот так:

@guard(lambda: x == 2 and y == 4)
def x0(x, y, z=7):
    print "First: x = %d, y = %d, z = %d" % (x, y, z)

а guard сам будет подставлять аргументы в проверочную лямбду соответственно тому, как они написаны в самой функции - так будет лучше выглядеть, меньше ошибок и вообще хардкорнее. Эксперименты показали, что такое однозначно возможно и, в принципе, не так уж и сложно сделать. К сожалению, без слова lambda сделать ну никак не получится - всё-таки это Python, а не Lisp :-)

Интересно, насколько это медленнее, чем просто очередь условий и вызовов функций. Может руки дойдут, потестирую производительность.

Какие есть замечания, предложения?