Т8
Если речь про memory-safety, то в языках с ГЦ и в том же расте - можно "писать безопасно", т.к. абстракции в них сильно меньше протекают
ffi есть? Значит, нельзя
Size: a a a
2020 February 29
Т8
Проблема в том, что в плюсах оно может зависеть т.к. подключение библиотеки идёт инклюдами.
каким образом сторонняя либа может зависеть от проекта, о котором ничего не знает?
DS
И ведь ты меня вчера ещё спрашивал, а как там с ABI у Ады.
Вопрос в том, что в плюсах без ffi ты можешь таких граблей насобирать на перечении умных указателей, неочевидных UB, всяких приколов move семантики и всяких lvalue rvalue xvalue glvalue prvalue, что будет огонь
DS
Т-34 85
каким образом сторонняя либа может зависеть от проекта, о котором ничего не знает?
Ты знаешь каким механизмом сторонние либы подключаются в c/с++?
С
Вопрос в том, что в плюсах без ffi ты можешь таких граблей насобирать на перечении умных указателей, неочевидных UB, всяких приколов move семантики и всяких lvalue rvalue xvalue glvalue prvalue, что будет огонь
Ну вот если ограничиваться взаимодействием через extern C, то такого не будет, конечно. Но и взаимодействие будет не оч.
DS
Как он работает с точки зрения компилятора и что происходит, когда ты делаешь #include?
Т8
Только его специализированные версии
правильно. Как они могут давать ошибку при компиляции?
Или тут намёк на хэдер, который идёт с либой? Так это твоя ошибка, что ты неправильно либу используешь, а не "со стороны либы"!
Или тут намёк на хэдер, который идёт с либой? Так это твоя ошибка, что ты неправильно либу используешь, а не "со стороны либы"!
Т8
И ведь ты меня вчера ещё спрашивал, а как там с ABI у Ады.
нет, я такого не спрашивал
DS
Т-34 85
правильно. Как они могут давать ошибку при компиляции?
Или тут намёк на хэдер, который идёт с либой? Так это твоя ошибка, что ты неправильно либу используешь, а не "со стороны либы"!
Или тут намёк на хэдер, который идёт с либой? Так это твоя ошибка, что ты неправильно либу используешь, а не "со стороны либы"!
Имеется в виду, что компилятор тебе выведет именно ошибки в глубине подключенного хедера от либы, а не твоего кода, где ты собственно и сделал ошибку.
Т8
Вопрос в том, что в плюсах без ffi ты можешь таких граблей насобирать на перечении умных указателей, неочевидных UB, всяких приколов move семантики и всяких lvalue rvalue xvalue glvalue prvalue, что будет огонь
можно. А можно и не насобирать
DS
Т-34 85
можно. А можно и не насобирать
Ну так проблема в том, что чтобы "можно и не насобирать" надо не хило времени угрохать на изучение именно подводных камней различных фич плюсов.
И это будут знания, которые вне плюсов вообще не актуальны.
И это будут знания, которые вне плюсов вообще не актуальны.
Т8
Ты знаешь каким механизмом сторонние либы подключаются в c/с++?
знаю. Есть объектный файл с хэдером, объектный линкуется с программой, а в хэдере описано, что можно дёргать
Т8
Как он работает с точки зрения компилятора и что происходит, когда ты делаешь #include?
тупо включаем содержимое файла. И? Как мой проект окажется внутри сторонней либы?
DS
Т-34 85
тупо включаем содержимое файла. И? Как мой проект окажется внутри сторонней либы?
Обьявления твоего проекта в хэдерах подключенных выше хедера либы могут создать проблемы для того, что будет описано в хедерах либы.
Т8
Имеется в виду, что компилятор тебе выведет именно ошибки в глубине подключенного хедера от либы, а не твоего кода, где ты собственно и сделал ошибку.
так так и надо писать, что "я неправильно использовал инфу в хэдере либы"
Т8
Ну так проблема в том, что чтобы "можно и не насобирать" надо не хило времени угрохать на изучение именно подводных камней различных фич плюсов.
И это будут знания, которые вне плюсов вообще не актуальны.
И это будут знания, которые вне плюсов вообще не актуальны.
такова селяви, другие языки не исключение
DS
Т-34 85
такова селяви, другие языки не исключение
Да, но в них этих знаний нужно на порядок меньше.
DS
В особенности, если речь про memory-safety и вопросы около него
Т8
Обьявления твоего проекта в хэдерах подключенных выше хедера либы могут создать проблемы для того, что будет описано в хедерах либы.
неправильный подход. Это не либа тебе что-то должна, а ты должен под неё подстраиваться
Т8
Да, но в них этих знаний нужно на порядок меньше.
я с этим не спорил