Здравствуйте, Videoman, Вы писали:

NB>>код?

V>В строчке 496 именно в VS2013 после копирования optCopy == 1, а не 1234. Я сейчас не очень красиво выгляжу, но я что-то не могу найти online компилятор для VS2013, и не могу вам это наглядно показать.
V>На VS2015, VS2017, VS2019 на GCC которые мне доступны ваше исправления отлично работает. В случае копирования optional вызывается оператор копирования, как я и ожидал. Я склоняюсь к тому что это опять глюк компилятора VS2013. На ней при копировании вызывается optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>*) с параметром шаблона optional<int> ???

возможны два варианта

1. заменить
optional& operator=(optional that) noexcept;
на
optional& operator=(const optional& that) noexcept;
optional& operator=(optional&& that) noexcept;

2. заменить (пишу на глаз)
std::decay_t<compatible_t<OtherType>>*
на
std::enable_if_t< compatible_v<OtherType> && !std::is_same_v<optional, std::decay_t<OtherType>> >*

Здравствуйте, Videoman, Вы писали:

V>Здравствуйте, rg45, Вы писали:

V>Вот, постарался как можно более компактно изобразить проблему.

V>Строчка 489 — не правильно разрешается перегрузка в случае std::optional, пока не могу понять почему. Буду очень признателен если вы посоветуете как наиболее минимальными изменениями можно это пофиксить.
V>Не спрашивайте почему используется собственная реализация std::optional, но хотелось бы, по возможности, сейчас использовать именно ее .


замени

        template <typename OtherType = Type>
        optional(compatible_t<OtherType>&& value) noexcept;

на

        template <typename OtherType = Type>
        optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>* ptr = 0) noexcept;

Здравствуйте, night beast, Вы писали:

NB>возможны два варианта

NB>1. заменить
NB>optional& operator=(optional that) noexcept;
NB>на
NB>optional& operator=(const optional& that) noexcept;
NB>optional& operator=(optional&& that) noexcept;

NB>2. заменить (пишу на глаз)
NB>std::decay_t<compatible_t<OtherType>>*
NB>на
NB>std::enable_if_t< compatible_v<OtherType> && !std::is_same_v<optional, std::decay_t<OtherType>> >*

Исправилось! Заменил compatible_t на такое:

template <typename OtherType>
using compatible_t = std::enable_if_t<
std::is_constructible<Type, std::remove_cv_t<OtherType>&&>::value && !is_same<optional, std::decay_t<OtherType>>::value, std::decay_t<OtherType>>;

Что исключило подстановки optional<OtherType> вместо оператора копирования.
Спасибо вам огромное!

P.S. Скорее бы переползти на C++17

Есть некий класс, условно Container, который хранит в себе разные другие типы, наподобие variant.
Что хотелось бы получить синтаксически:

const Container cont1 = double()
const Container cont2 = int();
const Container cont3 = string();
const Container cont4 = SomeClass();
// и т.д.

const double v1 = cont1;
const int v2 = cont2;
const string v3 = cont3;
const SomeClass v4 = cont4;
// и т.д.

//...

Казалось бы, задачу можно решить определив оператор приведения типа у класс Container, но вышеописанные выражения являются вызовами конструкторов инициализации, а следовательно у классов со сложными конструкторами (типа string) сначала срабатывают перегрузки конструкторов, а не операторов приведения типа. Следовательно нужная схема не работает. Как-нибудь просто можно решить задачу в рамках современного С++ ?

Здравствуйте, Videoman, Вы писали:

V>Казалось бы, задачу можно решить определив оператор приведения типа у класс Container, но вышеописанные выражения являются вызовами конструкторов инициализации, а следовательно у классов со сложными конструкторами (типа string) сначала срабатывают перегрузки конструкторов, а не операторов приведения типа. Следовательно нужная схема не работает. Как-нибудь просто можно решить задачу в рамках современного С++ ?

Все должно работать, лишь бы только не возникало коллизии между разными пользовательскими преобразованиями. Единственное что, наверное, операторы преобразования стоит объявлять явными (с ключевым слово "explicit"), ну и инициализацю оформлять через скобки, а не через знак присваивания.

Вот: https://ideone.com/xRSCq8

Здравствуйте, rg45, Вы писали:

Вот, постарался как можно более компактно изобразить проблему.

Строчка 489 — не правильно разрешается перегрузка в случае std::optional, пока не могу понять почему. Буду очень признателен если вы посоветуете как наиболее минимальными изменениями можно это пофиксить.
Не спрашивайте почему используется собственная реализация std::optional, но хотелось бы, по возможности, сейчас использовать именно ее .

Самом деле проблема глубже, на мой взгляд. Любой класс внутри контейнера который принимает один шаблонный параметр без explicit, будет пытаться вызывать конструктор инициализации вместо оператора приведения типа контейнера. Если я ошибаюсь поправьте меня.

P.S. Я в курсе что моя реализация optional сильно урезана и во многом не соответствует стандарту, но от нее много и не требуется. По ряду причин, я не могу использовать сторонние библиотеки (boost и т.д.) и пока-что, на данной итерации, мы все еще используем VS2013, где нет optional. Со стандартным optional из поставки VS2017 ваш пример работает. В будущем после переходе на C++17 все заработает, но нужно что-то предпринять сейчас.

Здравствуйте, Videoman, Вы писали:

V>Вот, постарался как можно более компактно изобразить проблему.

V>Строчка 489 — не правильно разрешается перегрузка в случае std::optional, пока не могу понять почему. Буду очень признателен если вы посоветуете как наиболее минимальными изменениями можно это пофиксить.

Ну это понятно почему — в цепочке присутствуют два последовательных пользовательских преобразования — оператор приведения Container и преобразующий конструктор optional, тогда как стандарт позволяет только одно. Тут нужна либо специализированная конвертирующая функция, либо явное преобразование к int:

const std::optional<int> v5(int(cont5));

Здравствуйте, rg45, Вы писали:

R>Ну это понятно почему — в цепочке присутствуют два последовательных пользовательских преобразования — оператор приведения Container и преобразующий конструктор optional, тогда как стандарт позволяет только одно. Тут нужна либо специализированная конвертирующая функция, либо явное преобразование к int:

R>

R>const std::optional<int> v5(int(cont5));
R>

Ну вот мне пока не очень понятно . Почему в той же ситуации стандартный std::optional работает как и ожидается ? Там как-то хитро объявляется преобразующий конструктор optional(U&&), если я правильно вас понял. И потом:

const std::optional<int> v5(int(cont5));

совсем не тоже самое что:

const std::optional<int> v5(cont5);

Здравствуйте, night beast, Вы писали:

NB>замени
NB>

NB>        template <typename OtherType = Type>
NB>        optional(compatible_t<OtherType>&& value) noexcept;
NB>

NB>на
NB>

NB>        template <typename OtherType = Type>
NB>        optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>* ptr = 0) noexcept;
NB>

Ой, что-то я сомневаюсь, что это поможет — с учетом того, что compatible_t реализован через is_constructible. Заколдованный круг же.

Здравствуйте, rg45, Вы писали:

NB>>на
NB>>

NB>>        template <typename OtherType = Type>
NB>>        optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>* ptr = 0) noexcept;
NB>>

R>Ой, что-то я сомневаюсь, что это поможет — с учетом того, что compatible_t реализован через is_constructible. Заколдованный круг же.

по крайней мере компилер не ругается
в первом конструкторе вообще смысла немного, т.к. сфинае не работает.
к томуже is_constructible к другому типу идет

Здравствуйте, night beast, Вы писали:

NB>замени
NB>

NB>        template <typename OtherType = Type>
NB>        optional(compatible_t<OtherType>&& value) noexcept;
NB>

NB>на
NB>

NB>        template <typename OtherType = Type>
NB>        optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>* ptr = 0) noexcept;
NB>

Сработало!!! Вот спасибо вам большое! Был бы очень вам признателен если вы объясните ваше заклинание ???
Для себя, я так понимаю что мы накладываем определенные ограничения (концепт для бедных, так сказать) на передаваемый типы, и данный конструктор по SFINAE выпадает из части перегрузок, но хотелось бы понять точно в чем была моя ошибка.

Здравствуйте, Videoman, Вы писали:

V>Сработало!!! Вот спасибо вам большое! Был бы очень вам признателен если вы объясните ваше заклинание ???
V>Для себя, я так понимаю что мы накладываем определенные ограничения (концепт для бедных, так сказать) на передаваемый типы, и данный конструктор по SFINAE выпадает из части перегрузок, но хотелось бы понять точно в чем была моя ошибка.

compatible_t отсекает левые варианты, но чтобы оно сработало, ему нужно подать тип, который пришел из параметров.
находясь первым аргументом он этот тип никак не получит.
std::decay просто очищает тип от ссылки, чтобы можно было иметь указатель и не возиться с параметрами по умолчанию.

Здравствуйте, Videoman, Вы писали:

R>>Ну это понятно почему — в цепочке присутствуют два последовательных пользовательских преобразования — оператор приведения Container и преобразующий конструктор optional, тогда как стандарт позволяет только одно. Тут нужна либо специализированная конвертирующая функция, либо явное преобразование к int:

R>>

R>>const std::optional<int> v5(int(cont5));
R>>

V>Ну вот мне пока не очень понятно . Почему в той же ситуации стандартный std::optional работает как и ожидается ? Там как-то хитро объявляется преобразующий конструктор optional(U&&), если я правильно вас понял.

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

В твоем случае конструктор не подхватывается потому, что его шаблоныый параметр просто не может быть выведен (потому что тип параметра конструктора это просто завуалированный XXX<YYY>::type — в принцие невыводимая конструкция) А значит и сам конструктор в принципе не может быль использован.

Здравствуйте, night beast, Вы писали:

Я поспешил на счет исправления. Код теперь компилируется, но ломается operator=, т.к. теперь постоянно срабатывает конструктор приведения типа.

Здравствуйте, Videoman, Вы писали:

V>Я поспешил на счет исправления. Код теперь компилируется, но ломается operator=, т.к. теперь постоянно срабатывает конструктор приведения типа.

код?

Здравствуйте, rg45, Вы писали:

R>В твоем случае конструктор не подхватывается потому, что его шаблонный параметр просто не может быть выведен (потому что тип параметра конструктора это просто завуалированный XXX<YYY>::type — в принцие невыводимая конструкция) А значит и сам конструктор в принципе не может быль использован.

В поиске ответа я исхожу из того, что стандартный optional работает, значит есть кокой-то способ заставить этот синтаксис работать.
Мне кажется в стандартном optional конструктор преобразования optional(Other&& opt) не простой, а условный, он просто пропадает при разрешении перегрузки если мы пытаемся подать в конструктор optional не совместимый тип, и тогда уже срабатывает оператор преобразования типа, как-то так.

Здравствуйте, night beast, Вы писали:

NB>к томуже is_constructible к другому типу идет

Да, точно. Что-то туплю я.

Здравствуйте, Videoman, Вы писали:

R>>В твоем случае конструктор не подхватывается потому, что его шаблонный параметр просто не может быть выведен (потому что тип параметра конструктора это просто завуалированный XXX<YYY>::type — в принцие невыводимая конструкция) А значит и сам конструктор в принципе не может быль использован.

V>В поиске ответа я исхожу из того, что стандартный optional работает, значит есть кокой-то способ заставить этот синтаксис работать.
V>Мне кажется в стандартном optional конструктор преобразования optional(Other&& opt) не простой, а условный, он просто пропадает при разрешении перегрузки если мы пытаемся подать в конструктор optional не совместимый тип, и тогда уже срабатывает оператор преобразования типа, как-то так.

Ну если ты безусловно добавишь конструктор optional(Other&&) у тебя тоже все заработает. Весь фокус в том, чтобы корректно выбросить этот конструктор из рассмотрения для несовместимых типов. Способ, предложенный night beast должен работать.

Здравствуйте, night beast, Вы писали:

NB>Здравствуйте, Videoman, Вы писали:

V>>Я поспешил на счет исправления. Код теперь компилируется, но ломается operator=, т.к. теперь постоянно срабатывает конструктор приведения типа.

NB>код?

В строчке 496 именно в VS2013 после копирования optCopy == 1, а не 1234. Я сейчас не очень красиво выгляжу, но я что-то не могу найти online компилятор для VS2013, и не могу вам это наглядно показать.
На VS2015, VS2017, VS2019 на GCC которые мне доступны ваше исправления отлично работает. В случае копирования optional вызывается оператор копирования, как я и ожидал. Я склоняюсь к тому что это опять глюк компилятора VS2013. На ней при копировании вызывается optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>*) с параметром шаблона optional<int> ???

Здравствуйте, rg45, Вы писали:

R>Ну если ты безусловно добавишь конструктор optional(Other&&) у тебя тоже все заработает. Весь фокус в том, чтобы корректно выбросить этот конструктор из рассмотрения для несовместимых типов. Способ, предложенный night beast должен работать.

Да, это изначально и было моей идеей, но самому оказалось сложно правильно придумать такой "концепт".

Здравствуйте, Videoman, Вы писали:

V>Что исключило подстановки optional<OtherType> вместо оператора копирования.
V>Спасибо вам огромное!

а это нормально что

        new(&m_data) Type(std::forward<OtherType>(value));

при OtherType == std::optional
дает не то значение, что хранится в value?

Здравствуйте, night beast, Вы писали:

NB>а это нормально что
NB>

NB>        new(&m_data) Type(std::forward<OtherType>(value));
NB>

NB>при OtherType == std::optional
NB>дает не то значение, что хранится в value?

а, там оператор каста к бул есть.

Здравствуйте, night beast, Вы писали:

NB>а это нормально что
NB>

NB>        new(&m_data) Type(std::forward<OtherType>(value));
NB>

NB>при OtherType == std::optional
NB>дает не то значение, что хранится в value?

Нет. Вот, как-раз сейчас, сижу с этим разбираюсь. У меня голова сейчас немного обалдела от этого optional. Почему реакция идет с такими задержками: дело в том, что у меня огромная библиотека и, как раз, там есть собственная реализация std::optional для 13-й Студии. Также, все обложено кучей моих же тестов, которые как раз сейчас валятся. Если вы уже поняли в чем ошибка и как лучше исправить — буду вам премного благодарен.

Вообще, вот эта конструкция:

inline optional<Type>::optional(OtherType&& value, std::decay_t<compatible_t<OtherType>>*) _NOEXCEPT

на практике оказывается очень "жадная".

Здравствуйте, night beast, Вы писали:

NB>а, там оператор каста к бул есть.
Есть, и у VS2013 есть баг, который не видит explicit в этой ситуации и кастит к bool . По-этому и была единица.

Здравствуйте, Videoman, Вы писали:

NB>>а, там оператор каста к бул есть.
V>Есть, и у VS2013 есть баг, который не видит explicit в этой ситуации и кастит к bool . По-этому и была единица.

для каста к бул есть safe bool idiom, можно ее попробовать