なぜC++はその複合体をfloat、double、またはlong doubleに対してのみインスタンス化することを義務付けていますか？

Question

C++ ISO仕様、§ 26.2/2によれば：

、float以外の任意のタイプのためのテンプレートをインスタンス化complexdoubleまたはlong doubleの効果が指定されていません。

なぜ標準の作成者がこの制限を明示的に追加するのですか？たとえば、complex<int>またはcomplex<MyCustomFixedPointType>を人工的な制限のように見なすと、何が起こるかは不明です。

この制限はありますか？独自のカスタムタイプでcomplexをインスタンス化する場合の回避策はありますか？

は、私は主にOPがabsがcomplex<int>のための奇妙な出力を与えていた理由として混乱したためthis earlier questionのこの質問を、求めています。これは、固定小数点型、より高精度の実数などから数字をcomplexにすることを考えれば、まだまだ意味がないと言えます。

Answer 1

std::complexの多くを整数に正しく実装することはできません。例えば、complex<long>ため

template <class T> 
T abs(const complex<T> &z); 

は、sqrt(pow(z.real(), 2) + pow(z.imag(), 2))の値を返すので、複素数は、（実際の、IMAG）ペアとして表される場合T = long戻り値を持つことができません。ほんの少しの操作しか意味をなさないでしょう。

さらに悪いことに、名前付きコンストラクタは、デフォルトのコンストラクタを破らずに信頼できるものにすることはできません。標準では、「複雑な整数」がGaussian integersであること、およびそれらのコンストラクタの1つがひどく壊れていることを指定する必要があります。

最後に、あなたの "複雑な整数部"をどのように提供したいと思いますか？それと "複雑な余り"を望みますか？ :)

Tをstd::complexに設定すると、グラフトサポートよりほんの少しの操作で別のgaussian_int<T>タイプを指定する方が合理的だと思います。

Answer 2

おそらくヘルパー関数との互換性のためです。

template<class T> T abs (const complex<T>& x); 

T == int場合、absは精度の大幅な損失を意味しますintを返します：たとえば。