Ну там выберите C++, скопируйте свой код и запустите

Ты не можешь так сделать дальше что?

Юзай обвчный

И пиши его уже на выходе в югик

В чем проблема

А если функция до return бросит иксепшн

Ну с одним знаком, то вы сделали

Из за этого вводить какую-то дичь с меняющимися в рантайме квалификаторами кощунство

А если функция до return бросит иксепшн

А что она должна тут делать тогда?

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

Всем алоха

Не в рантайме, все мои квалификаторы работают только в компильтайме

Конструктора нет

Пришлите код

А что она должна тут делать тогда?

В случае с квалификаторами затребовать деструктор без квалификатора енжуредналл

/stat@combot

Ну как я тебе помогу?

В случае с квалификаторами затребовать деструктор без квалификатора енжуредналл

Квалификаторы ты как выставлять собрался

В зависимости от данных чтоь

Это уже не компильтайм

Ну смотри эксепшн дальше квалификатор меняется?

Квалификаторы ты как выставлять собрался

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

Любое объединение ветвления убирает все не общие квалификаторы

Что происходить при эксепшне должно

Все штуки с исключениями по сути ветвления

А кто можешь проконсультировать на тему visual studio и стандарта?

Внутри ветвлений разные квалификаторы?

Могут быть разные в ветвлениях

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

Да

Ну и

Но если я гарантирую ноуэксепт от получения параметра до ретерна мувом

Ветвлений нет

Господа

И я только что формально доказал, что я никогда не буду удалять юник птр

Но этот инстанс продублировался где-то в ветвлениях где они есть

С разными квалификаторами входа

Если ветвления есть нужны пруфы всех веток, разумеется

Но код получить юник птр на инкомплит тайп и тут же вернуть его мувом будет работать

А при входе в ветвление проверка в рантайме?

Если нет то я нихрена не понял если да то это кастом можно заменить

А при входе в ветвление проверка в рантайме?

Нет ни одной проверки в рантайме от компилятора, например

Есть qualifier_ensure_or_terminate() явная проверка, вызывающая терминейт

При провале

Тогда там вообще все типами заменяется насколько я понял

Без кастов

Нет, это нельзя сделать типами без кастов, потому что ты никогда не сможешь написать тот самый пример с юник поинтерами)

Типом с null и nonnull

Сможешь

Как?

2 функции/шаблон

Угу, но нужен еще рекаст ссылки

Не нужен

Ты никогда просто не теряй эту инфу о типах и все

Как? Я получил класс, который ведет себя как нотналл юник птр, аргмуентом функции

Мне нужен виртуальный делитер как минимум

И

И теперь эксепшон сейфети

Как я его добьюсь?

Ты не можешь юзать конструктор не зная про деструктор

Встречный вопрос как ты этого добъешься в компильтайме я не понял

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

В компильтайме без модификации компилятора я не могу модифицировать квалификаторы

С модификацией любой

С модификацией у меня у переменной тупо список квалификаторов

Эксепшн это рантайм

Который влияет на разрешение перегрузок

Это в любом случае проверка в рантайме

Это не компильтайм

Нет, это статическая информация, слабая часть типа переменной

Нет

Она может быть модифицирована оператором

Блин напиши псевдокод

Короче компилятору говорят, что у юникптр есть квалификатор энжуредналл, он верен в случае нулевого внутреннего указателя, мувконструктор модифицирует принятую ссылку, дописывая энжуредналл, есть перегруженная версия деструктора для энжуредналл, которая не делает ничего

Как узнать что указатель нулевой

И стд::мув не меняет квалификаторы

Блин опять не туда

С эксепшнами то чтт

Что происходит при эксепшне

Теперь компилируется функция, которая принимает аргумент и возвращает мувом. Мув придется делать встроенным чтобы было все ок, потому как компилятор должен протащить имя переменной, или тут нужен какой-то чит. Вызывается конструктор перемещения, его параметру довешивают энжуредналл, в итоге на выходе функции параметр функции энжуредналл и вызван деструктор делать ничего