
Добрый
16.06.2017
22:06:37
Всем привет

Constantine
16.06.2017
22:06:44
Либо нет квалификатора

Добрый
16.06.2017
22:07:17
Народ кто-то может мне помочь?

Constantine
16.06.2017
22:07:25
Например, под ифом у меня есть формальное доказательство квалификатора

Google

Aidar
16.06.2017
22:07:26
Ты можешь квалификатор заменить типами с кастами
Сам квалификатор не нужен

Azoyan
16.06.2017
22:07:33

Constantine
16.06.2017
22:07:34
Не могу

Aidar
16.06.2017
22:07:42
Можешь

Alex
16.06.2017
22:08:01

Constantine
16.06.2017
22:08:02
Могу уничтожив тип от слова совсем

Aidar
16.06.2017
22:08:15
Зачем

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

Aidar
16.06.2017
22:08:41
Что ты не можешь сделать с типами

Constantine
16.06.2017
22:08:46
Осознай это

Azoyan
16.06.2017
22:08:55

Alex
16.06.2017
22:08:58
А. С бник птр есть такая проблем

Google

Aidar
16.06.2017
22:09:10

Constantine
16.06.2017
22:09:11
Даже если у меня есть доказательство, что я никогда не вызову делит

Aidar
16.06.2017
22:09:21
Вот как раз другой тип

Alex
16.06.2017
22:09:21

Constantine
16.06.2017
22:09:24
Тогда я обязан потерять информацию о типе

Aidar
16.06.2017
22:09:39
О каком

Azoyan
16.06.2017
22:09:39

Aidar
16.06.2017
22:09:44
Какую информацию

Constantine
16.06.2017
22:09:53
Я получаю указатель типа юник птр

reagentoo
16.06.2017
22:10:02
божеж ты мой сколько опять нафлудили

Aidar
16.06.2017
22:10:05
Это уже неправильно
У тебя вызовется деструктор

Constantine
16.06.2017
22:10:19
Считай это инпутом

Aidar
16.06.2017
22:10:27
Дальше что

Добрый
16.06.2017
22:10:39
Вообще вопрос легкий (но не для меня). Я сделал калькулятор который может решать примеры только с одним знаком и я не могу сообразить как расширить до 4 (+,-,•,:)

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

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

Aidar
16.06.2017
22:11:14
Удалить указатель?

Constantine
16.06.2017
22:11:15
Как мне написать такой код на плюсах?

Добрый
16.06.2017
22:11:16

Google

Azoyan
16.06.2017
22:11:27

Constantine
16.06.2017
22:11:36
Ну если параметр функции юник птр семантически одно из двух

Aidar
16.06.2017
22:11:39
Тоесть ты либо инвалидный юник принтер возвращаешь либо тот же самый
Дальше что

Constantine
16.06.2017
22:12:00
Либо я его запишу, либо я его удалю

Aidar
16.06.2017
22:12:17
Ты должен что-то вернуть

Constantine
16.06.2017
22:12:26
О чем ты вообще

Azoyan
16.06.2017
22:12:53

Aidar
16.06.2017
22:12:57
Кинь код короче

Добрый
16.06.2017
22:13:04

Constantine
16.06.2017
22:13:06
Я же кидал

Aidar
16.06.2017
22:13:13
Там обрывки

Aidar
16.06.2017
22:13:18
С километрами фраз

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

Azoyan
16.06.2017
22:13:40

Aidar
16.06.2017
22:13:49
Ты не можешь так сделать дальше что?
Юзай обвчный

Добрый
16.06.2017
22:14:08

Aidar
16.06.2017
22:14:14
И пиши его уже на выходе в югик

Добрый
16.06.2017
22:14:25
У меня не выходить написать код

Google

Aidar
16.06.2017
22:14:28
В чем проблема

Добрый
16.06.2017
22:14:33
А не запустить

Constantine
16.06.2017
22:14:52
А если функция до return бросит иксепшн

Azoyan
16.06.2017
22:14:56

Aidar
16.06.2017
22:15:07
Из за этого вводить какую-то дичь с меняющимися в рантайме квалификаторами кощунство
У тебя деструктора а нет

Danila
16.06.2017
22:15:35
Всем алоха

Constantine
16.06.2017
22:15:35
Не в рантайме, все мои квалификаторы работают только в компильтайме

Admin
ERROR: S client not available

Aidar
16.06.2017
22:15:39
Конструктора нет

Добрый
16.06.2017
22:15:44

Azoyan
16.06.2017
22:15:52

Добрый
16.06.2017
22:16:12
Сейчас нет доступа к компу

Constantine
16.06.2017
22:16:24

Danila
16.06.2017
22:16:25
/stat@combot

Combot
16.06.2017
22:16:25
combot.org/chat/-1001031904034

Azoyan
16.06.2017
22:16:31

Добрый
16.06.2017
22:16:41
):

Aidar
16.06.2017
22:16:50

Google

Aidar
16.06.2017
22:16:57
В зависимости от данных чтоь
Это уже не компильтайм
Ну смотри эксепшн дальше квалификатор меняется?

Constantine
16.06.2017
22:17:46
Любое объединение ветвления убирает все не общие квалификаторы

Aidar
16.06.2017
22:18:50
Что происходить при эксепшне должно

Constantine
16.06.2017
22:18:50
Все штуки с исключениями по сути ветвления

Danila
16.06.2017
22:18:57
А кто можешь проконсультировать на тему visual studio и стандарта?

Aidar
16.06.2017
22:19:07
Внутри ветвлений разные квалификаторы?

Constantine
16.06.2017
22:19:18
Могут быть разные в ветвлениях

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

Constantine
16.06.2017
22:19:43
Да

Aidar
16.06.2017
22:19:48
Ну и

Constantine
16.06.2017
22:20:02
Но если я гарантирую ноуэксепт от получения параметра до ретерна мувом
Ветвлений нет

Danila
16.06.2017
22:20:20
Господа

Constantine
16.06.2017
22:20:41
И я только что формально доказал, что я никогда не буду удалять юник птр

Aidar
16.06.2017
22:21:09
Но этот инстанс продублировался где-то в ветвлениях где они есть
С разными квалификаторами входа

Constantine
16.06.2017
22:21:44
Если ветвления есть нужны пруфы всех веток, разумеется
Но код получить юник птр на инкомплит тайп и тут же вернуть его мувом будет работать

Danila
16.06.2017
22:22:39
/help@FailsBot