Как вернуть разные типы из std::function?

Question

[impressive17]

Добрый день!
У меня есть std::function проинициализированная лямбдой
Лямбда возвращает тип X или Y в зависимости от выбранного ветвления
Я знаю что нужно возвращать один тип из функции, но суть в том, что для Y есть конструктор копирования от X и можно написать так X var1 = Y();
Собственно вопрос:
Как вернуть из лямбды разные типы?

std::function func{
            [](int z) {
                if (z>0) {
                    return X();
                }

                return Y();
            }
        };

Y var1 = X(); // тут все впорядке, так как есть соответствующий конструктор

Comments

[Евгений Шатунов]

impressive17 , а почему в твоем вопросе нет описанного тобой кода?

[impressive17]

Евгений Шатунов, Вопрос общего характера и не зависит от типов

[Евгений Шатунов]

impressive17, этот вопрос сейчас не получается понять. Я предполагаю что ты просто описываешь не то, что происходит у тебя в коде. Поэтому тебе нужно предоставить свой код.

[Василий Банников]

А зачем возвращать разные типы?

[impressive17]

Евгений Шатунов, Добавил

[impressive17]

Василий Банников, Так архитектурно удобно

[Евгений Шатунов]

impressive17 , это нерабочий код. Он не пройдет трансляцию потому что тип значения нижнего return отличается от типа значения верхнего return.
Это явно не тот код, который ты используешь. Или ты пока еще просто не в курсе что этот код не сходится со стандартом.
Каким транслятором этот код собирается?

[Василий Банников]

impressive17, может архитектурно и удобно, но C++ так не умеет.
Если эти два типа друг от друга наследуются, то можно вернуть самый абстрактный из двух.
Ещё как вариант - можете реализовать тип Either

[impressive17]

Евгений Шатунов, Так в этом и проблема)
Я хочу сделать так как я написал в вопросе, но не могу из за описанной вами проблемы
Изначальный вопрос как раз как можно решить эту проблему

[Adamos]

impressive17,

Так архитектурно удобно

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

[Евгений Шатунов]

impressive17 , любая функция в C++ может быть приведена к указателю на тип функции. Тип функции является строгим, он гарантирует правильную обработку переданных аргументов и правильный результат после выполнения функции.

Лямбда - это тоже функция со своей сигнатурой и строгим типом. Вольность C++11 для лямбды позволяет определять тип возвращаемого значения по первому встреченному return в ее теле. Все прочие return обязаны в таком случае возвращать значение точно того же типа.
Если специфицировать тип возвращаемого лямбдой значения используя TRT[?], то все возвращаемые из лямбды значения будут автоматически приводиться к указанному типу.
Вот пример для наглядности.

Вольность C++17 позволяет инстанцировать шаблоны типов на основании параметров конструктора шаблонного типа. Эта вольность вводит тебя в заблуждение когда ты пишешь std::function func{ ... };.
В C++ все должно быть строго определено. C++17 просто позволяет часть этой строгости переложить с твоих плеч на плечи транслятора. Тебе же, в целях обучения, лучше взять все обеспечение строгости определений полностью на себя.
В своем коде ты должен написать максимально конкретный и максимально понятный для тебя текст:

std::function<Y ( int )> func{
	[]( int z ) -> Y
	{
		if( z > 0 )
		{
			return X{};
		}
		
		return Y{};
	}
};

Только в этом случае и ты свой текст поймешь, и транслятор его тоже поймет так же, как и ты понимаешь.

Answer 1

[Vitaly]

Как вернуть разные типы из std::function?

variant, any, void*

Но в вашем примере просто надо явно указать тип лямбды и/или приводить все возвращаемые значения к одному типу, раз уж предполагается что одно всё равно копируется в другое.

Можно подумать о возвращении указателя на динамически созданные объекты ковариантных типов. Но я не уверен, насколько вам это подойдёт архитектурно.

Answer 2

[xorknown]

Идея так делать невероятно плохая, но если хочется можно использовать std::variant(или std::any) из C++17

std::function func{[](int z) -> std::variant<X, Y> {
                if (z>0) {
                    return X();
                }

                return Y();
            }
        };

    std::variant<X, Y> v = func(1);