模板类成员与非成员模板函数的歧义

Template class member vs. non-member template function ambiguity

本文关键字：成员 歧义 函数      更新时间：2023-10-16

我正在开发一个用于自动/算法区分的仅标头库。目标是能够简单地更改馈送到函数的变量的类型，并计算一阶和二阶导数。为此，我创建了一个模板类，允许程序员为私有数据成员选择存储类型。包括下面的一个代码片段，其中包含一个有问题的运算符重载。

template <typename storage_t>
class HyperDual
{
    template <typename T> friend class HyperDual;
    public:
        template <typename T>
        HyperDual<storage_t> operator+(const HyperDual<T>& rhs) const
        {
            HyperDual<storage_t> sum;
            for (size_t i = 0; i < this->values.size(); i++)
                sum.values[i] = this->values[i] + rhs.values[i];
            return sum;
        }
    protected:
        std::vector<storage_t> values;
};

稍后，为了最大限度地提高多功能性，我提供了模板函数以允许交互。

template <typename storage_t, typename T>
HyperDual<storage_t> operator+(const HyperDual<storage_t>& lhs, const T& rhs)
{
    static_assert(std::is_arithmetic<T>::value && !(std::is_same<T, char>::value), "RHS must be numeric");
    return HyperDual<storage_t>(lhs.values[0] + rhs);
}
template <typename storage_t, typename T>
HyperDual<storage_t> operator+(const T& lhs, const HyperDual<storage_t>& rhs)
{
    static_assert(std::is_arithmetic<T>::value && !(std::is_same<T, char>::value), "LHS must be numeric");
    return HyperDual<storage_t>(lhs + rhs.values[0]);
}

我遇到的是编译器正在尝试实例化第二个非成员模板函数。

#include "hyperspace.h"
int main()
{
    HyperDual<long double> one(1); // There is an appropriate constructor
    HyperDual<double> two(2);
    one + two;
    return 0;
}

为此，我收到static_assert生成的错误"LHS 必须是数字"。我将如何解决歧义？

使用enable_if_t使非成员模板只能在特定上下文中应用？

template <typename storage_t, typename T, typename = enable_if_t<std::is_arithmetic<T>::value && !(std::is_same<T, char>::value)>>
HyperDual<storage_t> operator+(const HyperDual<storage_t>& lhs, const T& rhs)
{
    static_assert(std::is_arithmetic<T>::value && !(std::is_same<T, char>::value), "RHS must be numeric");
    return HyperDual<storage_t>(lhs.values[0] + rhs);
}

此处可能会重复static_assert。

好的。我发现了自己的问题。这归结为static_assert和std：：之间的区别enable_if

替换我的模板声明并删除static_assert，我实现了等效的功能：

template <typename storage_t, typename T,
          typename = typename std::enable_if<std::is_arithmetic<T>::value && !std::is_same<T, char>::value>::type>
HyperDual<storage_t> operator+(const T& lhs, const HyperDual<storage_t>& rhs)
{
    return HyperDual<storage_t>(lhs + rhs.value());
}

（小细节，但rhs.values[0]被替换为rhs.value()。这与模板问题无关，但与成员访问有关。

相关文章：