Dependent method type (C++)

Question

[sstepashka]

Если пример реализации такой штуки как Dependent method type на Scala. (link). Возможно ли такое сделать на C++11 (например) или на каком-то другом языке со статической типизацией? Тут вся фишка в использовании менно функционального подхода, но c «хаком» в виде класса.

Comments

[AxisPod]

Объяснили бы нормально что вы хотите, не факт, что знатоки C++ знают на том же уровне и Scala.

[sstepashka]

Смысл в том, что в зависимости от типа аргумента зависит тип выходного значения и хотелось бы, что бы это было реализовано на lambda.

template <typename T>
class Method {
    static T signature;
};


class GetX : public Method<std::function<int (void)>>{} GetX;

template <typename T>
std::result_of<typename T::signature> func(T const& method) {
    if (method == GetX) {
        return [](){return 1;};
    } else {
        
    }
}

Что-то в этом роде, только это не рабочий пример (точнее это компилируется, но вызвать функцию не получается).

Answer 1

[AxisPod]

Вам нужна перегрузка по входному параметру функции. Просто проверку условия if/else надо переложить на плечи перегруженных методов, универсально внутри метода сравнить нельзя. Сделайте вспомогательную шаблонную функцию.

template<typename T>
struct type2type { typedef T type; }

temlate<typename U, typename T>
U helper_func(T const& method, type2type<GetX>) { return [](){return 1;}; }

temlate<typename U, typename T>
U helper_func(T const& method, type2type<ToString>) { return [](){return "aaaa";}; }

// и вызов
template <typename T>
std::result_of<typename T::signature> func(T const& method) {
    return helper_func<std::result_of<typename T::signature>, T>(method, type2type<T>());
}

Comments

[sstepashka]

ага, это понятно. Такого результата я смог добиться. Только вот фишка этой задачки, как раз в том, что бы это была конструкция if else (switch), или что-то ей подобное.

В примере на scala, если привести к C++ сделано так, что внутри функции создаётся класс, который имеет доступ к входящим переменным (lambda) и у него определён оператор operator(), как раз в котором реализована логика возвращаемого значения с зависимости от типа входящего. Сделано это с помощью patter matching (или как-то так, это специальная конструкция scala).

Хотелось бы доиться чего-то на подобии:

Dispatch func(int x, int y) {
    class Dispatch {
        <type> operator ()(method) {
            if(method = GetX) {
                  return x;
            }
        }
    }
}

И что бы вызывалось как-то так:

...
auto pnt = Point2D(5, 6);
cout << pnt(GetX)() << endl;
...

GetX — может быть экзхемпяром какого-то класса, от типа которого, как раз всё зависит.

[Biga]

Напомнило мои эксперименты с компонентной системой для игрового движка: pastebin.com/zVRfMTHp
Далеко от того, что вы хотите, но вдруг…

[AxisPod]

Так невозможно по сути сделать, вам надо возвращать разные типы из одного метода, C++ вам этого не позволит. Подобное в C++ можно сделать только в compile-time, а вы хотите в run-time.

[AxisPod]

Либо делайте костыльно, например используя boost::any, вы сможете завернуть при возврате любой тип, но развернуть будет не очень просто, надо будет сравнивать с typeid нужного типа.

Answer 2

[Teivaz]

Есть вариант. В смысле буст:: вариант.
boost::variant