テンプレートクラスFooメソッドの引数は "Foo＆"で、 "Foo <T>＆"は同じですか？

Question

は、クラスのコンストラクタの引数の型については

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

は、const Foo<T>&とconst Foo&この文脈でも同じです考えてみましょうか？私はいつも、後者はFoo<int> f = Foo<float>()のために呼び出すことができ、前者はできないと思っていません。しかし、今私はそれがそうであるかどうか分からない。

Answer 1

クラステンプレート内で、クラステンプレートパラメータは、すべてのインスタンス化に対して1つの固有の意味を持ちます。つまり、Foo<int>はT==intであり、テンプレート化された識別子はFoo<int>::Foo(const Foo<int>& other)です。

しかし、追加テンプレートパラメータを持つことが可能です：

template <typename T> 
struct Foo { 
    template <typename U> 
    Foo(const Foo<U>& other) {} 
}; 

今TはUと異なる場合があります。

Answer 2

はい、同じです。

これは、注射クラス名が原因です。クラス名はすべてのクラスのスコープに挿入され、名前の参照がわかりやすく機能します。テンプレートクラスの型名としてinject-class-nameを使用した場合は、テンプレート名の後に<>（[temp.local]/1）で囲まれたテンプレートパラメータに相当するので、FooはFoo<T>に相当します。