|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
По мотивам статьи вот здесь . Если коротко, человек написал вариативный шаблон функции, которая есть быть обёрткой вокруг `std::printf()`. Вариативные аргументы шаблона передаются «as is» в `printf()`. Если отбросить нюансы семантики копирования и т.п. Ну... Вопрос № 1: насколько это соответствует стандарту С++? Они бинарно совместимы? Идём далее. Пример из его статьи: Код: plaintext 1. 2. 3. 4. 5. 6.
Вопрос № 2: в какой последовательности согласно стандарту вызывается функция `Argument()` для вариативных шаблонных параметров? Это определено стандартом или нет? ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 16:19 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Вопрос № 1: насколько это соответствует стандарту С++? Они бинарно совместимы? Соответствует. Бинарная совместимость не требуется. Это два ортогональных механизма. Распаковка пакета параметров оператором "..." - это просто синтаксический сахар и все работает также как если бы вы аргументы передавали в printf явным перечислением. petrav Вопрос № 2: в какой последовательности согласно стандарту вызывается функция `Argument()` для вариативных шаблонных параметров? Это определено стандартом или нет? Порядок вычисления аргументов неопределен (IIRC, кроме некоторых исключений для перегруженных операторов в свежих версиях стандарта) независимо от того как подставляются аргументы, из вариативного пакета параметров или явным перечислением. А какая разница? Это не влияет на рабочесть примера. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 19:03 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky petrav Вопрос № 1: насколько это соответствует стандарту С++? Они бинарно совместимы? Соответствует. Бинарная совместимость не требуется. Это два ортогональных механизма. Распаковка пакета параметров оператором "..." - это просто синтаксический сахар и все работает также как если бы вы аргументы передавали в printf явным перечислением. Окей, я Вас понял. Anatoly Moskovsky petrav Вопрос № 2: в какой последовательности согласно стандарту вызывается функция `Argument()` для вариативных шаблонных параметров? Это определено стандартом или нет? Порядок вычисления аргументов неопределен (IIRC, кроме некоторых исключений для перегруженных операторов в свежих версиях стандарта) независимо от того как подставляются аргументы, из вариативного пакета параметров или явным перечислением. А какая разница? Это не влияет на рабочесть примера. А разница **большая**. Я хочу разработать обёртку вокруг `printf()` которая хотя бы на этапе исполнения проверяла строку формата и типы переданных аргументов. Лучше на этапе компиляции. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 19:19 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky, Для этого мне нужно что бы функция `Argument()` вызывалась последовательно в вышеприведённом примере. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 19:21 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav А разница **большая**. Я хочу разработать обёртку вокруг `printf()` которая хотя бы на этапе исполнения проверяла строку формата и типы переданных аргументов. Лучше на этапе компиляции. Для этого мне нужно что бы функция `Argument()` вызывалась последовательно в вышеприведённом примере. Зачем для этого последовательно вызывать какую-то функцию для каждого аргумента? ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 20:21 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky petrav А разница **большая**. Я хочу разработать обёртку вокруг `printf()` которая хотя бы на этапе исполнения проверяла строку формата и типы переданных аргументов. Лучше на этапе компиляции. Для этого мне нужно что бы функция `Argument()` вызывалась последовательно в вышеприведённом примере. Зачем для этого последовательно вызывать какую-то функцию для каждого аргумента? Ну идея такая. Мы перегружаем функцию `Argument()` для каждого стандартного типа, но одновременно передаём в `Argument()` парсер формата, который в своём состоянии хранит текущий указатель на символ строки формата и мы можем проверить соответствие типа в формате и того, что передано в вариативных шаблонных аргументах. Для не стандартных типов срабатывает шаблонная перегрузка и там `static_assert`. Но лучше конечно compile time. PS: Да, придётся написать свой парсер формата `printf()`, но я думаю это макс на пару дней работы без написания тестов. Т.е. на коленке. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 20:34 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky, Если у Вас есть какое-то лучшее решение в стиле: Код: plaintext 1. 2. 3. 4.
Так Вы сообщите, плиз. Я не особо изучал С++17. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 21:09 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16.
Это в рантайме. В компайл-тайме тоже наверно как-то можно, лень думать. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 22:02 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Но лучше конечно compile time. PS: Да, придётся написать свой парсер формата `printf()`, но я думаю это макс на пару дней работы без написания тестов. Т.е. на коленке. Код: plaintext
... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 22:07 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky Это в рантайме. Это замечательно, но... Код: plaintext 1. 2. 3. 4. 5. 6. 7.
Я примерно понимаю о чём вы говорите. Наш рекурсивый шаблон зависит от типа первого параметра, он наследуется от самого себя, но предок зависит от типа второго параметра и т.д. Да? Но как это сделать?! Как пронавигировать по Args? Пожалуйста. :) Anatoly Moskovsky В компайл-тайме тоже наверно как-то можно, лень думать. Ну мы тут ни куда же не торопимся. Лень, так лень. Подумаем через неделю. ... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 22:19 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57. 58. 59. 60. 61. 62. 63.
... |
|||
:
Нравится:
Не нравится:
|
|||
25.04.2020, 23:48 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, рекурсивные шаблоны - зло, особенно для компилятора, их место уже занял fold expression в качестве примера https://www.qt.io/blog/efficient-qstring-concatenation-with-c17-fold-expressions ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 09:38 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum рекурсивные шаблоны - зло, особенно для компилятора, их место уже занял fold expression Вообще-то fold expr не применим к типам. Так что пока не добавят в стандарт итерацию по списку типов придется использовать рекурсивные шаблоны. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 13:38 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
В принципе если еще дальше перейти в рантайм, то можно избавиться от рекурсивных шаблонов. Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57. 58.
PS. Правда fold expressions и тут не нужны )) ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 14:00 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Какой смысл затаскивать в обсуждение Си? Это - контр-продуктивно вообще. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 14:00 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky Вообще-то fold expr не применим к типам. прекрасно пременим, если их состав известен (при необходимости может быть расширен за счет добавления нужных специализаций). я привел пример, в котором производится конкатенация строк, но кто мешает расширить состав обрабатываемых типов, раз уж тут пытаются сэмулировать работу printf, набор типов которой описывается форматной строкой, где каждому типу сопоставлена лексема? [spoiler] Если примера недостаточно, то вот еще один, ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:18 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky В принципе если еще дальше перейти в рантайм, то можно избавиться от рекурсивных шаблонов. Ого... А говорили думать лень. Я правда просил только пример рекурсивного шаблона, но Ваш развёрнутый код очень познавателен. Спасибо! Но уходить желательно в compile time. Если взять за основу Ваш первый прототип... То имхо, std::vector не нужен. Проходить по строке формата нужно одновременно с навигацией по типам. Оказались в перегрузке для double -- начали искать в строке формата `%f`. Тогда состояние парсера будет описываться одним указателем на char. И, наверное, можно будет сделать compile time. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:21 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
mayton Какой смысл затаскивать в обсуждение Си? Это - контр-продуктивно вообще. Может printf() кривой, но он очень удобен и производителен. Тут у меня код программный... ему уже лет 30-ть. Тут вообще хардкор нереал. :) Но он работает... ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:26 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, на мой взгляд пройтись по типам в variadic pack'e - вообще не проблема, проблема будет в том, чтобы в компайл тайме обеспечить парсинг фоматной строки, если каждому типу в ней не будет отведено строго обозначенное кол-во символов, чего в реальном printf не было никогда. Например, тип може быть задан с префиксом указывающем точность округления - %0.5f, и тогда это уже не будет %f для compile-time парсера. Если же у вас форматная строка всегда четко вида %[type symbol], то можно попробовать в complle time ее разобрать на составляющие (я не пробовал, но если форматная строка - лексема, то думаю, что это реально). А типы сопоставить - это фигня. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:29 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav, на мой взгляд пройтись по типам в variadic pack'e - вообще не проблема, проблема будет в том, чтобы в компайл тайме обеспечить парсинг фоматной строки, если каждому типу в ней не будет отведено строго обозначенное кол-во символов, чего в реальном printf не было никогда. Например, тип може быть задан с префиксом указывающем точность округления - %0.5f, и тогда это уже не будет %f для compile-time парсера. Если же у вас форматная строка всегда четко вида %[type symbol], то можно попробовать в complle time ее разобрать на составляющие (я не пробовал, но если форматная строка - лексема, то думаю, что это реально). А типы сопоставить - это фигня. Нет проблем написать парсер и %f и %0.5f и вообще всех вариантов. Это простой формат, это ж не регулярные выражения. По крайней мере я так думаю. За ссылки спасибо, прочитаю. Вот Вы бы написали бы свой прототип? Но не стоит задачи написать свою библиотеку ввода вывода. Нужно создать обёртку вокруг printf(). ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:37 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
mayton Какой смысл затаскивать в обсуждение Си? Это - контр-продуктивно вообще. Ещё меня привлекает идея расширить стандартный формат: Код: plaintext 1.
Конечно, перед передачей в оригинальный printf() нужно и строку формата подкорректировать до стандартной. Но это уже в run time, конечно. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 15:59 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Я думаю что тебе нужна Scala и ее implicit conversions. Ты - постигнешь дзен и твоя душа придёт в состояние гармонии. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 16:51 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Очередной этап изысканий. Cerebrum Например, тип може быть задан с префиксом указывающем точность округления - %0.5f, и тогда это уже не будет %f для compile-time парсера. Вроде работает. Есть конечно вероятность, что в определённый момент компилятор не выдержит сложности парсера. И я не уверен, что третий тестовый формат правильный. Но такой вариант вообще запретить нужно. Сузить стандартный формат, а потом расширить нестандартными форматами -- до задач предметной области. Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41.
... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 16:56 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum прекрасно пременим, если их состав известен (при необходимости может быть расширен за счет добавления нужных специализаций). Не применим. Потому что в С++ нет бинарных операторов применимых к типам. А fold expression это применение операторов к списку сущностей. И поскольку есть только операторы применимые к значениям, то fold expression возможен только для пакета параметров, но не пакета типов этих параметров. ... |
|||
:
Нравится:
Не нравится:
|
|||
26.04.2020, 19:05 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Господа, нам осталось решить одну проблему: как в одном вызове совместить и статическую проверку данных и динамическую печать данных? Желательно найти выход без макросов. Неужели выхода нет?! :-((( Вот псевдокод, он не компилируется: Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
А вот жуткое решение на вариативных макросах: Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38.
Заранее спасибо! ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 09:17 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, уже говорил и скажу еще раз, для тех кто в танке - юзай fold expression моя идея представлена ниже (это только набросок, но он вполне пригоден для ее понимания и даже компилируется, проверил) дальше доводить ее до ума придется тебе самому Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57. 58. 59. 60. 61. 62. 63. 64. 65. 66. 67. 68. 69. 70. 71. 72. 73. 74. 75. 76. 77. 78. 79. 80. 81. 82. 83. 84. 85. 86. 87. 88. 89. 90. 91. 92. 93. 94. 95. 96. 97. 98. 99. 100. 101. 102. 103. 104. 105.
если ты попробуешь передать в my_printf значение неизвестного type_processor типа, то на этапе компиляции уже получишь ор. Добавив специализаций type_processor можно покрыть все стандартные типы, которые должна жрать и преобразовывать к строке my_printf, таким образом, можно расширять набор ее типов по мере необходимости. Все что не входит в этот круг - идет лесом на этапе компиляции. Сможешь сделать static_assert проверку куска форматной строки на соответствие типу type_process - будешь молодец! Одна из больших проблем (опять же, как я говорил ранее) - нерегулярность форматной строки. В моем примере все типы четко фиксируемые двумя символами %[symbol]. Как проанализировать форматную строку в компайл тайме с нерегулярной структурой я хз, но кто-то говорил выше, что это - ерунда, ну, тогда я уверен, все у вас получится Вторая большая проблема - размер буфера под выходные данные. В своем примере его задал статически, но если получится все что написано выше, то размер можно посчитать таким же макаром через fold expression. Это можно сделать в тех же type_expression специализациях, добавив в них функции calculate_size или переопределив оператор (). Сначала прогоняешь по форматной строке и типам с целью определения размера необходимого буфера, выделяешь его, потом выполняешь окончательную обработку с записью полученного результата, как показано у меня в примере. может это https://habr.com/ru/post/428846/ еще поможет или натолкнет на какие-то мысли по анализу форматной строки в compile time PS. я не стал заморачиваться с std::decay_t, но тебе придется ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 13:26 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum, Код: plaintext 1.
Ну и где здесь fold-expression над типом? ))) ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 13:45 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Господа, нам осталось решить одну проблему: как в одном вызове совместить и статическую проверку данных и динамическую печать данных? Желательно найти выход без макросов. Неужели выхода нет?! :-((( Вот псевдокод, он не компилируется: Чтобы применить static_assert к выражению, все его составляющие должны быть известны на этапе компиляции. В частности это означает что строка формата не может быть аргументом функции, а должна быть передана как аргумент шаблона. Поэтому без макроса нельзя обойтись если вы хотите чтобы для юзера все выглядело как обычная функция. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 13:57 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky Ну и где здесь fold-expression над типом? ))) в type_processor'e специализация выбирается на основе типа, нет специализации - нет компиляции. ясен пень, что fold expression не сделает цепочку типов, это и не подразумевалось, странно, что приходится это объяснять, в особенности после того, как я привел аж два примера иллюстрирующих мое высказывание ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 14:16 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum ясен пень, что fold expression не сделает цепочку типов, это и не подразумевалось, странно, что приходится это объяснять, в особенности после того, как я привел аж два примера иллюстрирующих мое высказывание Начнем с того что fold было приведено как замена рекурсивной обработки списка типов в компайл-тайм. При этом все примеры работают не с типами и не в компайл-тайм. Если мы вместо типов работаем со значениями, то все что тут делает fold можно сделать и обычным циклом ))) ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 14:32 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav, уже говорил и скажу еще раз, для тех кто в танке - юзай fold expression моя идея представлена ниже (это только набросок, но он вполне пригоден для ее понимания и даже компилируется, проверил) дальше доводить ее до ума придется тебе самому Спасибо за код. :) На уровне концепции я его понял. Но он не будет работать в compile time. И Вы делаете немного не то что Вас просят. :) Строку формата в стиле "%21.567f" я уже разбирал compile-time выше в этой ветке. Только что я написал рекурсивный обход по типам тоже compile time. Осталось совместить. И погуглить как строку формата сделать аргументом шаблона. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 16:40 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum в type_processor'e специализация выбирается на основе типа, нет специализации - нет компиляции. Кстати! В Вашем коде есть очень большой изъян. Нет специализации, но есть приведение типов! Именно поэтому у вас получилось написать специализацию для const char *, хотя в Вашем примере аргумент "some string" -- это не const char * ! Это массив. Вот Ваш тестовый код: Код: plaintext 1.
Т.е. Вы с таким подходом можете написать специализацию для double, но забыть специализацию для char. И Ваш код, при передаче char, будет компилироваться, но не будет проверять соответствие типов аргументов и строки формата. Даже в run time! Мне так кажется. Т.е. правильно говорит Anatoly Moskovsky, Вы работаете не с типами. Вы работаете со значениями. Вот мне пришлось помучится что бы написать специализацию для аргумента (не формата) в стиле "some string". Потому что эти рекурсивные шаблоны чётко руководствуются типом, а не значением. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 19:17 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Вот мне пришлось помучится что бы написать специализацию для аргумента (не формата) в стиле "some string" Cerebrum PS. я не стал заморачиваться с std::decay_t, но тебе придется откуда вы только беретесь такие со своим Московским... Модератор: Вложение удалено. Модератор: Вложение удалено. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 19:34 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav Вот мне пришлось помучится что бы написать специализацию для аргумента (не формата) в стиле "some string" Cerebrum PS. я не стал заморачиваться с std::decay_t, но тебе придется откуда вы только беретесь такие со своим Московским... Так я и не утверждаю, что разбираюсь в С++17. Но не очень понятно, что будет в Вашем примере, если мы определим перегрузку (явную специализацию шаблона) только для double, подставим %12f в виде формата, подставим char в runtime как аргумент, а потом всё это передадим в snprintf(). Передача в snprintf() это требование. И причём тут std::decay... ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 20:23 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav Вот мне пришлось помучится что бы написать специализацию для аргумента (не формата) в стиле "some string" Cerebrum PS. я не стал заморачиваться с std::decay_t, но тебе придется откуда вы только беретесь такие со своим Московским... Мне кажется, Вы задействовали механизм преобразования типов аргументов. А по ТЗ нужно однозначно и чётко проверить соответствие типов аргументов и строки формата. В compile time. Ну или хотя бы в run time, но однозначно. ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 20:52 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav И Вы делаете немного не то что Вас просят. :) Ну так всегда бывает, когда узнал новую фичу, и теперь суешь ее везде без разбору ))) ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 20:53 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav И причём тут std::decay... std::decay автоматически выведет тип указателя из типа строкового литерала (без явного указания типов) ... |
|||
:
Нравится:
Не нравится:
|
|||
01.05.2020, 20:55 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky petrav И причём тут std::decay... std::decay автоматически выведет тип указателя из типа строкового литерала (без явного указания типов) Да, я это понял... со второго раза, правда. Но лучше поздно, чем... Я думаю "std::decay" тут ненужен. Он сносит дополнительную информацию с типов, а это ни к чему, мы всё проверим compile time. Я тут проще и надёжнее вещь спрограммировал. И Вы знаете, все "static_assert" работают, достаточно инвертировать условие -- и тут же код перестаёт собираться. Если аргумент "12.8" переделать на "12.8F", то код тоже перестаёт собираться. Т.е. корректность максимальная. Вот тестовый код: Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.
А вот код обхода типов compile time, основанный на Вашем примере. Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46.
... |
|||
:
Нравится:
Не нравится:
|
|||
02.05.2020, 19:33 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Если аргумент "12.8" переделать на "12.8F", то код тоже перестаёт собираться. Т.е. корректность максимальная. Код: plaintext
... |
|||
:
Нравится:
Не нравится:
|
|||
03.05.2020, 21:53 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
a guest petrav Если аргумент "12.8" переделать на "12.8F", то код тоже перестаёт собираться. Т.е. корректность максимальная. Код: plaintext
В каком смысле ОК? В плане стандарта C++, да ОК. В плане однозначной проверки типов -- супер ОК. Не написана специализация для "float" и выключено приведение типов. Компиляция ломается. Это Супер ОК. Только что написал специализацию для "float" -- тут же начало компилироваться. Или Вы про различие "%f", "%lf" и "%Lf" ? ... |
|||
:
Нравится:
Не нравится:
|
|||
03.05.2020, 22:29 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav a guest пропущено... В каком смысле «максимальная корректность», если Код: plaintext
В каком смысле ОК? Просто странно читать про «максимальную корректность» чекера аргументов, который должен разрешать всё то, что допустимо для обычного printf, а он отказывается компилировать. ... |
|||
:
Нравится:
Не нравится:
|
|||
03.05.2020, 23:45 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
a guest petrav пропущено... В каком смысле ОК? Под «максимальной корректностью» имелась в виду возможность однозначно в compile time детектировать тип аргумента. И запретить приведение типов. Т.е. под корректностью имелась возможность чётко увидеть тип. И никаких "std::decay". a guest Просто странно читать про «максимальную корректность» чекера аргументов, который должен разрешать всё то, что допустимо для обычного printf, а он отказывается компилировать. Нет… Чекер, наоборот должен запрещать всякие бессмысленные изыски. Зачем "%d", если есть "%i" ? На сайте cppreference написано, что "%f" и "%lf" эквивалентны. А `%Lf` -- это "long double", которая с 2005-го года не 80-т бит, а соответствует "double". Кстати, зачем нам аргументы типа "float" ? Да по-запрещать всё к чертям. Я такие бардаки годами разбираю. И везде какие-то глюки и косяки. Нам нужно сузить формат, а потом расширить его на печать, например, углов. С авто. преобразованием радиан в углы. И это тоже уменьшит количество косяков. ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 00:38 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
А может, всё-таки проще компилятор сменить? Что вы так к убогой студии привязались?.. Posted via ActualForum NNTP Server 1.5 ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 00:53 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Dimitry Sibiryakov А может, всё-таки проще компилятор сменить? Что вы так к убогой студии привязались?.. Я так понял что помимо printf надо будет реализовать нестандартные форматы, и смена компилятора тут не поможет. ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 01:02 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Да все претензии по форматной печати можно адресовать к конкретной библиотеке. Вот ее и ругайте. Компиллятор-то тут причем? ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 10:12 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Dimitry Sibiryakov А может, всё-таки проще компилятор сменить? Что вы так к убогой студии привязались?.. Студия прекрасна. Я почитал документацию, да хорошая штука: Код: plaintext 1. 2. 3. 4. 5. 6.
В Студии есть аналогичный атрибут: _Printf_format_string_. И там ещё куча атрибутов, другое дело что активация этого анализатора кода у меня сборку проекта замедляет в шесть раз. И начинают лезть предупреждения на сторонние библиотеки. Не знаю что делать с этим. ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 11:22 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky Dimitry Sibiryakov А может, всё-таки проще компилятор сменить? Что вы так к убогой студии привязались?.. Я так понял что помимо printf надо будет реализовать нестандартные форматы, и смена компилятора тут не поможет. Да... вот только... Код: plaintext 1. 2. 3. 4. 5.
Собственная compile time проверка формата с преобразованием значений в run time имела бы смысл в таких случаях: Код: plaintext 1. 2. 3. 4.
Смутные сомнения об overengineering меня, конечно, терзали с самого начала... ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 12:29 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Смутные сомнения об overengineering меня, конечно, терзали с самого начала... на мой взгляд для type rich кода следует использовать operator "" с собственными суффиксами для типов и перегрузку operator <<, а не измываться над printf, который уже много раз предавали анафеме ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 12:49 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav Смутные сомнения об overengineering меня, конечно, терзали с самого начала... на мой взгляд для type rich кода следует использовать operator "" с собственными суффиксами для типов и перегрузку operator <<, а не измываться над printf, который уже много раз предавали анафеме ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 12:50 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Cerebrum petrav Смутные сомнения об overengineering меня, конечно, терзали с самого начала... на мой взгляд для type rich кода следует использовать operator "" с собственными суффиксами для типов и перегрузку operator <<, а не измываться над printf, который уже много раз предавали анафеме Вы имеете в виду операторы в стиле "123.4_rad" ? Да, штука хорошая, но это уже про написание литералов, а не про печать данных. Вообще, анафеме нужно предать библиотеку <iostream>. Совершено непонятно о чём думали люди которые это проектировали. Ведь были же все языковые инструменты, что бы разработать type safe форматирование строк в стиле "printf()" -- как это сделали в "QString" и "boost::format", например. Впрочем, C++ это язык для создания велосипедов и костылей. Может они неосознанно так проектировали <iostream>, что бы пользователей спровоцировать к творчеству через шок. Кстати, Страуструп, собственно, и писал, что C++ проектируется так, что бы пользователи могли расширять язык своими типами. Видимо многоуважаемый Бьёрн передал эту мысль другим проектантам и они накосячили не осознанно. А может и осознанно... ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 16:48 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav, Посмотрите еще на тему форматирования 1 https://en.cppreference.com/w/cpp/utility/format 2 https://github.com/fmtlib/fmt (в т.ч. имплементация std::format) 3 https://github.com/mpark/format ... |
|||
:
Нравится:
Не нравится:
|
|||
04.05.2020, 21:43 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky petrav, Посмотрите еще на тему форматирования 1 https://en.cppreference.com/w/cpp/utility/format 2 https://github.com/fmtlib/fmt (в т.ч. имплементация std::format) 3 https://github.com/mpark/format Спасибо, завтра начну изучать. Кстати, я тут нашёл простейший приём, который решает все проблемы: Код: plaintext 1. 2. 3. 4.
Просто и ясно. Студия тут же начинает выдавать предупреждения о неправильности формата и аргуменов. Правда тут же ломается перегрузка по теме printf()/wprintf(). ... |
|||
:
Нравится:
Не нравится:
|
|||
05.05.2020, 19:14 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
petrav Код: sql 1. 2. 3. 4.
Просто и ясно. Студия тут же начинает выдавать предупреждения о неправильности формата и аргуменов. Правда тут же ломается перегрузка по теме printf()/wprintf(). Кстати, вот я уверен, что на таком коде PVS Studio сейчас в позу встанет и начнёт сыпать предупреждениями. Что ещё нужно сделать, что бы просто начать программировать на C++, а не прорываться сквозь строй косяков? ... |
|||
:
Нравится:
Не нравится:
|
|||
05.05.2020, 21:10 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky Пока Студия 2019 не поддерживает C++ 20. Anatoly Moskovsky 2 https://github.com/fmtlib/fmt (в т.ч. имплементация std::format) В этой библиотеке compile time check не работает как нужно. Что-то проверяет, но вот это компилируется, хотя оно и неверно: Код: plaintext 1.
Я уж не говорю о том, что "FMT_STRING" -- это макрос. Anatoly Moskovsky Библиотека уже три года не поддерживается, не думаю что там есть какое-то откровение. ... |
|||
:
Нравится:
Не нравится:
|
|||
06.05.2020, 11:25 |
|
Вариативные шаблоны C++ и вариативные функции Си
|
|||
---|---|---|---|
#18+
Anatoly Moskovsky petrav Господа, нам осталось решить одну проблему: как в одном вызове совместить и статическую проверку данных и динамическую печать данных? Желательно найти выход без макросов. Неужели выхода нет?! :-((( Вот псевдокод, он не компилируется: Чтобы применить static_assert к выражению, все его составляющие должны быть известны на этапе компиляции. В частности это означает что строка формата не может быть аргументом функции, а должна быть передана как аргумент шаблона. Поэтому без макроса нельзя обойтись если вы хотите чтобы для юзера все выглядело как обычная функция. Это я понимаю, но как же строку передать как аргумент шаблона? Гуглинг не помог, есть решения в стиле Boost.MPL, но там такие костыли и жесть нереальная. Ну и макросы. Я не думаю, что это хороший дизайн. Т.е. резко превышен болевой порог в плане костылизма. Если явно строку не поместить как глобальную константу, то, видимо, её и нельзя передать как аргумент шаблона. По крайней мере по человечески. В принципе можно отступить от стандартного printf() style. Например так: Код: plaintext 1.
Но я думаю это невозможно. Если Вы забыли, напомню. Предлагается что бы заработал такой код: Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.
... |
|||
:
Нравится:
Не нравится:
|
|||
06.05.2020, 17:18 |
|
|
start [/forum/topic.php?all=1&fid=57&tid=2017436]: |
0ms |
get settings: |
10ms |
get forum list: |
14ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
35ms |
get topic data: |
9ms |
get forum data: |
3ms |
get page messages: |
73ms |
get tp. blocked users: |
1ms |
others: | 11ms |
total: | 164ms |
0 / 0 |