テンプレートのキーワード「typename」と「class」の違いは？

テンプレートについては、両方の宣言を見てきました。

template < typename T >
template < class T >

違いは何ですか？

そして、これらのキーワードは、次の例（テンプレートに関するドイツ語版ウィキペディアの記事から引用）で正確にどういう意味ですか？

template < template < typename, typename > class Container, typename Type >
class Example
{
     Container< Type, std::allocator < Type > > baz;
};

typenameそしてclass、テンプレートを指定する基本的なケースでは交換可能です：

template<class T>
class Foo
{
};

そして

template<typename T>
class Foo
{
};

同等です。

それを言っても、違いがあり、特定の例があるtypenameとはclass。

1つ目は、依存型の場合です。次の例のtypenameように、別のテンプレートパラメータに依存するネストされた型をいつ参照するかを宣言するために使用されますtypedef。

template<typename param_t>
class Foo
{
    typedef typename param_t::baz sub_t;
};

あなたがそれをあなたが実際にあなたの質問で示す2番目のもの、あなたはそれを理解していないかもしれませんが：

template < template < typename, typename > class Container, typename Type >

テンプレートテンプレートを指定するときは、classキーワードを上記のように使用する必要があります。この場合、キーワードは交換できません（注：typenameこの場合、C ++ 17では両方のキーワードを使用できるため）。

classテンプレートを明示的にインスタンス化するときにも使用する必要があります。

template class Foo<int>;

私が見逃した他のケースがあると確信していますが、肝心なのは、これらの2つのキーワードは同等ではなく、これらはどちらか一方を使用する必要があるいくつかの一般的なケースです。

テンプレートパラメータの命名用でtypename、class同等です。§14.1.2：

テンプレートパラメータのクラスとタイプ名の間に意味上の違いはありません。

typenameただし、テンプレートを使用する場合、別のコンテキストでは、依存型を参照していることをコンパイラに示唆することができます。§14.6.2：

テンプレートの宣言または定義で使用され、template-parameterに依存する名前は、適切な名前の検索でタイプ名が見つからないか、名前がキーワードtypenameで修飾されていない限り、タイプに名前を付けないと見なされます。

例：

typename some_template<T>::some_type

なければtypename、コンパイラあなたがタイプに言及されているかどうか、一般的に言うことはできません。

技術的な違いはありませんが、2つは少し異なることを表すために使用されているのを見てきました。

組み込み（配列など）を含むTとして任意の型を受け入れる必要があるテンプレートの場合

template<typename T>
class Foo { ... }

Tが実際のクラスでのみ機能するテンプレートの場合。

template<class T>
class Foo { ... }

ただし、これは純粋に一部の人々が使用するスタイルであることを覚えておいてください。標準によって義務付けられていないか、コンパイラによって強制されていません

1. 変わりはない
2. テンプレート型パラメーターContainer自体は、2つの型パラメーターを持つテンプレートです。

この抜粋は、c ++入門書からの抜粋です。これは間違いだと確信していますが。

各タイプパラメータの前には、キーワードクラスまたはタイプ名を付ける必要があります。

// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);

これらのキーワードは同じ意味を持ち、テンプレートパラメータリスト内で互換的に使用できます。テンプレートパラメータリストでは、両方のキーワードを使用できます。

// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);

テンプレートタイプパラメータを指定するために、クラスではなくキーワードタイプ名を使用する方が直感的に見えるかもしれません。結局のところ、組み込み（非クラス）型をテンプレートの型引数として使用できます。さらに、typenameは、後に続く名前がタイプ名であることをより明確に示します。ただし、typenameは、テンプレートがすでに広く使用されていた後にC ++に追加されました。一部のプログラマーはクラスを排他的に使用し続けます