模板类型定义 C++11

Question

我试图使用 C++11 的“使用 =”语法来定义模板化比较函数。然后我定义了一个模板函数，并希望将其分配给“ComparisonFunction”类型的 compareFunc。

  template<typename ValueType> using ComparisonFunction = bool (*)
                 (ValueType const & val1, ValueType const & val2);

    template<typename ValueType>
    bool equalFunction(ValueType const & val1, ValueType const & val2) {
        return val1==val2;
    }

    template<typename ValueType>
    ComparisonFunction<ValueType> comparisonFunc = equalFunction<ValueType>;   //Error is here

    int main()
    {

    }

前几行有效，但声明 equalFunc（甚至没有给它一个值）给出了错误

error: template declaration of 'bool (* equalFunc)(const ValueType&, const ValueType&)

我在此错误中发现的所有内容都与不存在“using =" 语法的 C++03 相关。

提前致谢

Answer 1

你的声明

template<typename ValueType>
ComparisonFunction<ValueType> comparisonFunc = equalFunction<ValueType>;

是一个变量模板，因为声明是针对变量comparisonFunc，而不是类型或函数。 C++14 允许变量模板，但 C++11 中没有这样的东西。

Answer 2

由于equalFunction 的每个实例化都需要不同的函数指针，因此可以将ComparisonFunction 设为仿函数。正如您所说，C++03 中不存在模板别名，因此您的最终代码是：

template<typename ValueType>
bool equalFunction(ValueType const & val1, ValueType const & val2) {
    return val1==val2;
}

template <typename ValueType>
struct ComparisonFunction
{
    bool operator()(ValueType const & val1, ValueType const & val2)
    {
        return equalFunction(val1, val2);
    }
};