将 typedef 与模板一起使用

Question

taken from here 下面的代码（并稍作修改）使用 g++ 编译器产生以下错误消息： 错误：“typedef”的模板声明 /RangeChecks.hpp:145:12：错误：“IsInRange”没有命名类型

以下是我的 RangeChecks.hpp 文件中的相关部分：

class GreaterEqual
{
  public:
     template <class T>
     static bool Compare (const T& value, const T& threshold)
     {
        return !(value < threshold); /* value >= threshold */
     }
};

class LessEqual
{
  public:
     template <class T>
     static bool Compare (const T& value, const T& threshold)
     {
        return !(value > threshold); /* value <= threshold */
     }
};

template <class L, class R, class T>
bool IsInRange (const T& value, const T& min, const T& max)
{
     return L::template Compare<T> (value, min) && R::template Compare<T> (value, max);
}

typedef IsInRange< GreaterEqual , LessEqual > isInClosedRange;

我在互联网上搜索了一个答案，我发现有一些类似的东西，但没有一个解决了我的问题。

Answer 1

IsInRange 是一个函数，而不是一个类型。做你想做的最简单的方法是编写一个包装器：

template<class T>
bool isInClosedRange(const T& value, const T& min, const T& max) {
    return IsInRange<T, GreaterEqual, LessEqual>(value, min, max);
}

Answer 2

IsInRange 是函数模板，不是类模板，所以它的实例化不是类型，所以不能为它创建 typedef。