Jak wykonać inicjowanie zmiennej warunkowej w czasie kompilacji?

Question

Standard C++ 11 ma szablon std::conditional<> dla wyboru typu przez pewien warunek boolowski w czasie kompilacji. Jak wykonać tę samą operację, ale w celu wybrania wartości początkowej dla inicjalizacji zmiennej? Podobny do type a = (exp) ? first_value : second_value;.

używam szablonu:

template<bool B, typename T> 
inline constexpr T&& conditional_initialize(T&& i1, T&& i2) { 
    return B ? std::move(i1) : std::move(i2); 
} 

Ale to może być stosowane tylko dla typów POD: int a = conditional_initialize<true>(1, 2);. Do inicjalizacji macierzy ten szablon jest kompilowany z błędem. Źle przykład kompilacji: Komunikat int a[] = conditional_initialize<true>({1, 2}, {3,4,5});

Błąd: no matching function for call to 'conditional_initialize(<brace-enclosed initializer list>, <brace-enclosed initializer list>)';

Kto może mi pomóc w szablonie?

Answer 1

template<class T, std::size_t N, std::size_t M, bool b> 
std::array<T, b?N:M> 
conditional_array(std::array<T, N>&& lhs, std::array<T, M>&& rhs) { 
    return std::move(std::get<b?0:1>(std::tie(lhs, rhs))); 
} 

to daje:

auto a = conditional_array<int,2,3,true>({{1, 2}}, {{3,4,5}}); 

który jest blisko.

Ogólnie rzecz biorąc, konstrukcje {} nie są wyrażeniami, nie mogą być perfekcyjnie przekazywane za pośrednictwem dowolnego mechanizmu za pośrednictwem innej zmiennej.

Możemy również uzyskać:

auto a = cond_init<true>(make_array(1,2), make_array(3,4,5)); 

z nieco więcej pracy.

template<bool Test, class A, class B> 
std::conditional_t<Test,A,B> 
cond_init(A a, B b) { 
    return std::move(std::get<Test?0:1>(std::tie(a,b))); 
} 
template<class T0, class...Ts> 
std::array< std::decay_t<T0>, sizeof...(Ts)+1 > 
make_array(T0&& t0, Ts&&...ts) { 
    return {{std::forward<T0>(t0), std::forward<Ts>(ts)...}}; 
} 

Nie zrobiłem tych constexpr, ponieważ są leniwe.