> Что, кроме тюринга ничего больше не знаешь? А моежт еще стоит, до
> того как влезать с тюрингом где можно и нельзя, азы компайлостроения почитать?А что, кто-то смог сотворить чудо и сделать bounds checking без просадок скорости?
Ну вот смотри, есть у меня массив записей, число записей задается на основе внешних данных. Значит на фазе компиляции это никак невозможно просчитать, а всякие foreach будут вынуждены делать тот же bounds checking вид в профиль. Или его можно будет нае...ть, на выбоо.
> Где ты увидел "полный анализ", болезный? Ну и следуя твоей логике, вообще
> никакие проверки не нужны, ведь они не полные.
Я просто к тому что напирание на безопасность в этом случае как-то излишне оптимистично. Статические анализаторы штука хорошая, но и близко не панацея. К тому же вебмакаки показали много чудных способов как позволить разломать сервер вообще не пуская хакеров в управление памятью. Да и Bobby Tables любителям сабжа приветы передавал.
> Ну давай, сформулируй для частного случая анализа, я хоть посмеюсь.
ИМХО, невозможно заранее статически полностью проанализировать конструкции которые динамически выделяются в рантайме, например на основе входных данных. А потуги сделать нечто типа foreach уронят скорость, потому что это более не будет лобовым доступом к памяти без дополнительных приседаний.
> А ты самокритичен, этого не отнять.
И это тоже. Правда я не верю в всемогущесть статического анализа.
> Cпасибо, давно так не смеялся.
Ну это несомненно был мощный технический аргумент вашей правоты.
> Ну и сиди на своем питоне и прочих базиках, как раз для
> таких экспертов и знатоков.
А в этом месте смеялся уже я. Васик я видел где-то в конце 80-х чтоли.