Как реализовать условный шаблон If-Else? - PullRequest
Новая
       27

Как реализовать условный шаблон If-Else?

5 голосов
/ 27 июня 2019

У меня есть Conditional шаблон 

template<bool C, typename ...>
struct Conditional {
};


template<typename C1, typename C2>
struct Conditional<true, C1, C2> {
    typedef C1 value;
};


template<typename C1, typename C2>
struct Conditional<false, C1, C2> {
    typedef C2 value;
};

, который, кажется, работает как ожидалось: 

<Conditional<(0 != 1), Int<0>, Int<1>>::value; // Int<0>
<Conditional<(0 == 1), Int<0>, Int<1>>::value, // Int<1>

Но он оценивает все значения перед возвратом: 

template<typename G, typename M>
struct DoMove {
private:
    constexpr static bool _isRLMove = (M::direction == Direction::LEFT || M::direction == Direction::RIGHT);
public:
    using result = typename Conditional<
            _isRLMove, typename DoMoveRL<G, M>::result, typename DoMoveUD<G, M>::result>::value;
                       // ^ when _isRLMove == false evaluates this
};

Что вызывает ошибки компиляции из DoMoveRL.

Как можно оценить согласно условию?Что мне здесь не хватает?

Ответы [ 2 ]

6 голосов
/ 27 июня 2019

DoMoveRL<G, M>::result форсирует создание экземпляра DoMoveRL<G, M>.

Вы можете отложить получение result, чтобы избежать принудительного создания экземпляра: 

template<typename G, typename M>
struct DoMove {
private:
    constexpr static bool _isRLMove = (M::direction == Direction::LEFT
                                    || M::direction == Direction::RIGHT);
public:
    using result = typename Conditional<
            _isRLMove, DoMoveRL<G, M>, DoMoveUD<G, M>>::value::result;
};
1 голос
/ 27 июня 2019

Есть несколько способов сделать это. Традиционно добавляем слой косвенности ( live example ): 

template<bool C, template<typename ...> class...>
struct Conditional {
};


template<template<typename...> class C1, template<typename...> class C2>
struct Conditional<true, C1, C2> {
    template<typename... Ts>
    using apply = C1<Ts...>;
};


template<template<typename...> class C1, template<typename...> class C2>
struct Conditional<false, C1, C2> {
    template<typename... Ts>
    using apply = C2<Ts...>;
};

using result = typename Conditional<_isRLMove, DoMoveRL, DoMoveUD>::template apply<G, M>::result;

Вы можете немного упростить это, если создание экземпляров самих шаблонов в порядке и доступ только к result разрывам. Я объяснил, как ломаются сами шаблоны.

В C ++ 17 вы можете использовать if constexpr, если вам это нравится больше ( живой пример ): 

template<typename T> struct type_val { using type = T; };

static auto choose_type() {
    if constexpr (_isRLMove) {
        return type_val<typename DoMoveRL<G, M>::result>{};
    } else {
        return type_val<typename DoMoveUD<G, M>::result>{};
    }
}

using result = typename decltype(choose_type())::type;
...