Наследование оператора = и конструктора, но также добавление дополнительного назначения оболочки

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

Вы достигаете этого, определяя явный оператор присваивания вместо его наследования?

@SamVarshavchik Действительно, однако в будущем я добавлю больше параметров шаблона в TaggedUnion<>, поэтому я бы хотел, чтобы это было автоматически, если это возможно. Я не против определения своего собственного оператора, это больше о том, «как мне определить его таким образом, чтобы он охватывал унаследованный оператор?» согласно названию; в противном случае это означало бы, что мне придется добавлять перегрузку каждый раз, когда я добавляю параметр в TaggedUnion<>

@Someprogrammerdude Это правда, однако возникают те же проблемы, но с конструкторами вместо операторов присваивания. В идеале я бы определил одинаковое поведение для них обоих.

Итак, ваш пользовательский оператор вызывает TaggedUnion::operator= явно?

@SamVarshavchik Верно, но каков синтаксис для TaggedUnion::operator= и TaggedUnion::TaggedUnion в Feedback?

Существуют различные методы решения этой проблемы с использованием шаблонов. Это был бы отдельный вопрос. На этот вопрос: нет, вы не можете определить такой оператор присваивания, С++ так не работает.

@SamVarshavchik Это не отдельный вопрос. Вот этот вопрос. Это буквально то, о чем я прошу... Решение вышеуказанной проблемы, которое будет включать шаблоны (потому что я не хочу использовать виртуальные).

Вопрос относится к оператору присваивания, а не к какому-либо конструктору, как в вашем предыдущем комментарии. Операторы присваивания не являются конструкторами.

@SamVarshavchik Именно из-за такого поведения людям не нравится stackoverflow. Люди, у которых есть проблема, очевидно, не определяют свою проблему с точностью учебника, потому что если бы у них была точность учебника, у них не было бы проблемы. Если вы не собираетесь отвечать на вопрос, это нормально. Но если вам это так нужно, я могу добавить «как я могу добиться этого БЕЗ ОБЪЯВЛЕНИЯ НОВОГО ОПЕРАТОРА КАЖДЫЙ РАЗ, КОГДА Я ДОБАВЛЯЮ ПАРАМЕТР», если это удовлетворяет ваше снобистское поведение. Кроме того, это относится к конструкторам так же, как и к операторам присваивания, поскольку они оба делают одно и то же, так что это не имеет значения.

Первоначальный вопрос заключался в следующем: «Каждый раз, когда используется унаследованный оператор =, я бы хотел, чтобы .isError был переключен на true». Я вполне доволен тем, что пусть все остальные судят, будет ли эта интерпретация разумно выведена из этого. Насколько я понимаю: есть ли где-нибудь волшебная палочка, от которой можно отказаться, чтобы унаследованный оператор = работал так? Ответ по-прежнему «нет», простой и короткий.

@SamVarshavchik Снова. Я не отрицаю, что наиболее объективная интерпретация вопроса отличалась от того, что вы утверждаете. Я просто утверждаю, что вы пытаетесь максимально приблизиться к вопросу, не принимая во внимание, что люди могут не идеально выразить свою проблему с первой попытки. Пожалуйста, будьте более практичными, а не педантичными. Несмотря на это, я отредактировал вопрос сейчас, для вашего удовольствия.

К сожалению, альтернатива «быть как можно ближе к вопросу» — это пустая трата времени. Например, конструктор шаблона, который участвует в разрешении перегрузки, только если тип шаблона является одним из типов TaggedUnion, довольно прост. Но это работает только в том случае, если нет необходимости поддерживать неявные преобразования ни к одному из них. Требуется ли поддержка неявного преобразования? Только ты это знаешь. Итак, допустим, я трачу время на написание этого конструктора. Вы пробуете это и обнаруживаете, что теперь куча вещей не компилируется. Я потерял много времени.

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

Ну, как я объяснил: C++ не так прост. Вы не указали, должен ли перегруженный шаблон участвовать в разрешении перегрузки, если только параметр шаблона не может использоваться явно или неявно для создания одного из вариантов значений. Ваш ответ не ограничивает участие в разрешении перегрузок, что в конкретной ситуации приводит к сбоям компиляции. К сожалению, из-за отсутствия минимального воспроизводимого примера, который любой может вырезать/вставить и проверить, авторитетный ответ был бы невозможен без доступа к полному коду. Который есть только у тебя.

Ну да, я сделал. До сих пор нет способа заставить унаследованную = перегрузку через директиву using работать так, как вы хотели, чтобы она работала. Во всяком случае, требуется определяемая пользователем перегрузка =. Как в вашем ответе. И никто тебя ни в чем не упрекал. Я просто заявил, что отказываюсь пытаться угадать и заполнить пробелы, делая необоснованные предположения.