为什么 div、ldiv 和 lldiv 不是模板？

Question

根据this，有

std::div_t     div( int x, int y );
std::ldiv_t    div( long x, long y );
std::lldiv_t   div( long long x, long long y );
std::ldiv_t   ldiv( long x, long y );
std::lldiv_t lldiv( long long x, long long y );

<cinttypes> 中的两个 div

我更愿意看到

template<typename t>
std::div_t<T> div(T x, T y);
template<>
std::div_t<int> div(int x, int x)
{
  // implementation here
}

想法？

Answer 1

你的意思是你想使用模板特化而不是重载？这不是一个好主意。

首先，如果我使用具有long 的转换运算符的类型怎么办？好吧，不会选择任何专业化，因为它们仅在完全匹配时才会被采用，并且该类型不属于它们的一部分。所以我必须使用static_cast。这不是运算符重载的情况，在这种情况下允许并且会发生这种转换。

其次，通过这样的专业化你能获得什么优势？您仍然必须为每个专业化编写相同的实现。此外，您不能轻易将实现写在源文件中。

我能看到的唯一优势是获取特定版本函数的地址要容易得多，就像使用模板一样，您可以使用 &std::div<int> 而不是 static_casting 来正确重载。

这里使用通用解决方案会更合适，因为这些功能之间存在一些重复。也许是这样的：

template<typename T>
concept Integral = std::is_integral_v<T>;

template <Integral T>
struct cdiv_t {
    T quot{};
    T rem{};
};

constexpr auto cdiv(Integral auto x, Integral auto y) noexcept {
    return cdiv_t{x / y, x % y};
}