c++ - 默认模板参数可以对应于特化吗？

Question

嗨:)我环顾了一下这个问题，似乎有很多相关的帖子，但到目前为止没有一个答案可以解决我的问题。如果您知道有一篇帖子可以回答这个特定问题，请告诉我是哪一篇，我将删除这篇帖子。

这就是我正在尝试做的事情；我有一个带有一个模板参数的类，其默认值对应于模板特化。到目前为止(参见下面的代码)，它还没有编译。让我烦恼的是，具有两个模板参数的类似情况以及部分模板特化可以编译并正常工作..:/

我做错了什么？

---

案例 1:两个模板参数(编译和运行)

标题

#include <iostream>

struct Special {};

template <class T, class U = Special>
class Bird
{
public:
    inline void operator() () { sing(); }
    inline void sing() const { std::cout << "Piu piu piu" << std::endl; }

private:
    T t; U u;
};

template <class T>
class Bird<T,Special>
{
public:
    inline void operator() () {}

private:
    T t; Special u;
};

cpp

int main()
{
    Bird<double,int> a;
    Bird<double> b;

    a(); b();
}

---

案例 2:一个模板参数(无法编译)

标题

#include <iostream>

struct Special {};

template <class U = Special>
class Bird
{
public:
    inline void operator() () { sing(); }
    inline void sing() const { std::cout << "Piu piu piu" << std::endl; }

private:
    U u;
};

template <>
class Bird<Special>
{
public:
    inline void operator() () {}

private:
    Special u;
};

cpp

int main()
{
    Bird<int> a;
    Bird b;

    a(); b();
}

我收到错误:在“b”之前缺少模板参数。预先感谢您花时间阅读本文! :)

Answer 1

Bird 是一个 class 模板，因此您始终必须使用尖括号。与函数模板不同，如果您想使用默认模板参数，您可以省略它们，但尖括号必须在那里:

Bird<> b;