Koşullu değişken başlatması derleyici zamanında nasıl yapılır?

Question

C++ 11 standardı, derleyici zamanındaki bazı boole koşullarına göre tip seçimi için std::conditional<> şablonuna sahiptir. Aynı işlem nasıl yapılır, ancak değişken başlatma için init değerini seçmek için nasıl kullanılır? type a = (exp) ? first_value : second_value; benzer.

benim şablonunu kullanmak:

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

Ama sadece POD türleri için kullanılabilir: int a = conditional_initialize<true>(1, 2);. Dizinin başlatılması için bu şablon hata ile derlenmiştir. Yanlış derleme örneği: int a[] = conditional_initialize<true>({1, 2}, {3,4,5});

Hata mesajı: no matching function for call to 'conditional_initialize(<brace-enclosed initializer list>, <brace-enclosed initializer list>)';

şablonla bana yardımcı olabilir?

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))); 
} 

bu verir: yakındır

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

. Genel olarak {} yapıları ifadeler değildir, herhangi bir mekanizma yoluyla başka bir değişken üzerinden mükemmel şekilde iletilemezler.

Biz de alabilirsiniz:

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

biraz daha çalışma ile.

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)...}}; 
} 

Bunları constexpr, tembel çünkü yapmadı. 'Bu çalışamaz, kopyalama ya da değil hareket etmektedir;