模板默认参数

Question

如果允许我执行以下操作：

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

为什么我主要不被允许做以下事情？

Foo me;

但我必须具体说明以下几点：

Foo<int> me;

C11引入了默认的模板参数，现在我完全无法理解它们。

Answer 1

你不准那样做但你可以这样做

typedef Foo<> Fooo;

然后呢

Fooo me;

Answer 2

使用C17，您确实可以。

此功能称为类模板参数推断，为声明模板化类型变量的方式增加了更多灵活性。

所以

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

int main() {
    Foo f;
}

现在是合法的C代码。

Answer 3

注:

foome 从C17起是合法的。看看这个答案：https://stackoverflow.com/a/50970942/539997.

C 17之前适用的原始答案：

你必须做到：

Foo<> me;

模板参数必须存在，但可以保留为空。

将其视为一个带有单个默认参数的函数foo。表达式foo不会调用它，但是foo（）会调用它。参数语法必须仍然存在。这是一致的。