问泛型绝对值函数

EN

我想编写一个通用的abs函数，它可以正确地适用于每种类型。基本上，我想使用以下算法：

• 如果类型是内置整数，请使用std::abs from <cstdlib>.
• 如果类型是内置浮点，请使用std::abs from <cmath>.。
• 如果该类型是具有命名空间级别abs的用户定义类型，请使用它。
• 否则，调用泛型abs算法。

以下是我想出的：

#include <cmath>
#include <cstdlib>

namespace math
{
    namespace detail
    {
        // generic abs algorithm
        template<typename T>
        constexpr auto abs(const T& value)
            -> T
        {
            return (T{} < value) ? value : -value;
        }
    }

    template<typename T>
    constexpr auto abs(const T& value)
        -> T
    {
        using std::abs;
        using detail::abs;
        return abs(value);
    }
}

其思想是创建一个通用的detail::abs算法，然后创建另一个abs函数，该函数将通过依赖于参数的查找来选择要调用的函数。以下是我试图考虑的问题：

• 虽然泛型算法也适用于内置的积分和浮点类型，但std::abs可能会为这些类型生成优化的代码。如果可能的话，使用std::abs可能会生成一个优化的可执行文件。也就是说，std::abs缺乏constexpr，这是一个理想的特性，编译器可能会识别出一个类似于绝对值的构造，并对其进行优化.
• 有些类型有一个名称空间级别的abs，它的行为与泛型算法不同。因此，如果这个命名空间级函数存在，我们必须调用它。
• 有些类型可能是巨大的。因此，我选择接受const&的参数，因为某些命名空间级别的abs也可以通过const&接受它们的参数。
• 有些类型只提供operator<来表示排序，而不提供其他关系运算符。因此，在泛型算法中调用operator<的可能性更大。
• 在泛型算法中，我选择使用T{}而不是0进行比较，以便能够表示任何给定类型的默认值。类型不能保证可与整数相比较。

下面是一个测试用例来演示该函数可以实现什么(您也可以测试它在线)：

命名空间鸡蛋{ struct { Foo(int val)：val(val) {} int val；}；Foo abs(Foo foo) { eggs { std::abs(foo.val) }；} struct { Bar(int val=0)：val(val) {} Bar运算符-() const { -val }；} int val；}；bool operator<(const & lhs，const & rhs) {返回lhs.val < rhs.val；} int (){使用std：：lhs.val；cout <<数学：：abs(-5) << '\n'；std:cout <<数学：：abs(-5.3f) << '\n'；std::cout <<数学:abs(-5i+2.0) << '\n'；鸡蛋: foo foo={ -8 }；std::cout <<数学:abs(Foo).val << '\n'；bar ={ -9 }；cout <<数学：：abs(Bar).val <<‘n’；}

你觉得这样的功能怎么样？我错过了什么模糊的错误吗？您看到什么可以改进的地方了吗(在实现中，我不关心测试用例)？