Что такое идиома template ‹typename T, T t›?

Решаемая проблема заключается в выводе типов из параметров шаблона, не являющихся типами.

Данный:

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

можно вывести T для foo (например, foo(10) приведет к выводу T как int), но невозможно вывести T для bar (bar<10>() просто не будет компилироваться, вы должны записать его как bar<int,10>()).

N3601 предлагает исправить это, представив синтаксис:

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

что позволит bar<10>() скомпилировать и вывести тип T.

Введение в статью вводит в заблуждение: идиома на самом деле

 template <typename T, T t>

Он обозначает шаблон, который зависит от типа T и значения t этого типа. Обозначения немного тяжелы, поскольку в большинстве случаев тип может быть выведен из самого значения.

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

Предложение состоит в том, чтобы ввести немного «синтаксического сахара», чтобы упростить запись нотации.

Кроме того, приведенный выше пример тривиален по своему описанию (и, возможно, неверен, поскольку параметры шаблона должны быть constexpr), но в документе описывается несколько ситуаций, когда текущая нотация может стать довольно сложной, что снижает удобочитаемость и общую простоту программирования.