Постопределение возвращаемого функцией типа

12.04.2014, 20:41. **Показов** 1492. **Ответов** 3

Author24 — интернет-сервис помощи студентам

Суть проблемы: есть метод без аргументов, который в зависимости от флага должен возвращать либо тип T1, либо тип T2. Собственно, реализуемо ли такое? Если да - то как?

Пытался сделать так:

C++

template <class Type1, class Type2>
class Pair
{
private:
    void* pF;
    void* pS;
    Type1 val1;
    Type2 val1;
    bool bSwap;
public:
    Pair() {bSwap = false;}
    Pair(Type1 newVal1, Type2 newVal2)
    {
        bSwap = false;
        val1 = newVal1;
        val2 = newVal2;
        pF = (Type1*)&val1;
        pS = (Type2*)&val2;
    }
    auto GetFirst() -> decltype(!bSwap? val1 : val2)
    {
        return !bSwap? *(Type1*)pF : *(Type2*)pF;
    }
};

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

DiffEreD · 12.04.2014, 20:58

Вот тут нюансы работы с decltype, может поможет разобраться: pdf

Добавлено через 1 минуту
А вот тут: decltype с тернарным оператором я чем то подобным тоже интересовался.

@DrOffset · 12.04.2014, 23:42

Сообщение от Highcore

в зависимости от флага должен возвращать либо тип T1, либо тип T2

Значение возвращаемое вычисляется на этапе компиляции (не важно через decltype или еще как). А твой флаг - это этап исполнения. То есть либо флаг должен быть константой времени компиляции, либо нужно использовать какой-нибудь вариантный тип. Типа boost::variant или boost::any.

Tulosba · 13.04.2014, 11:59

Сообщение от Highcore

от флага должен возвращать либо тип T1, либо тип T2.

Если типы связаны единой иерархией, то можно задать возвращаемый тип указателем (ссылкой) на базовый класс и в зависимости от условий возвращать разные объекты. См. паттерн "виртуальный конструктор" например.

DiffEreD 1458 / 795 / 257 Регистрация: 21.06.2011 Сообщений: 1,740 Записей в блоге: 2
	12.04.2014, 20:58	2
	Вот тут нюансы работы с decltype, может поможет разобраться: pdf Добавлено через 1 минуту А вот тут: decltype с тернарным оператором я чем то подобным тоже интересовался. 0

@DrOffset 18840 / 9839 / 2408 Регистрация: 30.01.2014 Сообщений: 17,280
	12.04.2014, 23:42	3
	Сообщение было отмечено как решение Решение Сообщение от Highcore в зависимости от флага должен возвращать либо тип T1, либо тип T2 Значение возвращаемое вычисляется на этапе компиляции (не важно через decltype или еще как). А твой флаг - это этап исполнения. То есть либо флаг должен быть константой времени компиляции, либо нужно использовать какой-нибудь вариантный тип. Типа boost::variant или boost::any. 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	13.04.2014, 11:59	4
	Сообщение от Highcore от флага должен возвращать либо тип T1, либо тип T2. Если типы связаны единой иерархией, то можно задать возвращаемый тип указателем (ссылкой) на базовый класс и в зависимости от условий возвращать разные объекты. См. паттерн "виртуальный конструктор" например. 0

Постопределение возвращаемого функцией типа

Решение