参考とconstの

Question

このプログラム考えてみましょう：fooがFoo<double>としてインスタンス化されている場合、上記で

template<typename T> 
struct Foo 
{ 
    void foo(const T&) {} 
    void foo(T&) {} 
}; 


int main() 
{ 
    Foo<double&> f; 
    double d = 3.14; 
    f.foo(d); //complains that foo() is ambigous 
} 

を、その後、物事は罰金ですが、それはFoo<double&>としてインスタンス化される場合は、fooへの呼び出しがあいまいになります。 fooのパラメータタイプを推測するときにrefがここで崩壊しているのですか？もしそうならconstanceはなぜ無視されますか？テンプレートパラメータdouble&で

template<typename T> 
struct Foo { 
    void foo(T const&) {} 
    void foo(T&) {} 
}; 

：

Answer 1

たちはFooクラステンプレートをinstatiateしようとすると何が起こるか見てみましょう。 double&とTを代入すると、あなたが得るだろうルール崩壊参照に従って：

struct Foo { 
    void foo(double& const) {} 
    void foo(double&) {} 
}; 

を参照がdouble& constがdouble&に相当し、本質的に一定であるので、を。このように、あなたは以下のinstatiation取得：

struct Foo { 
    void foo(double&) {} 
    void foo(double&) {} 
}; 

をここで「あなたは同じシグネチャを持つfooをオーバーロードすることはできませんデュード」を叫んでコンパイラが付属しています。

よりconsiseエラーがCLANGで与えられます。

error: multiple overloads of 'foo' instantiate to the same signature 'void (double &&)' void foo(T&) { }

Live Demo