テンプレート関数パラメータ控除

Question

はC++入門第5版から1つの運動です：

template<typename T> 
void f1(T, T){} 
int i = 0, *p1 = &i; 
const int *cp1 = &i; 

f1(p1, cp1); 

は、しかし、コンパイラはエラーを生成します。

no matching function for call to 'f1(int*&, const int*&)' 

私はエラーがポイントの参照を含める理由はわかりませんか？私は、パラメータの減算は 'f1（int *、const int *）'だと思います。

Answer 1

これはGCCが引数が左辺値であることを示しています。引数の型がT&と表示されている場合、引数の型がTで左辺です。引数の型がT（非参照）と表示されている場合、引数の型がTであり、rvalueであることを意味します。