Нормально ли, что нотация функции противоречит здравому смыслу?

Question

[Danbka]

Все видно в простом примере:

declare(strict_types=1);

function summ(string $a, string $b): string {
    return bcadd($a, $b);
}

Т.к. bcmath работает со строками, то всё начинает выглядеть немного странно. Складываем числа, но при использовании strict_types приходится указывать тип входных параметров и результат - string. Какие-то числовые константы, которые могут использоваться в приложении - тоже приходится делать строками, хотя с точки зрения здравого смысла, например, Pi - тоже число.

Как думаете, нормально ли это? И если нет, то что делать?

Answer 1

[Кирилл Несмеянов]

Для таких случаев придумали docblock (а начиная с php 8 - union типы):

# PHP 7+

declare(strict_types=1);

/**
 * @param int|string|float $a
 * @param int|string|float $b
 * @return string
 */
function summ($a, $b): string {
    return bcadd((string)$a, (string)$b);
}

# PHP 8+

declare(strict_types=1);

function summ(int|float|string $a, int|float|string $b): string {
    return bcadd((string)$a, (string)$b);
}

P.S. Помимо этого можно кастовать результат к инту, если он в пределах допустимого int32/int64 (зависит от ОС и сборки пыха) значения

return $result > \PHP_INT_MAX ? $result : (int)$result;

Answer 2

[Иван Шумов]

Вообще не нормально. Любые интерфейсы и делаются для того чтобы было понятно и адекватно. Можно просто внутри производить приведение типов

Comments

[Кирилл Несмеянов]

И что делать тогда в тех случаях, когда число превышает int 64?

[Иван Шумов]

Кирилл Несмеянов, ну, я прямо даже не знаю .... например, не использовать PHP для задач под которые он не предназначен?) любому инструменту своё место и время

[Кирилл Несмеянов]

Иван Шумов, т.е. не работать, например, с деньгами. Я правильно понял?

[Иван Шумов]

Кирилл Несмеянов, ну, операции с плавающей точкой там имеют не малое число подводных камней) можно, конечно, но да, лучше не стоит

[Кирилл Несмеянов]

Иван Шумов, а при чём тут вообще плавающая точка? Я говорил про превышение int 64. Потому что микрорубль - это 10^-6 рубля. А миллион микрорублей - это число с 12ю нулями.

[Иван Шумов]

Кирилл Несмеянов, а при чем тут деньги с int 64?)

[Кирилл Несмеянов]

Иван Шумов, ну потому что это один из тех, самых очевидных случаев, когда он переполняется. Разве не очевидно?

В корзину кладёте пару товаров на 200к деревянных, надо просуммировать. Вот и получается в итоге оверфлоу (а точнее ленивый каст к флоату с округлением).

Не нравится такой пример - статистику посчитать. Там тоже цифры большие и могут превышать int64

[Иван Шумов]

Кирилл Несмеянов, 200к деревянных это рядом с int 64 даже не стояло

[Кирилл Несмеянов]

Иван Шумов, да, зато это самое число "200000000000" превышает int32. А вы уверены, что весь ваш код запускается на x64 платформе?

[Иван Шумов]

Кирилл Несмеянов, да. Я прекрасно знаю на какой платформе запускается код - это основа же)

[Кирилл Несмеянов]

Иван Шумов, а я вот, когда пишу пакет в гитхабе или корпоративном гитлабе, который потом может юзаться другими - не всегда. Знание - это одно. А писать качественный и переносимый код - это другое.

P.S. Просто давайте возьмём за аксиому тот факт, что говоря "не использовать PHP для задач под которые он не предназначен" - вы сморозили откровенную чушь ;)
Потому что
1) Нет задач, где бы PHP не был юзабелен
2) И уж тем более это никак не относится к работе с большими числами

[Иван Шумов]

Кирилл Несмеянов, описание требований к системе никто не отменял