суть правильных языков

Друзья, преимущества хаскеля вы можете обсудить в хаскелечате.

тогда можно доказательство, что код на хаскелле занимает в объеме в 100 раз меньше, чем аналогичный на плюсах

Друзья, преимущества хаскеля вы можете обсудить в хаскелечате.

и давно у тебя здесь мигалка?

и тогда 1М кода на хаскеле

Друзья, преимущества хаскеля вы можете обсудить в хаскелечате.

Там строго

Там строго

Так и тут строго!

и давно у тебя здесь мигалка?

Сколько себя помню.

Из Хаскельчата

в любом случае, здесь действительно чат по плюсам, и я не понимаю, в чем сложность модификации аналога сv-qualifier для типа уже объявленной переменной (с точки зрения компилятора)

особенно если добавить условие, что на выходе из блока сбрасываются все не общие

Видимо, я не понял всей глубины проблемы, чтобы дать хоть какой-то вариант идиоматичного воркэраунда.

Так и тут строго!

@AlexFails, срочно нужен @pro.cxx.overdominates.haskell

Видимо, я не понял всей глубины проблемы, чтобы дать хоть какой-то вариант идиоматичного воркэраунда.

Его не существует. Я не могу модифицировать вызываемый деструктор или факт его вызова.

в C++ принципиально не существует кода, который для объявленной в блоке переменной типа std::unique_ptr<SomeType> не инстанцирует вызов deleter в конце этого блока

в частности, поэтому я не могу написать следующую функцию std::unique_ptr<IncompleteType> JustReturn(std::unique_ptr<IncompleteType> input){ return std::move(input); }

в C++ принципиально не существует кода, который для объявленной в блоке переменной типа std::unique_ptr<SomeType> не инстанцирует вызов deleter в конце этого блока

А он не заинлайнится в пустоту? Он же может понять что там nullptr лежит и внутрь if заходить не надо.

А он не заинлайнится в пустоту? Он же может понять что там nullptr лежит и внутрь if заходить не надо.

Компилятор это может сделать, но не обязан

И не может

Он обязан вызвать деструктор

Он обязан вызвать деструктор unique_ptr, который может заинлайниться, как пустой

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

Он обязан вызвать деструктор unique_ptr, который может заинлайниться, как пустой

Компилятор не может не инстанцировать вызов деструктора, при компиляции деструктора не может не инстанцировать вызов deleteter

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

Насколько отрубить, что ничего по факту не останется. Но гарантировать это нельзя

Это значит, что будет по умолчанию инстанцирован delete для IncompleteType*

Компилятор не может не инстанцировать вызов деструктора, при компиляции деструктора не может не инстанцировать вызов deleteter

Это да. Но кого это волнует?

А, понял

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

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

Нафига оно надо

Не хочешь вызов деструктора зачем тебе умный указатель

Не понимаю смысла user defined qualifiers

У нас же есть шаблонные параметры

Вроде гдет в последних стандартах видел delete defaulte и тд

Для конструкторов класса вроде тоже можно

Это си++11

А у нас снвоа некромантия?

Нет тут ваще дикая упоротостт

Чтобы понять нужно читать сначала

Че он хочет по человечески кто понял раскидайте

Он хочет инкомплит тип сунуть в юник поинтер

Чтобы деструктор не вызывался

А зачем он это хочет?

Похоже на какой-то грязный хако-велосипед

Он хочет инкомплит тип сунуть в юник поинтер

что подразумевается под инкомплитом?

Форвард декларейшн

как можно инкомплит передать в шабон в принципе...

Как указатель имхо

Правда есть проблемы....

и я хочу, чтобы { unique_ptr ptr = nullptr; } //deleter не вызван и не инстанцирован

.

Похоже на какой-то грязный хако-велосипед

на таких хаках плюсы и держатся)

на таких хаках плюсы и держатся)

да уж

я не говорю, что конкретно этот случай нормальный, я про общий подход

пока подобные хаки возможны, не нужно внедрять альтернативы)

я не говорю, что конкретно этот случай нормальный, я про общий подход

Ты напиши зачем тебе вообще оно надо

мне это не надо

лично у меня и так все хорошо :)

Как указатель имхо

https://wandbox.org/permlink/P2i1lzUIPlOPjiaw

низя

можно

как

у тебя там ошибка синтаксиса

ты не указал переменную

название

как

template<typename T> struct foo { T* p; }; class incomplete; int main() { foo<incomplete> f; }

Value<Incomplete*> pp;

должно быть так

а у тебя было Value<Incomplete*>;

Value<Incomplete*> pp;

точно

как можно инкомплит передать в шабон в принципе...

так-то это на каждом шагу, например, pimpl: // foo.h class fooimpl; class foo { .... std::unique_ptr<fooimpl> pimpl; }; // foo.cpp class fooimpl {} ...

вон чо

Я хочу не просто чтобы удаление не вызвалось, я хочу перегрузки по user defined qualifiers

если можно задетектить инкомплит по sfinae, то не вижу проблемы

Я хочу не просто чтобы удаление не вызвалось, я хочу перегрузки по user defined qualifiers

Это шаблонные параметны

То же самое

Нельзя это реализовать шаблонами, я же запруфал

Чем запруфал

Нужно обязательно иметь возможность изменять квалификатор типа после объявления переменной

А ты можешь так сделать с обычными св?

Нет