Как в Python написать цикл с постусловием?

Вручную.

Чел.

while True:
    if condition_is_met:
        break

Ещё через iter() можно

from random import randint
for i in iter(lambda:randint(1,10), 1):
    print(i)

Цикл закончится, если randint() сгенерирует единицу.

Тебе нужен while

А чем плох while? Он же по определению

до того, пока будет выполняться условие

нечто такое:

for _ in (x:=-3,iter(lambda:x,4))[-1]:
    print(_,x:=x+1)

Классический цикл for(инит; действие при каждой итерации; условие продолжения) в C/C++ - это, по-сути цикл с пост-условием.

ЛОЛ, у меня для тебя плохие новости.

Ещё черезiter()можно

from random import randint
for i in iter(lambda:randint(1,10), 1):
   print(i)

Цикл закончится, еслиrandint()сгенерирует единицу.

Кофеечку данному анонимусу за хорошее владение не самой популярной матчастью. Если ТС не устроит этот вариант, то я даже не знаю, что ему нужно.

>>> help(iter)
Help on built-in function iter in module builtins:

iter(...)
    iter(iterable) -> iterator
    iter(callable, sentinel) -> iterator
    
    Get an iterator from an object.  In the first form, the argument must
    supply its own iterator, or be a sequence.
    In the second form, the callable is called until it returns the sentinel.
(END)

А нужно, чтобы цикл бежал не до фиксированного значения, а до того, пока будет выполняться условие. Как это сделать?

Цикл for-in по учебнику это обход итератора, то есть объекта, имеющего метод next, и по факту, — одна из маленьких хитростей Python (из-за которых его ненавидят хэйтеры и обожают фанаты), — его запись представляет собой «сахарок», который можно раскрыть примерно так:

# это for-in

for i in obj:
    ...

# а это равноценный предыдущему циклу вариант
obj_iter = iter(obj): # или iter(<что-то, имеющее метод __iter__, который возвращает итератор по `obj`>)
while True:
    try:
        obj_iter.next()
        ...
    except StopIteration: # исключение генерирует `obj_iter` при очередном вызове `next`, что свидетельствует о завершении обхода итератора
        break

Собственно, к чему это? Если нужно постусловие в цикле, то а.) пишем свой obj, умеющий выдавать итератор obj_iter по себе, и б.) в методе next получаемого итератора проверяем необходимое постусловие. Или используем совет анонимуса, который как-то попроще будет в реализации.

❤️

Блин, неделю назад сам для себя записывал

https://webhamster.ru/mytetrashare/index/mtb0/1699619691lpp7v4as0m

И сам же забыл. Надо отдыхать уже наверно.

исключение генерирует obj_iter при очередном вызове next, что свидетельствует о завершении обхода итератора

Теперь понятно почему пайтон «тормозит» - генерация исключений там, где не нужно и все решается штатной проверкой.

Лишний оверхед на лямбды.

Царь Гвидон и другие малограмотные ГСМ-щики решили что тебе ненужно. Читай пепы, попы и пипы, или как их там, и молись на них, и слушай радио радонеж.

Если очень хочеться, то вот:

def repeat_until(body, condition, *args, **kwargs):
    while True:
        if not condition(*args, **kwargs):
            body(*args, **kwargs)
        else:
            break


def body(*args, **kwargs):
    ...


def condition(*args, **kwargs):
    return ...


repeat_until(body, condition)

только, тогда и весь код надо в декларативном виде.

Upd. Тогда логично будет заменить while на рекурсию.

Странно, что кому-то не нравится

Рекурсия тормозная вещь, ее лучше избегать

Во, вариант, даже должен работать, сам цикл с постусловием, универсальный:

def repeat_until(body, condition, *args, state=None, **kwargs):
    state = body(state or dict())

    if condition(state):
        return repeat_until(body, condition, state=state)

    return state

Решение с его помощью частной задачки - суммировать ввод из консоли, остановиться если введено отрицательное число:

def body(state):
    c = int(input())
    return {
        'current': c,
        'result': state.get('result', 0) + c
    }

res = repeat_until(body, lambda x: x['current'] >= 0)
print(res['result])

Это реакция на то, что вместо

while condition_is_not_met:
    do_something()

проверка условия происходит внутри тела цикла. Вообще, циклы с while True - это нормальное явление не только для Python.

по-сути цикл с пост-условием

while True:
    do_something
    if condition_is_met:
        break

Слушай, действительно. Я лох. Тогда ТС заблуждается насчёт «постусловности» сишного цикла for, и ему нужен либо аналог do ... while, если он хочет цикл с постусловеим, либо он всё же хочет аналог for, то есть цикл с предусловием. Оба варианта, как уже обсудили, можно реализовать через while.

С рекурсией проблема даже не в том, что она медленная, а в том, что она с каждой итерацией занимает всё больше памяти. Это справедливо для всех языков, в которых нет оптимизации рекурсии. На примере repeat_until(), для простого инкремента значения в state:

# ps -o rss:
    Iterations:      10,000,000
    Recursion RSS:   3,393,400 kB
    Loop RSS:        10,872 kB
    Recursion time:  10.02 s
    Loop time:       1.24 s
    
# tracemalloc 1:
    Iterations:      50,000
    Recursion mem:   8,985 kB
    Loop mem:        744 B
    
# tracemalloc 2:
    Iterations:      1,000
    Recursion mem:   180 kB
    Loop mem:        744 B

Если по времени проигрыш всего в 10 раз и я даже буду согласен подождать, в критической ситуации, то вот по памяти разница увеличивается линейно, в зависимости от количества итераций. Каждую итерацию свободная память уменьшается примерно на 180 байт.

Цикл с пост-условием выполняется гарантированно хотя бы раз. for из C/C++ это цикл с предусловием, может не выполниться ни разу.

for i in ( x for x in range(0, len(s)) if x<(len(s)-maxLen)) )

Конкретно этот код, если поправить синтаксис, перебирает только начало списка, которое короче его длины на maxLen (почему это называется maxLen?). И здесь кажется нет проблемы запечь значения в range, неясно какая из переменных, кроме индекса, меняется во время итерации.

Кроме range, есть ещё enumerate и itertools.count. К примеру во время итерации размер списка постоянно меняется:

for i in itertools.count():
  ...
  if i >= len(s):
    break

Если же в теле цикла счётчик меняется, то нужен while точно. Хотя можно написать свой генератор значений и вызывать ему методы.

class Gen:
  def __init__(self):
    self._i = 0
  def __iter__(self):
    return self
  def __next__(self):
    self._i += 1
    return self._i
  def step(self, delta):
    self._i += delta

g = Gen()
for i in g:
  if ...:
    g.step(-10)

Как ты тонко набросил, однако. Моё почтение.

и слушай радио радонеж.

При чём тут Радонеж? PyCon же!