D
я, если честно, не в курсе.
Ну подмножество С++ это все же С++
Size: a a a
2021 March 31
D
А где это в стандарте сказано?
Не смог найти
Мне @lazerate показывал
Мне @lazerate показывал
MM
MT
А где это в стандарте сказано?
Но, положа руку на сердце, если даже нигде явно не сказано (а диггерить в стандарте это скоро увлекательным времяпрепровождением станет), то вот этим: https://isocpp.org/std/standing-documents/sd-6-sg10-feature-test-recommendations они по сути сказали, вот вам тест макросы, хотите фичу, проверяйте. Т.е. даже чётко положиться на версию в __cplus_plus нельзя :) что бы понять, что можно, а что низя.
DK
Это ж не про Аду вопрос, а про SPARK?
Да, про Спарк. Я просто когда-то давно играл со Spin, но все это выглядело не очень юзабельно в реальной жизни. Интересно, решили ли это в Спарке/Аде...
AV
А верификатор в gcc есть или он тоже за чемодан денег?
Вот верификатор: https://github.com/AdaCore/spark2014
AV
Верификатор для SPARK'a (SPARK это, грубо говоря, верифицируемое на этапе компиляции подмножество Ады (с некоторыми дополнительными фичами-подсказками для верификатора))
D
Но, положа руку на сердце, если даже нигде явно не сказано (а диггерить в стандарте это скоро увлекательным времяпрепровождением станет), то вот этим: https://isocpp.org/std/standing-documents/sd-6-sg10-feature-test-recommendations они по сути сказали, вот вам тест макросы, хотите фичу, проверяйте. Т.е. даже чётко положиться на версию в __cplus_plus нельзя :) что бы понять, что можно, а что низя.
Так мы же про то, что стандарт С++ разрешает расширения, чтобы это оставалось программой на С++
DK
Верификатор для SPARK'a (SPARK это, грубо говоря, верифицируемое на этапе компиляции подмножество Ады (с некоторыми дополнительными фичами-подсказками для верификатора))
Интересно, спасибо, надо глянуть :)
G
Добрый день,кто может помочь с простой задачей в scratch?
MM
MM
А где это в стандарте сказано?
AV
Ага. Хорошо, что там ограничения на расширения присутствуют.
MT
Даа
тут можно докопаться к "they do not alter the behavior of any well-formed program.", т.е. отмена new, throw вроде как меняет поведение... с другой стороны, оно и не собирается после отмены)
G
Добрый день,кто может помочь с простой задачей в scratch?
я думаю, что другая группа про-C++ лучше подходит для этого
D
тут можно докопаться к "they do not alter the behavior of any well-formed program.", т.е. отмена new, throw вроде как меняет поведение... с другой стороны, оно и не собирается после отмены)
Так это про расширения
MT
я, как обычно, про обратное)))
SP
Gabriele
я думаю, что другая группа про-C++ лучше подходит для этого
здесь рождается доклад
D
А если мы напишем программу на С++ с отключенными исключениями и скомпилим с включенными, она должна работать также