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

/help@FailsBot

USAGE: /help - prints this message; /vzhuh [message] - do vzhuh; /start - info about bot.

/help@FailsBot

USAGE: /help - prints this message; /vzhuh [message] - do vzhuh; /start - info about bot.

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

/vzhuh test

∧＿∧ ( ･ω･｡)つ━☆・*。 ⊂　 ノ 　　　・゜+. しーＪ　　　°。+ *´¨) 　　　　　　　　　.· ´¸.·*´¨) ¸.·*¨) 　　　　　　　　　　(¸.·´ (¸.·'* ☆ test

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

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

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

При провале

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

Без кастов

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

Типом с null и nonnull

Сможешь

Как?

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

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

Не нужен

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

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

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

И

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

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

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

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

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

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

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

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

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

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

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

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

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

Нет

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

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

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

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

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

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

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

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

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

Пока все делается двумя классами/шаблоном с 2 инстансами

Эксепшон с точки зрения компилятора является чем-то вроде свитча в конце функции с пробросом, там логика не меняется

Логика ветвления общая - убить все не общие квалификаторы в ветках

Что с инкомплитом эксепшном и ноннулом

Еали эксепшн может быть синтезирован до конструктора перемещения, в этот момент переменная была без энжуредналла и поэтому в моментвыхода функции с удалением аргумента функции квалификатора энжуредналл нет

Тоесть все что без noexcept меняет квалификатор?

Нет, просто формально вот так. Нет никакой проблемы с броском эксепшена после перемещения

Тоесть всё-таки да

Забудь про перемещение

Перемещение можно заменить другой переменной

Короче это все ещё делается на двух классах только тебе нужно всего лишь переписать всю стд

Ну или дописать

Не понимаю, как ты реализуешь фишку с ноуэксепт до возврата, честно

Забудь про возврат

Это делается просто перемещением в нужный тип

?

Вместо смены квалификатора перемещение в нужный тип

Трассировка переменных не нужна

Мы не теряем тип

ERROR: S client not available

Ты же понимаешь, что я неявно проверю, может ли код до некоторого оператора выбросить исключение?

Это не нужно делать

Если каждый не noexcept меняет квалификатор

Просто возвращаем новый тип

Тогда ты не можешь гарантировать, что ты не вызываешь удаление

Но это реально на функциональщину смахивает

Тогда ты не можешь гарантировать, что ты не вызываешь удаление

Типа 2

С разным поведением

Хм... указатель тебе во владение отдали

Да ты переписал все и у тебя 2 указателя

Один nonnull

Второй null

Фактически вместо того, чтобы доказать, что ты не удаляешь указатель, ты пофиксишь, добавив возможность его удалить

А вот кстати нормально эксепшны в этом случае завести нельзя пока

Синтаксиса нет

У меня нарушение квалификатора ошибка уровня можно терминейт

Точнее noexcept

Пользовательский ввод получает квалификаторы под ифом всегда

if (ensure_cast(input, notnull)) { call(); }

И вообще все квалификаторы эти задуманы как средство формальных доказательств, а не рантайм чеки

Ребята, приветствую! На интересный проект срочно нужен разработчик C++ с практическим опытом написания драйверов под PCI-E. Если есть знания Verilog - вообще замечательно. Заинтересованных прошу обращаться в ЛС с резюме (вакансий вообще несколько, большинство приватны - в паблике не найдете). ?

тебе на хх.ру

если ты конечно, не малварь пилишь

если ты конечно, не малварь пилишь

Не малварь, проект серьезный ) На ХХ нужных кандидатов нет, увы (могу судить со слов исключительно, т.к. если бы они там были, в любом случае ко мне бы не обратились).

Ребята, приветствую! На интересный проект срочно нужен разработчик C++ с практическим опытом написания драйверов под PCI-E. Если есть знания Verilog - вообще замечательно. Заинтересованных прошу обращаться в ЛС с резюме (вакансий вообще несколько, большинство приватны - в паблике не найдете). ?

Просьба соблюдать правила чата: все вакансии в личку @AlexFails

Просьба соблюдать правила чата: все вакансии в личку @AlexFails

Прошу прощения :( Поскольку уже опубликовала - может пропустят? ;) На будущее буду знать. Обычно правила в пине прикрепляют, а у вас они оказывается в инфо висят.

24-26 августа в Томске на территории Томского государственного университета пройдёт конференция C++ Siberia 2017. Нулевой день конференции (24 августа) отведен для мастер-классов. В первый день (25 августа) состоится регистрация участников и открытие конференции. Открывать конференцию будет Ivan Cukic: аспирант кафедры Comuter Science университета Белграда, активный контрибьютор проекта KDE, автор книги Functional Programming in C++. Завершает первый день общение в неформальной обстановке. Второй день конференции (26 августа) будет открывать Александр Фокин: председатель российской рабочей группы по стандартизации С++, руководитель службы разработки поисковых компонент компании Яндекс. Подать заявку на доклад можно до 15 августа 2017 года на talks@cpp-russia.ru или здесь. Продолжительность доклада не должна превышать 50 минут (с учетом вопросов). Мы рады докладам о C++ (в том числ 2x), STL, Boost, Qt, любых других библиотеках, тестировании и сборке крупных проектов на С++, асинхронности и конкурентности, метапрограммировании, etc. Если у Вас есть вопросы, пишите нам. Регистрация на конференцию: http://cpp-russia.ru/?p=1379 Конференция проходит при поддержке Томского государственного университета и компаний Яндекс и Инфотекс.

ребята, подскажите чат по swift'у

ребята, подскажите чат по swift'у

https://telegram.me/ios_ru

https://telegram.me/ios_ru

а если мне нужно про гуй на маке (на десктопе)?

а если мне нужно про гуй на маке (на десктопе)?

:( там подскажут, главное вопросы предметно задавай