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); 

2のdivが<cinttypes>

である私が

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

思考を見ていることを好むでしょうか？

Answer 1

あなたはオーバーロードの代わりにテンプレートの特殊化を使用したいと思っていますか？それは良い考えではありません。

まず、変換演算子を持つ型をlongに使用するとどうなりますか？まあ、専門分野はどれも選択されません。なぜなら、正確に一致するものがあるときだけ撮影され、そのタイプはそれらの一部ではないからです。だから私はstatic_castを使用しなければならない。このような変換が許可され、実行されるオペレータのオーバーロードでは、これは当てはまりません。

第2に、このような特化によってどのような利点が得られますか？各専門分野ごとに同じ実装を作成する必要があります。また、ソースファイルに実装を簡単に記述することもできません。

私が見ることができる唯一の利点は、適切なオーバーロードにstatic_castの代わりに&std::div<int>を行うテンプレートのように、特定のバージョンの関数のアドレスを取る方がはるかに簡単であるということです。

これらの機能の間にいくつかの重複が存在するため、一般的な解決策がはるかに適切です。たぶん、このような何か：

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

Integral{T} struct cdiv_t final { 
    T quot{}; 
    T rem{}; 
}; 

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