Рантайм проверки у меня уже есть

В дебаге

Там проверки на уровне каста типов

Мне не нужны рантайм проверки, я их умею писать руками

В расширениях джавы такое тоже есть

Тоже в рантайме

Пацаны, когда говорят рантайм С++, имеют ввиду что? Обёртку над исключениями? Что си плюс плюс ещё что-то генерит? Отличается чем-то от рантайма си?

У тебя как минимум будет проверка при создании этого указателя

Это тоже рантайм

Нет, оператор нью не может вернуть налл

Пацаны, когда говорят рантайм С++, имеют ввиду что? Обёртку над исключениями? Что си плюс плюс ещё что-то генерит? Отличается чем-то от рантайма си?

конечно. Стл же, к примеру. Type_info, exceptions, thread

Нет, оператор нью не может вернуть налл

Может)))

Может)))

Как?

Как?

/cppref nothrow

Search results for "nothrow" 1. std::nothrow 2. std::is_nothrow_swappable 3. std::is_nothrow_assignable 4. std::is_nothrow_destructible 5. std::is_nothrow_constructible 6. std::is_nothrow_copy_assignable 7. std::is_nothrow_move_assignable 8. std::is_nothrow_copy_constructible 9. std::is_nothrow_move_constructible 10. std::is_nothrow_default_constructible 11. std::experimental::is_nothrow_assignable_v 12. std::experimental::is_nothrow_destructible_v 13. std::experimental::is_nothrow_constructible_v 14. std::experimental::is_nothrow_copy_assignable_v 15. std::experimental::is_nothrow_move_assignable_v 16. std::experimental::is_nothrow_copy_constructible_v 17. std::experimental::is_nothrow_move_constructible_v 18. std::experimental::is_nothrow_default_constructible_v 19. throw expression

Type_info несёт какой-то оверхед?

Как?

int *a = new(std::nothrow) int[100500];

Там эксепшн упадет это фактически же не возврат

А

Мм

Не знал

Ладно, это не тот нью

Во время pre-C++98 new без этой шняги возвращал NULL при неудаче

Такой нью мне не нужен

Мой нью будет с экспешеном

Ага)

Мой нью будет с экспешеном

Ьери тогда обычный, и лови std::bad_alloc

Че-то тема съехала

Ага)

Чувак, а можно type info отключить как exception'ы?

Нет, оператор нью не может вернуть налл

Но ты можешь туда сунуть что-то что налл

У меня либо есть формальное доказательство квалификатора

Возможно с рантайм проверкой

Данные откуда берутся

И исключением

Либо нет квалификатора

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

Ты можешь квалификатор заменить типами с кастами

Сам квалификатор не нужен

Валяй!

Не могу

Можешь

Чувак, а можно type info отключить как exception'ы?

Если ты не юзаешь typeid и dynamic_cast, то можно не париться. А вообще в msvc видел такой переключатель

Могу уничтожив тип от слова совсем

Зачем

Потому что я не могу принять в функцию юник птр и не синтезировать делитер

Что ты не можешь сделать с типами

Осознай это

Если ты не юзаешь typeid и dynamic_cast, то можно не париться. А вообще в msvc видел такой переключатель

Получается только exceptionы делают С++ медленнее чистого Си

А. С бник птр есть такая проблем

Потому что я не могу принять в функцию юник птр и не синтезировать делитер

Не юзай его

Даже если у меня есть доказательство, что я никогда не вызову делит

Вот как раз другой тип

Получается только exceptionы делают С++ медленнее чистого Си

Говнокод обычно делает медленее))))

Тогда я обязан потерять информацию о типе

О каком

Говнокод обычно делает медленее))))

Ну это понятно

Какую информацию

Я получаю указатель типа юник птр

божеж ты мой сколько опять нафлудили

Это уже неправильно

У тебя вызовется деструктор

Считай это инпутом

Дальше что

@webreh может покажешь хотя бы приблизительно что ты хочешь на сниппете в melpon например?

Я получаю указатель который обязан удалить либо вернуть с пруфами

Удалить указатель?

Как мне написать такой код на плюсах?

Кинь ссылку на ideone.com

Ну если параметр функции юник птр семантически одно из двух

Тоесть ты либо инвалидный юник принтер возвращаешь либо тот же самый

Дальше что

Либо я его запишу, либо я его удалю

Ты должен что-то вернуть

О чем ты вообще

Либо я его запишу, либо я его удалю

Я правильно понимаю ты хочешь вернуть unique ptr из функции?)

Кинь код короче

Я же кидал

Там обрывки

С километрами фраз

Я хочу написать функцию, которая примет и вернет юник птр на инкомплит тайп