Шаблоны нестандартного типа - какие типы разрешены?

Question

Согласно стандарту, это должно составить:

struct Y {}; 
template<const Y& y> struct Z {}; 


int main(){ 
    Y y; 
    Z<y> z; // ok: no conversion and cv-qualification conversion 
} 

(это взято из - http://en.cppreference.com/w/cpp/language/template_parameters).

Но это не делает, дает эту ошибку: Ошибка: значение «у» не может использоваться в постоянном выражении

Что мне не хватает?

Answer 1

Вы берете ссылку на локальный объект, который не является постоянным выражением. Если y является глобальной переменной, it'd work just fine.