Шаблонные параметры типа типа ссылки

Question

В чем используются параметры шаблона типа «не тип», которые относятся к типу «ссылки»? Почему такие параметры также рассматриваются как «rvalues»?

template<int &n> void f(){ 
    &n;    // error 
} 

int main(){ 
    int x = 0; 
    f<x>(); 
} 

Answer 1

f<x> недействителен. Кстати, мой компилятор компилирует вашу шаблонную функцию без плохого вызова.

template<int &n> void f(){ 
    int* ptr = &n; 
} 

int something = 0; 

int main() { 
    f<something>(); // success 
    int x; 
    f<x>(); // C2971: Cannot pass local var to template function 
} 

Answer 2

Честно говоря, я не могу придумать, как много использовать этот тип конструкции, хотя я уверен, что они, вероятно, существуют. Мне кажется, что вы ограничены, потому что n должно эффективно функционировать в глобальной области видимости для f(). Вы могли бы сделать что-то вроде следующего:

#include <iostream> 

using namespace std; 

template<int &n> void sq(){ 
    n *= n; 
} 

int something = 10; 

int main() 
{ 
    cout << something << endl; 
    sq<something>(); 
    cout << something << endl; 

    return 0; 
} 

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