Почему PHPDoc не различает число с плавающей точкой и число с двойной точностью?
От http://www.phpdoc.org/docs/latest/guides/types.html#primitives
похоже, PHPDoc распознает только тип float,
Видя, как PHP написан на C / C ++, я удивляюсь, почему он не предлагает double как тип.
Решение
Язык, на котором написаны реализации PHP, не влияет на то, что распознает PHP (C не имеет понятия о строках, поскольку PHP их понимает, но в PHP они есть).
тип с плавающей точкой называется float в PHP, так что имеет смысл для инструментов, созданных для php, распознавать только этот тип. Внутреннее / C-представление PHP-плавающей запятой абстрагируется от PHP-кода. Интересно то, что в PHP тип float обычно хранится в C double.
Другие решения
Других решений пока нет …