c++ - 模板类的默认值，C++

Question

有没有办法为模板类提供默认值？

例如假设我有一个类 TimeSeries，它是模板化的。我有一个名为 Foo() 的函数，它返回 T。

template <typename T>
class TimeSeries
{
    T foo();
}

我希望 Foo() 进行一些计算并返回类型为 T 的内容。但如果它不能，我希望它给出一个默认值。如果 T 是 double，我希望它是 NaN。如果 T 是 int，我希望它是 0。

TimeSeries<double> t;
t.foo(); // returns NAN

TimeSeries<int> t;
t.foo(); // returns 0

我将如何实现？

一个糟糕的解决方案是让 Foo() 接受一个默认值。

template <typename T>
class TimeSeries
{
    T foo(T defaultValue)
    {
       T ret;
       // if OK
       ret = computeValue();
       // if not OK
       ret = defaultValue;
       return ret;
    }
}

因此默认值为 0 或 NaN，具体取决于用户。

或者我首先要求的是有缺陷的设计？

编辑 -一个合乎逻辑的问题是问如果 T 不是 int 或 double 会发生什么。默认值甚至意味着什么？

我使用 TimeSeries 的方式，T 不完全是通用类型。它只能是int、double 和string 之一。我考虑过简单地编写 3 个单独的 TimeSeries 类，但这似乎是一种有缺陷的方法。

我对其他想法持开放态度。

Answer 1

您可以声明以下模板，default_value<> :

template<typename>
struct default_value;

然后，为 int 提供完整的特化和 double和一个叫 value 的成员一起它提供了所需的默认值:

template<>
struct default_value<int> {
   static constexpr int value = 0;
};

template<>
struct default_value<double> {
   static constexpr double value = NaN;
};

然后，在您的 foo 中函数模板，您可以简单地返回该值:

return default_value<T>::value;

这取决于 T .