Co to jest szablon <typename T, T t> idiom?

Question

Czytałem this i starałem się zrozumieć, co było N3601. Powiedział, że ten idiom pojawia się dużo w wyszukiwaniu w Internecie, ale nie mogłem nic znaleźć. Jaki jest

template<typename T, T t> 

idiom, co to rozwiązać, jak jest on używany, co jest niejawne są parametry szablonu, a co propozycja zmierza do ustalenia?

Answer 1

Problem, który jest rozwiązywany, polega na wyprowadzaniu typów z parametrów nietypowych szablonu.

Dane:

template<typename T> void foo(T); 
template<typename T, T> void bar(); 

można wywnioskować T dla foo (np foo(10) spowoduje T jest wywnioskować być int), ale to nie jest możliwe, aby wydedukować T dla bar (bar<10>() będzie po prostu nie kompiluj, musisz napisać to jako bar<int,10>()).

N3601 proponuje ustalenie tego wprowadzając składnię:

template<using typename T, T> void bar(); 

który pozwoli bar<10>() skompilować i powodować rodzaj T aby wywnioskować.

Answer 2

Wprowadzenie papier jest mylące: idiom jest rzeczywiście

template <typename T, T t> 

To oznacza szablon, który zależy od rodzaju T i wartością t tego typu. Zapis jest trochę ciężki, ponieważ w większości sytuacji typ można wywnioskować z samej wartości.

E.g.

// the current definition notation 
template <typename T, T t> void f() { t.f(); }; 

//// the proposed definition notation 
//// the parameter t depends on an implicit typename parameter T 
// template <using typename T, T t> void f() { t.f(); }; 

struct foo { 
    void f(){ 
     // some computation 
    } 
}; 

foo bar; 

int main(){ 
    // the current instantiation notation 
    f<foo,bar>(); 
    //// the proposed instantiation notation 
    //// we know that bar is of type foo, so we don't need to specify it 
    // f<bar>(); 
} 

Propozycja polega na wprowadzeniu odrobiny "cukru syntaktycznego" w celu ułatwienia zapisu.

Również powyższy przykład jest banalny w swoim opisie (i prawdopodobnie błędny, ponieważ parametry szablonu muszą być constexpr), ale w dokumencie opisano kilka sytuacji, w których aktualna notacja może stać się dość owłosiona, zmniejszając czytelność i ogólną łatwość programowanie.