Телеграмм чат группы prophp7 страница 11376

Size: a a a

PHP

1841 membersпожаловаться на группу

2020 October 28

/bin/cat in PHP

Dmitriy Tkachenko

а юнион тайп уже не тип?

Как под него однозначно выделять память и написать такой статический анализатор?

источник

23:44пожаловаться #1

/bin/cat in PHP

Алексей Гевондян

если создать инструмент, который запретит такие штуки - то будет норм) ошибка "переменная х уже выше объявлена как bool. используйте другую переменную"

Такого инструмента нет в самом языке. Это ничем не проверенные гарантии

Как под него однозначно выделять память и написать такой статический анализатор?

Что первое, что второе вполне реализуемо.

источник

23:44пожаловаться #3

Dmitriy Tkachenko in PHP

/bin/cat

Как под него однозначно выделять память и написать такой статический анализатор?

а че за статический анализатор? зачем выделять память? вопрос конкретный - есть ли тип у переменной в php?

источник

23:44пожаловаться #4

Dmitry Eliseev in PHP

Алексей Гевондян

в один момент времени одна переменная может иметь 1 тип. осталось только писать так, чтобы переменная имела 1 и только 1 тип от начала и до конца своей жизни. и будет норм.

Строгой типизации переменных как раз не хватает, чтобы отшить возможные проблемы с типами.

Но так как все проверки в пыхе идут лишь во время работы скрипта это всё мало поможет без псалма.

а че за статический анализатор? зачем выделять память? вопрос конкретный - есть ли тип у переменной в php?

Как psalm, только под языки со статической типизацией. А выделять память для структуры данных нужно почти всегда.

источник

23:45пожаловаться #6

Aleksandr Khristenko in PHP

/bin/cat


$x;
if(mt_rand(0, 2) === 2){
    $x = true;
} else {
    $x = 10;
}

Тип нельзя вывести во время компиляции. Только в рантайме

bool | int

источник

23:45пожаловаться #7

АГ

Алексей Гевондян... in PHP

какой смысл держать в одной переменной int|true? ради проверок вида if($x === true) ... ? просто для экономии места под еще одну переменную флага стало быть.

источник

23:45пожаловаться #8

/bin/cat in PHP

Окей, а если код база 100000 строк

источник

23:45пожаловаться #9

Dmitriy Tkachenko in PHP

Artem Molotov

опять мухи и котлеты смешиваешь

источник

23:45пожаловаться #10

Alexcc in PHP