Jak ustawić parametr szablonu szablonu na wartość liczbową?

Question

Chcę, aby parametr szablonu akceptował szablon z argumentem szablonu numerycznego.

Ten przykład może nadmiernie uproszczone, ale chciałbym coś takiego:

template <int X> 
struct XX 
{ 
    static const int x = X; 
}; 

template<typename TT, TT V, template<V> TX> 
void fnx(TX<V> x) 
{ 
    static_assert(V == TX::x, "IMPOSSIBLE!"); 
} 

void fny() 
{ 
    fnx(XX<1>()) 
} 

Nie należy zrozumieć składnię dla tego, co musi być możliwe. Jak to osiągnąć?

Answer 1

Wystarczy ustalenie zapasową składnię nieco - ponieważ parametr szablonu szablon jest niewłaściwie określony, chcemy skończyć z czymś takim:

template <typename T, template <T > class Z, T Value> 
//     ^^^^^^^^^^^^^^^^^^^^^ 
void foo(Z<Value> x) { } 

Jednak kompilator nie może wywnioskować T tutaj - to nie wywnioskowany kontekst. Musisz to wyraźnie podać:

foo<int>(XX<1>{}); 

To dość denerwujące. Nie mogę nawet napisać cechy typu takiej, że non_type_t<XX<1>> jest(gdzie ta cecha faktycznie wykonuje introspekcję na typie, a nie coś, co trywialnie zwraca int).

---

Jest propozycja, aby poprawić ten proces (P0127) poprzez zmianę non-wywnioskować kontekstowe-ności non typu argumentów szablonu.

Answer 2

Twoja deklaracja fnx wymaga trochę pracy, a typ TT nie może zostać wyprowadzony na stronie połączenia.

template<typename TT, TT V, template<TT> class TX> 
void fnx(TX<V> x) 
{ 
    static_assert(V == TX<V>::x, "IMPOSSIBLE!"); 
} 

void fny() 
{ 
    fnx<int>(XX<1>()); 
} 

przykład robocza: https://ideone.com/57PsCA