テンプレートのデフォルト引数

次のことを許可されている場合：

template <typename T = int>
class Foo{
};

なぜメインで以下を行うことが許可されていないのですか？

Foo me;

ただし、以下を指定する必要があります。

Foo<int> me;

C ++ 11はデフォルトのテンプレート引数を導入し、現在、それらは私の完全な理解にとらわれています。

あなたはしなければならない：

Foo<> me;

テンプレート引数は存在している必要がありますが、空のままにすることができます。

それをfoo単一のデフォルト引数を持つ関数のように考えてください。式fooはそれを呼び出さないでしょうが、呼び出しfoo()ます。引数の構文はまだ存在している必要があります。これはそれと一致しています。

C ++ 17を使用すると、確かにできます。

この機能はクラステンプレート引数の推定と呼ばれ、テンプレート化された型の変数を宣言する方法に柔軟性を追加します。

そう、

template <typename T = int>
class Foo{};

int main() {
    Foo f;
}

は現在、正当なC ++コードです。

あなたはそれをすることはできませんが、あなたはこれを行うことができます

typedef Foo<> Fooo;

そして次に

Fooo me;

次のものを使用できます。

Foo<> me;

そしてint、あなたのテンプレートの引数があります。山括弧は必須であり、省略できません。