Orz日記 by Akio Morita

_ [SAD][YaSAI]GMPに学ぶC++テクニック

二項演算子が返す型をオペランドから静的に決定する場合は、 二つのオペランドの型を受けるテンプレートクラスを用意して テンプレートクラス内の typedefで返す型を定義する。

クラス内のtypedefがクラスの名前空間に属し、 テンプレートクラスを実体化したクラスは互いに独立で あることを利用している。

もちろん、演算結果によって返すべき型が動的に決まる場合は無理。